oflatt-extraction-for-proofs-2 - Branch - egraphs-good/egglog

Extraction for proof mode, improved snapshot testing

#805Merged

Comparing

oflatt-extraction-for-proofs-2

(

492451e

) with

main

(

9bef061

)

Untouched: 22

Skipped: 190

Benchmarks

212 total

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+3%

1.1 s1 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+1%

1.9 s1.8 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

7 s7 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[herbie]

benches/ci_benchmarking.rs

255.4 ms255.4 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s5.6 s

tests[cykjson]

benches/ci_benchmarking.rs

531 ms531.5 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.4 ms8.4 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9 s9.1 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.9 s1.9 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

85.4 ms85.6 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s1.7 s

tests[cykjson]

benches/ci_benchmarking.rs

365.6 ms366.7 ms

tests[typeinfer]

benches/ci_benchmarking.rs

239.7 ms240.5 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2 s2.1 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.2 ms11.3 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

-1%

84.3 ms84.8 ms

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

283.1 ms285 ms

tests[herbie]

benches/ci_benchmarking.rs

-1%

297.1 ms299.7 ms

tests[taylor51]

benches/ci_benchmarking.rs

-2%

4.2 s4.3 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

-2%

715.2 ms731.4 ms

tests[taylor51]

benches/ci_benchmarking.rs

-3%

5.2 s5.3 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

9bef061

-0.47%

some fixes

8267cf4

11 days ago

by oflatt

-0.03%

simplify

ae04d59

11 days ago

by oflatt

+0.05%

fix snapshotting

75de79f

11 days ago

by oflatt

+0.04%

snapshot refactor

32b0023

11 days ago

by oflatt

+0.14%

big fix to extraction

84ee65f

11 days ago

by oflatt

-0.29%

better snapshot testing

8108f6c

11 days ago

by oflatt

+0.29%

uf test

14fb67d

10 days ago

by oflatt

-0.05%

oops

39f2829

10 days ago

by oflatt

+0.07%

snap

0dfd14b

10 days ago

by oflatt

-0.11%

remove :term

429803b

10 days ago

by oflatt

+0.09%

cleanup

0c419da

10 days ago

by oflatt

-0.05%

stray snapshot

3e994ca

10 days ago

by oflatt

+0.02%

delete a bunch of snapshots for now

ead2087

4 days ago

by oflatt

+0.11%

find helper

af0d924

4 days ago

by oflatt

+0.01%

respond to pr feedback

7390c95

2 days ago

by oflatt

-0.12%

remove union term constructor

492451e

2 days ago

by oflatt

Home Terms Privacy Docs