oflatt-disallow-set-constructor - Branch - egraphs-good/egglog

Disallow set on constructors

#809Merged

Comparing

oflatt-disallow-set-constructor

(

449b43f

) with

main

(

593bf60

)

Untouched: 22

Skipped: 190

Benchmarks

212 total

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+1%

1.9 s1.9 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

+1%

85.9 ms85.4 ms

tests[taylor51]

benches/ci_benchmarking.rs

4.3 s4.3 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s2 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s1.7 s

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.1 s9.1 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s5.6 s

tests[herbie]

benches/ci_benchmarking.rs

255.5 ms255.5 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.4 ms8.4 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.6 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

725.9 ms726.2 ms

tests[typeinfer]

benches/ci_benchmarking.rs

239.8 ms239.9 ms

tests[cykjson]

benches/ci_benchmarking.rs

531.1 ms531.3 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

84.8 ms84.8 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1 s1 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.9 s1.9 s

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s5.3 s

tests[herbie]

benches/ci_benchmarking.rs

301 ms302.1 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

-1%

7 s7.1 s

tests[cykjson]

benches/ci_benchmarking.rs

-1%

367.7 ms370.1 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-1%

11.3 ms11.4 ms

tests[typeinfer]

benches/ci_benchmarking.rs

-1%

283.6 ms287.5 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

593bf60

-0.12%

fix up proof supported test

449b43f

10 hours ago

by oflatt

Home Terms Privacy Docs