harshasiddartha:fix/empty-eclass-serialization-clarification - Branch - egraphs-good/egglog

Fix #724: Clarify empty e-class serialization

#726

Comparing

harshasiddartha:fix/empty-eclass-serialization-clarification

(

c2e1280

) with

main

(

ef90b97

)

-1%

Untouched: 20

Skipped: 190

Benchmarks

Skipped (190)

Passed

tests[herbie]

benches/ci_benchmarking.rs

298.7 ms297.6 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

10.8 ms10.7 ms

tests[typeinfer]

benches/ci_benchmarking.rs

309.1 ms308.5 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

734.3 ms733 ms

tests[typeinfer]

benches/ci_benchmarking.rs

277.8 ms277.7 ms

tests[herbie]

benches/ci_benchmarking.rs

271.2 ms271.2 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.8 s6.8 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.7 ms8.7 ms

tests[cykjson]

benches/ci_benchmarking.rs

488.9 ms489.1 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.5 s1.5 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

100.1 ms100.2 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s2.5 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

97.5 ms97.8 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.4 s2.4 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

8.1 s8.2 s

tests[cykjson]

benches/ci_benchmarking.rs

-1%

313.7 ms317.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

8.4 s8.5 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-2%

1 s1 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-3%

1.6 s1.6 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-5%

8.5 s8.9 s

Commits

Click on a commit to change the comparison range

Base

main

ef90b97

-0.55%

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

2bc8128

2 days ago

by harshasiddartha

-0.07%

Fix clippy: Use HashSet from util instead of std::collections

c2e1280

1 day ago

by harshasiddartha

Home Terms Privacy Docs