Code

Allow use of local buffers#170

Code

Merged

0x0f0f0f merged 6 commits intoJuliaSymbolics:masterJuliaSymbolics/Metatheory.jl:masterfrom rayegun:rk-noglobalsrayegun/Metatheory.jl:rk-noglobalsCopy head branch name to clipboardOct 28, 2023

+78-31

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