saulshanabrook-patch-6 - Branch - egraphs-good/egglog

Specify that extractor does not support DAG costs

#763

Comparing

saulshanabrook-patch-6

(

9550631

) with

main

(

59ae7f1

)

Untouched: 22

Skipped: 190

Benchmarks

Skipped (190)

Passed

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+2%

1.7 s1.6 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+1%

1 s1 s

tests[typeinfer]

benches/ci_benchmarking.rs

+1%

309.5 ms307.9 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.4 s2.4 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.5 s2.5 s

tests[herbie]

benches/ci_benchmarking.rs

273.4 ms273.3 ms

tests[taylor51]

benches/ci_benchmarking.rs

6.5 s6.5 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[cykjson]

benches/ci_benchmarking.rs

489.6 ms489.6 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.4 s8.4 s

tests[typeinfer]

benches/ci_benchmarking.rs

277.7 ms277.7 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.8 s6.8 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

97.9 ms97.9 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.9 ms8.9 ms

tests[taylor51]

benches/ci_benchmarking.rs

5.8 s5.8 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

731.1 ms732 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

97.2 ms97.3 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.4 s8.4 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

8.3 s8.3 s

tests[herbie-tutorial]

benches/ci_benchmarking.rs

-1%

10.9 ms11 ms

tests[herbie]

benches/ci_benchmarking.rs

-1%

300.8 ms302.9 ms

tests[cykjson]

benches/ci_benchmarking.rs

-1%

316.9 ms319.9 ms

Commits

Click on a commit to change the comparison range

Base

main

59ae7f1

Specify that extractor does not support DAG costs Follow up on https://github.com/egraphs-good/egglog/pull/758 to specify clearly that the extractor does not support DAG like cost models.

9550631

1 day ago

by saulshanabrook

Home Terms Privacy Docs