Branches - egraphs-good/egglog

Branches performance

Pull requests

Don't panic when extracting non existent term #629

last run

3 days ago

nits

3 days ago

ce28183

saulshanabrook:extract-dont-panic

Fix serialized unstable function name #628

last run

5 days ago

Fix serialized unstable function name Fixes a TODO to use output the name of the function when serializing it, so that it comes up in the visualizer for example. Otherwise, in the visualizer there is no way to see what function is referenced.

5 days ago

8171aea

saulshanabrook:fix-fn-sort-name

Union=>set desugar #626

last run

9 days ago

cargo fmt

9 days ago

92c09a9

ezrosent:union-set-desugar

+93%

Fix BigRat Extraction #625

last run

14 days ago

Fix BigRat Extraction Previously BigRat referenced the `from_string` function to construct a BigInt, but the name is actually `from-string`

14 days ago

051e523

saulshanabrook-patch-3

Home Terms Privacy Docs