Branches - egraphs-good/egglog

Branches performance

Pull requests

Proof checker #764

last run

10 hours ago

fix build

10 hours ago

bb47c6d

oflatt-proofs-7

-1%

Specify that extractor does not support DAG costs #763

last run

1 day ago

Specify that extractor does not support DAG costs Follow up on https://github.com/egraphs-good/egglog/pull/758 to specify clearly that the extractor does not support DAG like cost models.

1 day ago

9550631

saulshanabrook-patch-6

Dag Cost other version #762

last run

1 day ago

Revert "Revert earlier changes and move DAG compatibility to reconstruction" 844d156ef200982ff084383dd8361db7cdf200c3

1 day ago

9071cb5

saulshanabrook:naive-dag-extract

-12%

Support Different Extractors in Egglog #761

last run

1 day ago

Change to only allow setting costs in rust

1 day ago

573ee44

saulshanabrook:extract-cost-model

Home Terms Privacy Docs