raw_add_rule_with_name API & expose dependency
#647Comparing
MilkBlock:MilkBlock-egglog
(f11ca75
) withmain
(f2dc5a1
)0%
- Improvements
- 0
- Regressions
- 0
- Untouched
- 11
- New
- 0
- Dropped
- 0
- Ignored
- 93
Benchmarks
Passed
stresstest_large_expr
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr0%
1.6 s
1.6 s
eggcc-extraction
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction0%
2.8 s
2.8 s
cykjson
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson0%
474.8 ms
474.9 ms
python_array_optimize
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize0%
4.9 s
4.9 s
math-microbenchmark
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark0%
8.9 s
8.9 s
typeinfer
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer0%
271.4 ms
271.5 ms
extract-vec-bench
benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-bench0%
100.8 ms
100.8 ms
herbie
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie0%
262.9 ms
263.1 ms
lambda
benches/example_benchmarks.rs::benches::criterion_benchmark::lambda0%
81.8 ms
81.9 ms
print-function
benches/example_benchmarks.rs::benches::criterion_benchmark::print-function0%
1.4 ms
1.5 ms
rat-pow-eval
benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-eval0%
3.8 ms
3.8 ms
Ignored
antiunifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify0%
2.8 ms
2.8 ms
arrayIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::array0%
27.1 ms
27.1 ms
bddIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bdd0%
14.4 ms
14.5 ms
before-proofsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs0%
1.9 ms
1.9 ms
bignumIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bignum0%
1.1 ms
1.1 ms
birewriteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite0%
1.9 ms
1.9 ms
bitwiseIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise0%
929.5 µs
927.3 µs
boolIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bool0%
1.9 ms
1.8 ms
calcIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::calc0%
6.2 ms
6.2 ms
combinatorsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combinators0%
20.2 ms
20.2 ms
combined-nestedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested-2%
928.4 µs
944.1 µs
complex-merge-funcIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-func0%
1.1 ms
1.1 ms
complex-merge-primIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-prim-1%
907.1 µs
915.1 µs
container-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild0%
2.8 ms
2.8 ms
cykIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::cyk0%
22.8 ms
22.8 ms
datatypesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes0%
792.5 µs
791 µs
deleteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::delete0%
667.2 µs
664.6 µs
eqsat-basicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic0%
1.9 ms
1.9 ms
eqsat-basic-multisetIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multiset0%
4.3 ms
4.3 ms
eqsolveIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve0%
32 ms
32 ms
f64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::f64-1%
1.4 ms
1.4 ms
fail_wrong_assertionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion+1%
1.6 ms
1.6 ms
fibonacciIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci+1%
1.2 ms
1.2 ms
fibonacci-demandIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand0%
2.3 ms
2.3 ms
fusionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fusion0%
22.7 ms
22.7 ms
herbie-tutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial0%
9.4 ms
9.4 ms
i64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::i64-2%
414.6 µs
424 µs
includeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::include+3%
1.4 ms
1.3 ms
integer_mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math0%
13.3 ms
13.4 ms
intersectionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::intersection0%
2.9 ms
3 ms
intervalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::interval-1%
2 ms
2 ms
knapsackIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack0%
7.8 ms
7.8 ms
levenshtein-distanceIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance0%
19.5 ms
19.6 ms
listIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::list0%
4.9 ms
4.9 ms
looking_up_globalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_global0%
573.2 µs
576 µs
looking_up_nonconstructor_in_rewrite_goodIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_good-1%
639.9 µs
643.6 µs
mapIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::map0%
794.8 µs
796.8 µs
mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::math0%
38.6 ms
38.6 ms
matrixIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::matrix0%
10.2 ms
10.2 ms
merge-during-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild0%
1.3 ms
1.3 ms
merge-saturatesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates0%
3.3 ms
3.3 ms
merge_readIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge_read+1%
503.3 µs
498.5 µs
multisetIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::multiset0%
3.6 ms
3.5 ms
name-resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution0%
1.3 ms
1.3 ms
naturalsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::naturals-1%
3.5 ms
3.5 ms
pathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path0%
1.3 ms
1.3 ms
path-unionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path-union+1%
1.5 ms
1.5 ms
pathproofIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof0%
1.7 ms
1.7 ms
points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::points-to0%
2.8 ms
2.8 ms
primitivesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::primitives+1%
754.4 µs
746.5 µs
primsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::prims0%
4 ms
4 ms
push-popIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop0%
820.9 µs
820.1 µs
repro-defineIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define0%
873 µs
869.4 µs
repro-desugar-143Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-1430%
10.5 ms
10.5 ms
repro-empty-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query0%
663 µs
660.8 µs
repro-equal-constantIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant+1%
699.5 µs
694.9 µs
repro-equal-constant2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2+2%
721.8 µs
708 µs
repro-new-backend-deleteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-delete+1%
538.5 µs
535.3 µs
repro-new-backend-primsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-prims0%
836.5 µs
836.1 µs
repro-new-backend-python-vecIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-python-vec0%
181.1 ms
181.1 ms
repro-noteqbugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug0%
907.3 µs
905.2 µs
repro-primitive-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query-1%
750.1 µs
756.2 µs
repro-querybugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug0%
1.1 ms
1.1 ms
repro-querybug2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug20%
760.9 µs
759.5 µs
repro-querybug3Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug30%
2 ms
2 ms
repro-querybug4Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug40%
792.3 µs
791.8 µs
repro-should-saturateIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate0%
620.6 µs
622.8 µs
repro-silly-panicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic-1%
959.7 µs
967.4 µs
repro-typechecking-scheduleIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule0%
421.6 µs
422.3 µs
repro-unsoundIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound0%
395.5 ms
394.9 ms
repro-unsound-htutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial0%
1 ms
1 ms
repro-vec-unequalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal+1%
1 ms
1 ms
resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::resolution0%
4.8 ms
4.8 ms
rw-analysisIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis0%
31.2 ms
31.2 ms
schedule-demoIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo0%
2.4 ms
2.4 ms
setIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::set0%
3 ms
3 ms
set_sort_functionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_function0%
727.4 µs
727.3 µs
stratifiedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::stratified+1%
1.2 ms
1.2 ms
stringIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string0%
634 µs
632.9 µs
string_quotesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes-1%
503.9 µs
510.5 µs
subsumeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume+1%
1.7 ms
1.7 ms
subsume-relationIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume-relation0%
1 ms
1 ms
test-combinedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined0%
1.5 ms
1.5 ms
test-combined-stepsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps0%
3.1 ms
3.1 ms
towers-of-hanoiIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi0%
3.5 ms
3.5 ms
tricky-type-checkingIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking0%
12.9 ms
12.9 ms
type-constraints-testsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests-1%
589.5 µs
595.3 µs
typecheckIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck0%
7 ms
7 ms
unification-points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to+1%
10.8 ms
10.7 ms
unifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unify+1%
1.2 ms
1.2 ms
unstable-fnIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn0%
6.6 ms
6.6 ms
untilIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::until0%
3.3 ms
3.3 ms
vecIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::vec0%
1.9 ms
1.9 ms
Commits
Click on a commit to change the comparison rangeBase
main
f2dc5a1
-0.08%
raw_add_rule_with_name API & expose dependency
f11ca75
18 days ago
by MineralSteins