egraphs-good
egglog
BlogDocsChangelog

Better performance debugging support

#698
Comparing
yihozhang-better-debugging
(
06e6b59
) with
rule-report
(
fdcd154
)
CodSpeed Performance Gauge
-1%
Untouched
11
Ignored
93

Benchmarks

Passed

cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
474.8 ms474.7 ms
eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.5 s2.5 s
math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.3 s8.4 s
print-function
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.5 ms1.5 ms
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
6.7 s6.8 s
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
1.5 s1.6 s
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-1%
263 ms266.9 ms
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
270 ms274.2 ms
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
3.8 ms3.9 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-2%
82.7 ms84.1 ms
extract-vec-bench
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
-3%
101.6 ms104.5 ms

Ignored

push-pop
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+2%
827.7 µs815 µs
array
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
27.1 ms27.2 ms
primitives
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
739.4 µs739.7 µs
resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
4.8 ms4.9 ms
prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
4 ms4.1 ms
repro-vec-unequal
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1 ms1 ms
pathproof
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.7 ms1.8 ms
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2.7 ms2.8 ms
schedule-demo
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.4 ms2.4 ms
bdd
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
14.7 ms15 ms
set_sort_function
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
728.8 µs732.8 µs
points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
2.8 ms2.9 ms
bignum
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.1 ms1.1 ms
repro-desugar-143
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
9.4 ms9.5 ms
stratified
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.2 ms1.2 ms
set
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.9 ms2.9 ms
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.9 ms2 ms
subsume-relation
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1 ms1 ms
calc
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
6.3 ms6.4 ms
test-combined
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.5 ms1.5 ms
repro-empty-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
665.8 µs670 µs
bitwise
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
924.7 µs933.7 µs
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
876.7 µs891.6 µs
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.9 ms1.9 ms
bool
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.8 ms1.8 ms
string_quotes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
507.6 µs506.5 µs
string
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
625.4 µs622.5 µs
combined-nested
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
935.3 µs946.9 µs
rw-analysis
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
29.3 ms29.7 ms
repro-equal-constant
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
709.2 µs701.9 µs
repro-new-backend-python-vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
181.3 ms184 ms
repro-new-backend-prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
834 µs831.6 µs
repro-equal-constant2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
717.7 µs715.7 µs
towers-of-hanoi
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
3.5 ms3.5 ms
typecheck
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
7.3 ms7.4 ms
tricky-type-checking
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
14 ms14.1 ms
combinators
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
20.3 ms20.6 ms
type-constraints-tests
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
583 µs581.9 µs
delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
665.8 µs675.7 µs
repro-new-backend-delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
540.3 µs539.2 µs
complex-merge-func
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.1 ms1.2 ms
unify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.2 ms1.2 ms
subsume
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.7 ms1.7 ms
unstable-fn
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
6.7 ms6.8 ms
complex-merge-prim
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
907.3 µs917.2 µs
vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.9 ms1.9 ms
unification-points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-3%
10.9 ms11.2 ms
cyk
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
13.7 ms13.9 ms
test-combined-steps
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3.1 ms3.1 ms
eqsat-basic-multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
4.2 ms4.3 ms
eqsolve
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
32.1 ms32.3 ms
datatypes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
781 µs782.7 µs
eqsat-basic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.9 ms1.9 ms
fail_wrong_assertion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.6 ms1.6 ms
container-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
2.8 ms2.9 ms
until
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3.4 ms3.5 ms
repro-noteqbug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
908.4 µs914.2 µs
fibonacci
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.2 ms1.2 ms
f64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.3 ms1.3 ms
fibonacci-demand
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2.3 ms2.3 ms
fusion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
23 ms23.2 ms
repro-unsound
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
378.6 ms379.4 ms
repro-querybug4
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
791.7 µs785.8 µs
repro-primitive-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
760.3 µs758.2 µs
include
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.3 ms1.3 ms
i64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
412 µs412.2 µs
repro-typechecking-schedule
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
426.5 µs433 µs
repro-querybug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.1 ms1.1 ms
repro-querybug3
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2 ms2 ms
repro-should-saturate
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
621.2 µs623.3 µs
integer_math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
13.3 ms13.5 ms
repro-querybug2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
760 µs760.3 µs
repro-silly-panic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
961.8 µs969.3 µs
repro-unsound-htutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1 ms1 ms
interval
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2 ms2.1 ms
herbie-tutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
9.4 ms9.6 ms
knapsack
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
7.9 ms8.1 ms
levenshtein-distance
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
20 ms20.4 ms
intersection
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-3%
3 ms3.1 ms
path
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.3 ms1.3 ms
math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
38.3 ms38.6 ms
list
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
4.9 ms5 ms
map
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
790.7 µs792.6 µs
multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3.6 ms3.6 ms
looking_up_global
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
576.3 µs586.8 µs
matrix
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
10.3 ms10.5 ms
path-union
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.5 ms1.5 ms
looking_up_nonconstructor_in_rewrite_good
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
642.2 µs647.7 µs
naturals
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
3.6 ms3.6 ms
merge_read
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
495.4 µs497.5 µs
merge-saturates
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
3.4 ms3.5 ms
name-resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.3 ms1.4 ms
merge-during-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
1.3 ms1.3 ms

Commits

Click on a commit to change the comparison range
Base
rule-report
fdcd154
-0.21%
pass variables to core-relations
e987145
6 days ago
by yihozhang
-0.96%
Pass atom names down to core-relations
06e6b59
5 days ago
by yihozhang
© 2025 CodSpeed Technology
Home Terms Privacy Docs