Branches - egraphs-good/egglog - CodSpeed

Blog Docs Changelog

Branches performance

Pull requests

Disallow set on constructors #809

last run

12 hours ago

fix up proof supported test

12 hours ago

449b43f

oflatt-disallow-set-constructor

0%

Print-size preserve behavior in desugaring and proof mode #808

last run

1 day ago

small snapshot

1 day ago

de4d04e

oflatt-print-size-proofs

0%

Prepare for 2.0.0 release #807

last run

9 days ago

Merge branch 'main' into release-2.0.0

9 days ago

5cdc46b

release-2.0.0

0%

Extraction for proof mode, improved snapshot testing #805

last run

2 days ago

remove union term constructor

2 days ago

492451e

oflatt-extraction-for-proofs-2

0%

© 2026 CodSpeed Technology

Home Terms Privacy Docs