oflatt-termdag-refactor - Branch - egraphs-good/egglog

Refactor TermDag API to use Ids and add pretty printer for proofs

#789Merged

Comparing

oflatt-termdag-refactor

(

12c6db1

) with

main

(

505a185

)

Untouched: 22

Skipped: 190

No successful run was found on main ( 12c6db1) during the generation of this report, so 505a185 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.

Benchmarks

212 total

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+2%

1.7 s1.7 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

+1%

7.1 s7 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

76.6 ms76 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

79.9 ms79.2 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

+1%

11 ms10.9 ms

tests[herbie]

benches/ci_benchmarking.rs

302 ms301.1 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.7 s5.7 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s2.1 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.3 ms8.2 ms

tests[taylor51]

benches/ci_benchmarking.rs

4.2 s4.2 s

tests[herbie]

benches/ci_benchmarking.rs

261 ms260.8 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[taylor51]

benches/ci_benchmarking.rs

5.2 s5.2 s

tests[typeinfer]

benches/ci_benchmarking.rs

238.3 ms238.3 ms

tests[cykjson]

benches/ci_benchmarking.rs

530 ms530 ms

tests[cykjson]

benches/ci_benchmarking.rs

364.1 ms364.8 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

715.8 ms718.5 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.9 s1.9 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-1%

9 s9.1 s

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

280.5 ms283.5 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-3%

1 s1.1 s

The benchmarks below were skipped, so their baseline results are used instead. If they were deleted in your codebase, archive them to remove them from the performance reports.
Learn more about archiving benchmarks

tests[array]

benches/ci_benchmarking.rs

Skipped

27.2 ms*

tests[bdd]

benches/ci_benchmarking.rs

Skipped

14.7 ms*

tests[print-function]

benches/ci_benchmarking.rs

Skipped

1.4 ms*

Commits

Click on a commit to change the comparison range

Base

main

505a185

+0.14%

term refactor

acb3923

14 days ago

by oflatt

+0.13%

Update src/termdag.rs

1b03bdf

11 days ago

by oflatt

-0.11%

Update tests/terms.rs

b4f42d8

11 days ago

by oflatt

+0.04%

Update src/lib.rs

e0caba4

11 days ago

by oflatt

-0.14%

new docs

12c6db1

9 days ago

by oflatt

Home Terms Privacy Docs