Code

Environment optimization#1035

Code

Merged

gabriel-barrett merged 14 commits intolurk-lab:mainlurk-lab/lurk-beta:mainfrom gabriel-barrett:new-envgabriel-barrett/lurk-rs:new-envCopy head branch name to clipboardJan 12, 2024

+520-192

Commits

Commits on Jan 12, 2024

• letrec works differently

  Show description for 45145aa
  gabriel-barrett

  committed
  45145aa

• environment tag added

  gabriel-barrett

  committed
  1875061

• Nums now take arbitrary raw pointers

  Show description for 7ea7f49
  gabriel-barrett

  committed
  7ea7f49

• added PushBinding/PopBinding operations

  gabriel-barrett

  committed
  a38310a

• eval uses optimized environment

  gabriel-barrett

  committed
  0344809

• updated tests to new environment

  gabriel-barrett

  committed
  f631178

• reverted letrec change

  Show description for 340a3db
  gabriel-barrett

  committed
  340a3db

• test iterations updated

  gabriel-barrett

  committed
  9a8e1d3

• fixed repl and fib benchmark

  gabriel-barrett

  committed
  dae5e05

• fixed zstore

  gabriel-barrett

  committed
  825e1e3

• fixed demo, except for protocol.lurk

  gabriel-barrett

  committed
  7c86bca

• added empty-env operation and fixed protocol.lurk

  gabriel-barrett

  committed
  0d05938

• fixed cli test

  gabriel-barrett

  committed
  e5779dc

• slightly more efficient lookup

  gabriel-barrett

  committed
  55b5baa