oflatt-extract-w-proof - Branch - egraphs-good/egglog

Proofs for extraction

#813

Comparing

oflatt-extract-w-proof

(

a4b2eff

) with

oflatt-better-proof-testing

(

7d74c8f

)

Untouched: 18

Skipped: 194

Benchmarks

212 total

tests[herbie-tutorial]

benches/ci_benchmarking.rs

+2%

11.3 ms11.1 ms

tests[typeinfer]

benches/ci_benchmarking.rs

+1%

286.1 ms283.8 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

+1%

7 s7 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

+1%

9.1 s9.1 s

tests[herbie]

benches/ci_benchmarking.rs

299 ms297.7 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.9 s1.9 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.9 s1.9 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

730.8 ms729.5 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s1.7 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2 s2 s

tests[typeinfer]

benches/ci_benchmarking.rs

240.3 ms240.4 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s5.6 s

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s5.3 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1 s1 s

tests[cykjson]

benches/ci_benchmarking.rs

-1%

366 ms368 ms

tests[taylor51]

benches/ci_benchmarking.rs

-1%

4.2 s4.3 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-2%

85.4 ms87.1 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*

tests[bitwise]

benches/ci_benchmarking.rs

Skipped

930.2 µs*

tests[bool]

benches/ci_benchmarking.rs

Skipped

1.8 ms*

tests[birewrite]

benches/ci_benchmarking.rs

Skipped

1.9 ms*

tests[antiunify]

benches/ci_benchmarking.rs

Skipped

2.8 ms*

Commits

Click on a commit to change the comparison range

Base

oflatt-better-proof-testing

7d74c8f

-0.2%

remove annoying comments

7936b4c

8 days ago

by oflatt

+0.26%

internal-term

b66f338

1 day ago

by oflatt

-0.03%

nits

d96b479

1 day ago

by oflatt

+0.03%

snap

a4b2eff

1 day ago

by oflatt

Home Terms Privacy Docs