oflatt-print-size-proofs - Branch - egraphs-good/egglog

Print-size preserve behavior in desugaring and proof mode

#808Merged

Comparing

oflatt-print-size-proofs

(

de4d04e

) with

main

(

9cd0442

)

Untouched: 22

Skipped: 190

Benchmarks

212 total

tests[taylor51]

benches/ci_benchmarking.rs

+1%

4.3 s4.2 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

+1%

7 s7 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+1%

729.6 ms725.9 ms

tests[typeinfer]

benches/ci_benchmarking.rs

240.5 ms239.8 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.4 ms8.3 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s2.1 s

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s5.3 s

tests[cykjson]

benches/ci_benchmarking.rs

531.4 ms531.1 ms

tests[herbie]

benches/ci_benchmarking.rs

255.5 ms255.4 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s5.6 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

84.8 ms84.8 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[cykjson]

benches/ci_benchmarking.rs

367.1 ms367.3 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s1.7 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

85.4 ms85.6 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.9 s1.9 s

tests[typeinfer]

benches/ci_benchmarking.rs

284.3 ms285.4 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.8 s1.8 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.1 s9.1 s

tests[herbie]

benches/ci_benchmarking.rs

-1%

300.3 ms302.7 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-2%

11.1 ms11.3 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-2%

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

9cd0442

-0.21%

Update src/lib.rs

663683b

1 day ago

by oflatt

+0.11%

Update tests/name-resolution.egg

3e09fc6

1 day ago

by oflatt

-0.05%

nits

bf6a0a3

1 day ago

by oflatt

-0.12%

new test

55fc777

1 day ago

by oflatt

+0.06%

small snapshot

de4d04e

1 day ago

by oflatt

Home Terms Privacy Docs