egraphs-good
/
egglog
Blog
Docs
Overview
Branches
Benchmarks
Runs
Store str instead of String in ParseError
(
#469
)
Merged
Comparing
DaniPopes:parse-error-string
(
4031ed9
) with
main
(
2c8d947
)
0%
IMPROVEMENTS
0
REGRESSIONS
0
UNTOUCHED
8
NEW
0
DROPPED
0
IGNORED
84
Benchmarks
Passed
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr
+3%
2.8 s
2.7 s
math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark
0%
4.3 s
4.3 s
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie
0%
308.7 ms
308 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark::lambda
0%
159.2 ms
159.1 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.5 ms
431.4 ms
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson
0%
388.6 ms
388.8 ms
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize
0%
6.9 s
6.9 s
Ignored
antiunify
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify
+1%
2 ms
1.9 ms
array
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::array
0%
29.1 ms
29.1 ms
bdd
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bdd
+1%
17 ms
16.9 ms
before-proofs
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs
+1%
1.4 ms
1.4 ms
bignum
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bignum
+1%
643 µs
636.8 µs
birewrite
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite
+1%
1.1 ms
1.1 ms
bitwise
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise
+1%
600.7 µs
595 µs
bool
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::bool
+2%
1.2 ms
1.2 ms
calc
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::calc
+1%
5.4 ms
5.3 ms
combinators
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::combinators
0%
19.4 ms
19.3 ms
combined-nested
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested
+3%
663.8 µs
645.7 µs
container-rebuild
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild
+2%
1.6 ms
1.6 ms
cyk
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::cyk
+1%
11.7 ms
11.6 ms
datatypes
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes
-1%
415 µs
418.8 µs
delete
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::delete
0%
433.9 µs
433.9 µs
eqsat-basic
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic
+3%
1.4 ms
1.4 ms
eqsat-basic-multiset
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multiset
+2%
3.8 ms
3.8 ms
eqsolve
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve
+1%
31.8 ms
31.4 ms
f64
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::f64
+1%
832.5 µs
820.7 µs
fail_wrong_assertion
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion
+6%
1.1 ms
1 ms
fibonacci
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci
+1%
1.5 ms
1.5 ms
fibonacci-demand
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand
+1%
2 ms
2 ms
fusion
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::fusion
+1%
46.8 ms
46.4 ms
herbie-tutorial
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial
0%
13.1 ms
13.1 ms
i64
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::i64
+1%
262.3 µs
260.3 µs
include
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::include
+1%
864.8 µs
855.9 µs
integer_math
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math
+1%
12.9 ms
12.8 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
+1%
2.6 ms
2.5 ms
knapsack
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack
0%
5.9 ms
5.9 ms
levenshtein-distance
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance
0%
17.6 ms
17.5 ms
list
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::list
+1%
4.6 ms
4.6 ms
map
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::map
+3%
453.7 µs
441.2 µs
math
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::math
+1%
38.1 ms
37.8 ms
matrix
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::matrix
+1%
11.6 ms
11.5 ms
merge-during-rebuild
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild
+2%
672.4 µs
661.3 µ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
+2%
1.9 ms
1.9 ms
name-resolution
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution
-1%
795.3 µs
800 µs
path
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::path
0%
836.6 µs
832.5 µs
path-union
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::path-union
+1%
950.4 µs
936.8 µs
pathproof
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof
+1%
1.2 ms
1.2 ms
points-to
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::points-to
+1%
1.8 ms
1.8 ms
primitives
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::primitives
+1%
478.6 µs
474.7 µs
prims
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::prims
+1%
5.1 ms
5.1 ms
push-pop
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop
+3%
467.9 µs
455.9 µs
rational
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::rational
+1%
692.9 µs
686.5 µs
repro-define
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define
0%
525.8 µs
525 µ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
+2%
453.6 µs
445.9 µs
repro-equal-constant
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant
+1%
498.1 µs
494.9 µs
repro-equal-constant2
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2
+1%
485.1 µs
480.1 µs
repro-noteqbug
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug
+1%
571.8 µs
568.6 µs
repro-primitive-query
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query
0%
526.5 µs
524.8 µs
repro-querybug
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug
+2%
736.5 µs
722.5 µs
repro-querybug2
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2
+1%
493.9 µs
489.7 µs
repro-querybug3
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3
+1%
1.7 ms
1.7 ms
repro-querybug4
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4
+2%
542.1 µs
533.8 µs
repro-should-saturate
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate
+1%
458 µs
453.5 µs
repro-silly-panic
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic
+2%
646 µs
632.5 µs
repro-typechecking-schedule
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule
+2%
281.2 µs
276.3 µs
repro-unsound
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound
-1%
249.4 ms
251.4 ms
repro-unsound-htutorial
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial
+1%
665 µs
657.7 µs
repro-vec-unequal
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal
0%
588.4 µs
586.4 µs
resolution
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::resolution
+1%
4.1 ms
4 ms
rw-analysis
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis
+1%
42.2 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%
43 ms
42.8 ms
set
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::set
+1%
2.6 ms
2.5 ms
stratified
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::stratified
+1%
767 µs
760.1 µs
string
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::string
0%
375.2 µs
375.6 µs
string_quotes
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes
+1%
308.9 µs
306.2 µs
subsume
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume
+1%
1.2 ms
1.2 ms
test-combined
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined
+1%
966.4 µs
952.2 µs
test-combined-steps
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps
+1%
2.8 ms
2.8 ms
towers-of-hanoi
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi
+1%
5.8 ms
5.7 ms
tricky-type-checking
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking
0%
12.6 ms
12.5 ms
type-constraints-tests
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests
-1%
427.4 µs
430.9 µs
typecheck
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck
+1%
6.1 ms
6 ms
unification-points-to
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to
+1%
8.3 ms
8.2 ms
unify
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::unify
+1%
843.5 µs
832.3 µs
unstable-fn
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn
+1%
6.3 ms
6.3 ms
until
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::until
+1%
2.7 ms
2.7 ms
vec
Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::vec
+7%
880.1 µs
819.5 µs
Commits
Click on a commit to change the comparison range
base
main
2c8d947
0%
Store str instead of String in ParseError
4031ed9
11 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.