egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
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
CodSpeed Performance Gauge
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
CodSpeed Performance Gauge
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
CodSpeed Performance Gauge
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
CodSpeed Performance Gauge
0%
1
2
...
52
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs