ezr-oflatt-refactor-proofs-4 - Branch - egraphs-good/egglog

Proofs refactors

#725

Comparing

ezr-oflatt-refactor-proofs-4

(

9f11c5f

) with

main

(

59ae7f1

)

-7%

Regression: 3

Untouched: 19

Skipped: 190

Benchmarks

212 total

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-7%

10.9 ms11.8 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-7%

1.7 s1.8 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-5%

97.2 ms102.8 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+2%

731.1 ms719.9 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

+1%

8.4 s8.3 s

tests[cykjson]

benches/ci_benchmarking.rs

489.6 ms487.3 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.8 s6.8 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s2.5 s

tests[cykjson]

benches/ci_benchmarking.rs

-1%

316.9 ms318.6 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

-1%

2.4 s2.4 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-1%

1 s1 s

tests[taylor51]

benches/ci_benchmarking.rs

-1%

6.5 s6.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

-1%

8.3 s8.4 s

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

277.7 ms280.6 ms

tests[herbie]

benches/ci_benchmarking.rs

-1%

273.4 ms276.9 ms

tests[taylor51]

benches/ci_benchmarking.rs

-1%

5.8 s5.9 s

tests[typeinfer]

benches/ci_benchmarking.rs

-2%

309.5 ms316.1 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

-2%

8.4 s8.6 s

tests[herbie]

benches/ci_benchmarking.rs

-4%

300.8 ms311.9 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

-4%

1.6 s1.7 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-4%

8.9 ms9.3 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-5%

97.9 ms102.6 ms

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

59ae7f1

-5.19%

Fix some clippy lints after rebase to main

7d62154

3 months ago

by ezrosent

-0.88%

Plumbing for "fiat-only" tables

446fedd

3 months ago

by ezrosent

+1.05%

plumb "fiat" proofs for globals

91502bb

3 months ago

by ezrosent

-2.3%

Fix bug with term ids for globals not matching up

9f11c5f

3 months ago

by ezrosent

Home Terms Privacy Docs