egraphs-good
egglog
BlogDocsChangelog

Invert condition for serialized output completeness check

#694Merged
Comparing
saulshanabrook-patch-5
(
124b4c0
) with
main
(
1d29f73
)
CodSpeed Performance Gauge
0%
Untouched
11
Ignored
93

Benchmarks

Passed

print-function
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.5 ms1.5 ms
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
3.8 ms3.8 ms
extract-vec-bench
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
100.2 ms100.2 ms
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
477 ms476.8 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
80.5 ms80.5 ms
eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
2.8 s2.8 s
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
4.8 s4.8 s
math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
8.6 s8.6 s
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
1.5 s1.5 s
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
260.1 ms260.3 ms
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark
CodSpeed Performance Gauge
0%
264.9 ms265.2 ms

Ignored

repro-desugar-143
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
10.3 ms10.3 ms
antiunify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.7 ms2.7 ms
merge-during-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.3 ms1.3 ms
array
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
26.6 ms26.7 ms
map
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
801.1 µs793.1 µs
repro-define
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
871.7 µs870.4 µs
repro-empty-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
676.3 µs683.4 µs
bignum
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.1 ms1.1 ms
before-proofs
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.9 ms1.9 ms
repro-equal-constant2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+2%
726.4 µs715.2 µs
math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
38.2 ms38.3 ms
matrix
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
10.1 ms10.1 ms
repro-equal-constant
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
695.8 µs693 µs
repro-querybug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.1 ms1.1 ms
merge-saturates
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
3.3 ms3.3 ms
looking_up_nonconstructor_in_rewrite_good
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
636.7 µs647.7 µs
birewrite
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.9 ms1.9 ms
merge_read
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
494.3 µs492.3 µs
path
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.3 ms1.3 ms
repro-querybug2
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
756.6 µs754.6 µs
repro-noteqbug
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
904.6 µs900.3 µs
bitwise
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
918.7 µs923.1 µs
repro-primitive-query
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
748.9 µs757.7 µs
path-union
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.5 ms1.5 ms
repro-querybug3
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2 ms2 ms
bdd
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
14.3 ms14.2 ms
combinators
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
19.8 ms19.8 ms
repro-new-backend-prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
832.7 µs828.1 µs
calc
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
6.1 ms6.1 ms
bool
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.8 ms1.8 ms
pathproof
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.7 ms1.7 ms
repro-querybug4
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
782.1 µs791.9 µs
repro-new-backend-delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
534.1 µs535.4 µs
combined-nested
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
931.7 µs930.9 µs
repro-silly-panic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
958.3 µs952.4 µs
complex-merge-prim
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
903.7 µs916.9 µs
points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2.8 ms2.8 ms
naturals
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3.5 ms3.5 ms
container-rebuild
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.8 ms2.8 ms
repro-new-backend-python-vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
179.9 ms179.8 ms
repro-should-saturate
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
613.9 µs619.5 µs
name-resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.3 ms1.3 ms
complex-merge-func
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.1 ms1.1 ms
primitives
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
749.2 µs742.1 µs
delete
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
664 µs663.3 µs
multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
3.5 ms3.5 ms
datatypes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
778.3 µs784.5 µs
eqsolve
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
31.6 ms31.7 ms
repro-unsound
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
380.7 ms380.7 ms
schedule-demo
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.3 ms2.3 ms
eqsat-basic-multiset
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
4.2 ms4.2 ms
prims
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
3.9 ms4 ms
repro-unsound-htutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1 ms1 ms
repro-typechecking-schedule
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
426.8 µs427.8 µs
repro-vec-unequal
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1 ms1 ms
fibonacci-demand
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.3 ms2.3 ms
push-pop
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
822.4 µs818.8 µs
cyk
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
22.6 ms22.6 ms
eqsat-basic
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.8 ms1.8 ms
fibonacci
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.2 ms1.2 ms
resolution
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
4.7 ms4.7 ms
rw-analysis
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
31 ms31 ms
fusion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
22.3 ms22.4 ms
f64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.3 ms1.3 ms
string_quotes
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
504.5 µs504.5 µs
test-combined
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.5 ms1.5 ms
set_sort_function
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
718.8 µs719.4 µs
i64
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-2%
413.2 µs422.1 µs
fail_wrong_assertion
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.6 ms1.6 ms
set
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.9 ms2.9 ms
subsume
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.7 ms1.7 ms
string
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
629.4 µs621.8 µs
unification-points-to
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
10.7 ms10.7 ms
unify
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.2 ms1.2 ms
test-combined-steps
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
3.1 ms3.1 ms
towers-of-hanoi
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
3.5 ms3.5 ms
include
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
1.3 ms1.3 ms
tricky-type-checking
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
12.8 ms12.8 ms
subsume-relation
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1 ms1 ms
until
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
3.3 ms3.3 ms
herbie-tutorial
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
9.3 ms9.3 ms
unstable-fn
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
6.6 ms6.6 ms
stratified
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
1.2 ms1.2 ms
knapsack
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
7.7 ms7.7 ms
type-constraints-tests
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
584.3 µs583.2 µs
typecheck
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
6.9 ms6.9 ms
list
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
4.9 ms4.9 ms
intersection
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
2.9 ms2.9 ms
integer_math
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
13.2 ms13.2 ms
interval
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
-1%
2 ms2 ms
vec
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
+1%
1.9 ms1.9 ms
looking_up_global
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
572.2 µs571.5 µs
levenshtein-distance
benches/example_benchmarks.rs::benches::criterion_benchmark
Ignored
CodSpeed Performance Gauge
0%
19.4 ms19.4 ms

Commits

Click on a commit to change the comparison range
Base
main
1d29f73
+0.02%
Invert condition for serialized output completeness check Thanks to @ajpal for catching this bug. We should print a warning if the serialized output is not complete.
124b4c0
11 days ago
by saulshanabrook
© 2025 CodSpeed Technology
Home Terms Privacy Docs