Branches - egraphs-good/egglog

Branches performance

last run

8 months ago

fix term reconstruction for bigint oops, I thikn we need more tests for the new backend

8 months ago

215f9f3

yihozhang-patch-4

-93%

last run

8 days ago

fix shadow typecheck test

8 days ago

ba2caec

marko-subotic:main

last run

3 days ago

Merge branch 'main' into code-coverage

3 days ago

c4a9e05

saulshanabrook:code-coverage

last run

9 days ago

new docs

9 days ago

12c6db1

oflatt-termdag-refactor