egraphs-good
egglog
BlogDocsChangelog

Specify that extractor does not support DAG costs

#763
Comparing
saulshanabrook-patch-6
(
9550631
) with
main
(
59ae7f1
)
CodSpeed Performance Gauge
0%
Untouched
22
Skipped
190

Benchmarks

Skipped (190)

Passed

tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
1.7 s1.6 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1 s1 s
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
309.5 ms307.9 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.4 s2.4 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.5 s2.5 s
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
273.4 ms273.3 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
6.5 s6.5 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
489.6 ms489.6 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.4 s8.4 s
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
277.7 ms277.7 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
6.8 s6.8 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
97.9 ms97.9 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.9 ms8.9 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.8 s5.8 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
731.1 ms732 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
97.2 ms97.3 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.4 s8.4 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.3 s8.3 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
10.9 ms11 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
300.8 ms302.9 ms
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
316.9 ms319.9 ms

Commits

Click on a commit to change the comparison range
Base
main
59ae7f1
0%
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
© 2025 CodSpeed Technology
Home Terms Privacy Docs