egraphs-good
/
egglog
Blog
Docs
Overview
Branches
Benchmarks
Runs
Disable build script for library builds
(
#467
)
Merged
Comparing
DaniPopes:optional-build
(
1bcaef5
) with
main
(
ca52ac1
)
0%
IMPROVEMENTS
0
REGRESSIONS
0
UNTOUCHED
8
NEW
0
DROPPED
0
IGNORED
84
Benchmarks
Passed
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize
+1%
6.9 s
6.8 s
math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark
0%
4.3 s
4.3 s
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark::lambda
0%
158.7 ms
158.5 ms
eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction
0%
4.5 s
4.5 s
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer
0%
431.3 ms
431.3 ms
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson
0%
388.5 ms
388.7 ms
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie
0%
307.2 ms
307.6 ms
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr
-1%
2.8 s
2.8 s
Ignored
antiunify
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify
0%
1.9 ms
1.9 ms
array
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::array
0%
29.2 ms
29.1 ms
bdd
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bdd
0%
16.9 ms
16.8 ms
before-proofs
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs
0%
1.4 ms
1.4 ms
bignum
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bignum
0%
629.5 µs
630.1 µs
birewrite
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite
0%
1.1 ms
1.1 ms
bitwise
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise
+1%
595.8 µs
587.3 µs
bool
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bool
0%
1.2 ms
1.2 ms
calc
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::calc
0%
5.3 ms
5.3 ms
combinators
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::combinators
0%
19.2 ms
19.2 ms
combined-nested
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested
+1%
654.4 µs
647.8 µs
container-rebuild
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild
0%
1.6 ms
1.6 ms
cyk
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::cyk
0%
11.6 ms
11.6 ms
datatypes
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes
+1%
414.1 µs
411.2 µs
delete
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::delete
-1%
429.9 µs
435 µs
eqsat-basic
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic
+1%
1.4 ms
1.4 ms
eqsat-basic-multiset
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multiset
0%
3.7 ms
3.7 ms
eqsolve
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve
+1%
31.6 ms
31.2 ms
f64
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::f64
+2%
821 µs
808.6 µs
fail_wrong_assertion
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion
+3%
1 ms
1 ms
fibonacci
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci
0%
1.5 ms
1.5 ms
fibonacci-demand
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand
+1%
2 ms
1.9 ms
fusion
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fusion
0%
46.6 ms
46.4 ms
herbie-tutorial
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial
0%
13 ms
13 ms
i64
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::i64
0%
261 µs
260.5 µs
include
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::include
-1%
856.1 µs
860.5 µs
integer_math
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math
+1%
12.8 ms
12.7 ms
intersection
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::intersection
+1%
1.6 ms
1.6 ms
interval
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::interval
0%
2.5 ms
2.5 ms
knapsack
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack
-1%
5.9 ms
5.9 ms
levenshtein-distance
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance
0%
17.5 ms
17.5 ms
list
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::list
0%
4.6 ms
4.6 ms
map
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::map
+1%
446.5 µs
442.6 µs
math
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::math
0%
37.7 ms
37.7 ms
matrix
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::matrix
0%
11.6 ms
11.6 ms
merge-during-rebuild
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild
-1%
656.2 µs
659.7 µs
merge-saturates
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates
0%
3 ms
3 ms
multiset
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::multiset
0%
2.5 ms
2.5 ms
name-resolution
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution
+1%
791.1 µs
787 µs
path
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::path
0%
825.1 µs
823.7 µs
path-union
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::path-union
0%
936.3 µs
933.7 µs
pathproof
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof
0%
1.2 ms
1.2 ms
points-to
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::points-to
0%
1.8 ms
1.8 ms
primitives
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::primitives
+1%
476.9 µs
469.9 µs
prims
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::prims
0%
5.1 ms
5 ms
push-pop
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop
0%
460.4 µs
460.8 µs
rational
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::rational
0%
684.9 µs
685.7 µs
repro-define
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define
+1%
524.5 µs
520.5 µs
repro-desugar-143
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143
0%
9.1 ms
9.1 ms
repro-empty-query
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query
+1%
448.2 µs
444.1 µs
repro-equal-constant
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant
0%
493.6 µs
492.2 µs
repro-equal-constant2
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2
-1%
479.1 µs
483.1 µs
repro-noteqbug
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug
-1%
566.6 µs
569.7 µs
repro-primitive-query
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query
0%
517.5 µs
519.7 µs
repro-querybug
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug
0%
720.1 µs
722.3 µs
repro-querybug2
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2
+1%
492.5 µs
488.5 µs
repro-querybug3
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3
0%
1.7 ms
1.7 ms
repro-querybug4
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4
0%
536.9 µs
537 µs
repro-should-saturate
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate
+1%
457.5 µs
452.6 µs
repro-silly-panic
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic
0%
636.9 µs
636.8 µs
repro-typechecking-schedule
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule
0%
276 µs
276 µs
repro-unsound
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound
-1%
249.4 ms
251.2 ms
repro-unsound-htutorial
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial
0%
655.6 µs
654.3 µs
repro-vec-unequal
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal
-1%
575.9 µs
580.7 µs
resolution
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::resolution
0%
4 ms
4 ms
rw-analysis
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis
0%
41.9 ms
41.9 ms
schedule-demo
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo
0%
2.1 ms
2.1 ms
semi_naive_set_function
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::semi_naive_set_function
0%
42.4 ms
42.5 ms
set
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::set
0%
2.5 ms
2.5 ms
stratified
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::stratified
0%
753.7 µs
756.6 µs
string
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::string
0%
375.8 µs
374.8 µs
string_quotes
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes
0%
305.4 µs
305.8 µs
subsume
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume
0%
1.2 ms
1.2 ms
test-combined
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined
0%
951.6 µs
952.5 µs
test-combined-steps
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps
0%
2.8 ms
2.8 ms
towers-of-hanoi
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi
0%
5.7 ms
5.7 ms
tricky-type-checking
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking
0%
12.5 ms
12.5 ms
type-constraints-tests
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests
+1%
430.4 µs
424.7 µs
typecheck
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck
0%
6 ms
6 ms
unification-points-to
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to
0%
8.2 ms
8.2 ms
unify
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::unify
0%
829.2 µs
829.2 µs
unstable-fn
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn
0%
6.3 ms
6.3 ms
until
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::until
0%
2.7 ms
2.6 ms
vec
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::vec
+1%
823.3 µs
816.6 µs
Commits
Click on a commit to change the comparison range
base
main
ca52ac1
0%
Disable build script for library builds
1bcaef5
12 days ago
by DaniPopes
Resources
Home
Pricing
Docs
Blog
GitHub
Changelog
Getting Started
Sample repository
Explore repositories
Support
About
Careers
Twitter
Discord
Contact Us
Terms of Service
Privacy Policy
Copyright © 2024 CodSpeed Technology SAS. All rights reserved.