egraphs-good
egglog
BlogDocsChangelog

Branches performance

Pull requests

Fix #724: Clarify empty e-class serialization#726
last run
19 hours ago
Fix #724: Clarify empty e-class serialization - Empty e-classes now use "" instead of "[...]" to distinguish from omitted nodes - Add empty_eclasses field to SerializeOutput to track empty e-classes - Add warnings for empty e-classes in serialization output - Update omitted_description() to include empty e-class warnings - Update is_complete() to check for empty e-classes
22 hours ago
2bc8128
harshasiddartha:fix/empty-eclass-serialization-clarification
CodSpeed Performance Gauge
-1%
last run
1 day ago
test fails with failed to find term
1 month ago
337fe5b
ezr-oflatt-refactor-proofs-4
CodSpeed Performance Gauge
0%
Warn when globals lack the `$` prefix#723
last run
1 day ago
Add warnings for unbound $ variables in patterns and let bindings in actions Co-authored-by: oflatt <8523445+oflatt@users.noreply.github.com>
1 day ago
96c34ff
copilot/sub-pr-722
CodSpeed Performance Gauge
+10%
simplify flag
2 days ago
b030d6f
oflatt-global-prefix
CodSpeed Performance Gauge
-11%
© 2025 CodSpeed Technology
Home Terms Privacy Docs