Code

Allow local buffers#172

Code

Merged

0x0f0f0f merged 7 commits intomasterJuliaSymbolics/Metatheory.jl:masterfrom ale/localbuffersJuliaSymbolics/Metatheory.jl:ale/localbuffersCopy head branch name to clipboardOct 28, 2023

+62-63

Commits

Commits on Oct 21, 2023

• allow non-global buffers

  rayegun

  committed
  5e4da9a

  Copy full SHA for 5e4da9a

• Two docstrings and a default parameter.

  rayegun

  committed
  77d7e9d

  Copy full SHA for 77d7e9d

• rename and remove imports

  rayegun

  committed
  ff505ad

  Copy full SHA for ff505ad

• add back imports where needed

  rayegun

  committed
  3c6051b

  Copy full SHA for 3c6051b

Commits on Oct 24, 2023

• move buffers into the egraph.

  rayegun

  committed
  43e2b10

  Copy full SHA for 43e2b10

• Merge branch 'master' into rk-noglobals

  

  Raye Kimmerer

  authored
  1453a44

  Copy full SHA for 1453a44

Commits on Oct 28, 2023

• use local vector buffers

  

  a

  committed
  ce871dd

  Copy full SHA for ce871dd