egraphs-good
egglog
BlogDocs

Disable `Value.tag` in release mode

#448Merged
Comparing
Alex-Fischman:cfg-tag
(
ef44dea
) with
main
(
b9f4c58
)
+14%
Improvements
3
Regressions
0
Untouched
5
New
0
Dropped
0
Ignored
81

Benchmarks

Improved

math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark
+14%
4.1 s
3.6 s
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson
+7%
342.9 ms
320.4 ms
eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction
+5%
4.3 s
4.1 s

Passed

python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize
+1%
6.2 s
6.2 s
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr
0%
2.8 s
2.7 s
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie
0%
283.2 ms
283.2 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark::lambda
0%
145 ms
145.5 ms
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer
-1%
402.9 ms
408.8 ms

Ignored

antiunifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify
+1%
2.1 ms
2 ms
arrayIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::array
+5%
26.3 ms
25 ms
bddIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bdd
+1%
15.1 ms
15 ms
before-proofsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs
0%
1.6 ms
1.6 ms
birewriteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite
0%
1.3 ms
1.3 ms
bitwiseIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise
-1%
672 µs
676.7 µs
boolIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bool
-1%
1.4 ms
1.4 ms
calcIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::calc
0%
5.4 ms
5.4 ms
combinatorsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combinators
+2%
18.2 ms
17.8 ms
combined-nestedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested
0%
1 ms
1 ms
container-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild
0%
2 ms
2 ms
cykIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::cyk
0%
11.2 ms
11.2 ms
datatypesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes
-2%
580.8 µs
594 µs
deleteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::delete
-4%
629.9 µs
653.3 µs
eqsat-basicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic
0%
1.6 ms
1.6 ms
eqsolveIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve
+11%
30.9 ms
27.7 ms
f64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::f64
0%
931.7 µs
934.3 µs
fail_wrong_assertionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion
+1%
1.2 ms
1.2 ms
fibonacciIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci
0%
1.6 ms
1.6 ms
fibonacci-demandIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand
-4%
2.1 ms
2.2 ms
fusionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fusion
+2%
43.8 ms
42.8 ms
herbie-tutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial
-1%
12.5 ms
12.6 ms
i64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::i64
0%
351.4 µs
352 µs
includeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::include
0%
1.2 ms
1.2 ms
integer_mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math
+2%
12.1 ms
11.8 ms
intersectionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::intersection
0%
1.9 ms
1.9 ms
intervalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::interval
0%
2.7 ms
2.7 ms
knapsackIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack
0%
5.7 ms
5.7 ms
levenshtein-distanceIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance
+2%
15.1 ms
14.8 ms
listIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::list
0%
4.8 ms
4.8 ms
mapIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::map
0%
653.7 µs
651.5 µs
mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::math
+7%
35.9 ms
33.5 ms
matrixIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::matrix
+1%
11.6 ms
11.4 ms
merge-during-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild
0%
1 ms
1 ms
merge-saturatesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates
-2%
3 ms
3.1 ms
name-resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution
+1%
1.2 ms
1.1 ms
pathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path
0%
1 ms
1 ms
path-unionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path-union
-1%
1.1 ms
1.1 ms
pathproofIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof
0%
1.5 ms
1.5 ms
points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::points-to
0%
2 ms
2 ms
primitivesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::primitives
+1%
531.3 µs
526.1 µs
primsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::prims
0%
5.4 ms
5.4 ms
push-popIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop
0%
645.4 µs
642.7 µs
rationalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::rational
-1%
906.5 µs
912.2 µs
repro-defineIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define
+1%
713.9 µs
705.4 µs
repro-desugar-143Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143
-1%
8.3 ms
8.4 ms
repro-empty-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query
0%
626.8 µs
627.9 µs
repro-equal-constantIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant
0%
683 µs
684.2 µs
repro-equal-constant2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2
0%
661.6 µs
664.3 µs
repro-noteqbugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug
0%
754.9 µs
754 µs
repro-primitive-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query
0%
701.5 µs
698.2 µs
repro-querybugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug
0%
954.9 µs
953.7 µs
repro-querybug2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2
-1%
669.8 µs
677.5 µs
repro-querybug3Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3
0%
2.1 ms
2.1 ms
repro-querybug4Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4
-1%
720.3 µs
729 µs
repro-should-saturateIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate
0%
659.4 µs
661.2 µs
repro-silly-panicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic
0%
935.3 µs
933 µs
repro-typechecking-scheduleIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule
0%
469.1 µs
469 µs
repro-unsoundIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound
+12%
265.7 ms
237.3 ms
repro-unsound-htutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial
0%
867 µs
867.3 µs
repro-vec-unequalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal
0%
783.1 µs
784.6 µs
resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::resolution
+1%
4.3 ms
4.2 ms
rw-analysisIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis
-1%
39.8 ms
40.1 ms
schedule-demoIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo
0%
2.2 ms
2.2 ms
semi_naive_set_functionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::semi_naive_set_function
+4%
37.9 ms
36.5 ms
setIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::set
-1%
2.8 ms
2.8 ms
stratifiedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::stratified
0%
964.6 µs
966.7 µs
stringIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string
0%
553.5 µs
551.9 µs
string_quotesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes
0%
483.4 µs
482.3 µs
subsumeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume
0%
1.6 ms
1.6 ms
test-combinedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined
0%
1.3 ms
1.3 ms
test-combined-stepsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps
+1%
2.9 ms
2.9 ms
towers-of-hanoiIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi
-2%
5.5 ms
5.6 ms
tricky-type-checkingIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking
0%
12.1 ms
12 ms
type-constraints-testsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests
-1%
597 µs
601.3 µs
typecheckIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck
+2%
6 ms
5.9 ms
unification-points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to
0%
8.4 ms
8.4 ms
unifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unify
0%
1.1 ms
1.1 ms
unstable-fnIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn
0%
6.3 ms
6.3 ms
untilIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::until
+2%
2.8 ms
2.8 ms
vecIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::vec
-1%
1 ms
1 ms

Commits

Click on a commit to change the comparison range
Base
main
b9f4c58
+14%
Implement (unstable-fn)::apply for primitives
ba5ca66
1 month ago
by Alex-Fischman
0%
Improve EGraph::find signature
ef44dea
1 month ago
by Alex-Fischman
© 2024 CodSpeed Technology
Home Terms PrivacyDocs