Comparing
Alex-Fischman:delete-old-backend
(788ee96
) withbackend-merge
(215714e
)-93%
- Improvements
- 0
- Regressions
- 10
- Untouched
- 0
- New
- 6
- Dropped
- 0
- Ignored
- 87
Benchmarks
Failed
cykjsonRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson-79%
377.6 ms
1,764.5 ms
eggcc-extractionRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction-71%
2.2 s
7.6 s
extract-vec-benchRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-bench-93%
75 ms
1,127.3 ms
herbieRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-59%
286.3 ms
691.3 ms
lambdaRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::lambda-62%
121.8 ms
319.3 ms
math-microbenchmarkRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark-79%
4.3 s
20.3 s
python_array_optimizeRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize-84%
3.9 s
24.4 s
rat-pow-evalRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-eval-73%
2.5 ms
9.4 ms
stresstest_large_exprRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr-93%
2.1 s
31.5 s
typeinferRegression
benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer-69%
436.5 ms
1,425.7 ms
New
complex-merge-func
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-funcN/A
N/A
2.4 ms
complex-merge-prim
benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-primN/A
N/A
1.5 ms
naturals
benches/example_benchmarks.rs::benches::criterion_benchmark::naturalsN/A
N/A
13.7 ms
repro-new-backend-delete
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-deleteN/A
N/A
916.2 µs
repro-new-backend-prims
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-primsN/A
N/A
1.6 ms
repro-new-backend-python-vec
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-python-vecN/A
N/A
692.2 ms
Ignored
antiunifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify-72%
1.8 ms
6.6 ms
arrayIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::array-46%
26.2 ms
48.9 ms
bddIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bdd-58%
16.6 ms
39.9 ms
before-proofsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs-78%
1.2 ms
5.6 ms
bignumIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bignum-72%
579.9 µs
2,048 µs
birewriteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite-79%
1 ms
4.9 ms
bitwiseIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise-60%
573.4 µs
1,432.8 µs
boolIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::bool-65%
1.2 ms
3.3 ms
calcIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::calc-65%
5.1 ms
14.8 ms
combinatorsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combinators-61%
18.8 ms
48.6 ms
combined-nestedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested-62%
630.7 µs
1,640.5 µs
container-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild-82%
1.5 ms
8.4 ms
cykIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::cyk-79%
11.4 ms
53.3 ms
datatypesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes-70%
383.3 µs
1,266.4 µs
deleteIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::delete-66%
388.3 µs
1,129.5 µs
eqsat-basicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-70%
1.3 ms
4.3 ms
eqsat-basic-multisetIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multiset-63%
3.5 ms
9.4 ms
eqsolveIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve-40%
31.2 ms
52.2 ms
f64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::f64-58%
798 µs
1,905 µs
fail_wrong_assertionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion-66%
979.1 µs
2,889.7 µs
fibonacciIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-69%
944.5 µs
3,074.8 µs
fibonacci-demandIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand-79%
1.8 ms
8.6 ms
fusionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::fusion-51%
36.6 ms
74 ms
herbie-tutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial-67%
8.7 ms
26.7 ms
i64Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::i64-62%
243.5 µs
641.2 µs
includeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::include-75%
793.6 µs
3,170.7 µs
integer_mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math-55%
12.2 ms
27.4 ms
intersectionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::intersection-85%
1.5 ms
9.5 ms
intervalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::interval-66%
1.5 ms
4.3 ms
knapsackIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack-77%
5.9 ms
25 ms
levenshtein-distanceIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance-74%
17.4 ms
66 ms
listIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::list-73%
4.1 ms
14.9 ms
looking_up_globalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_global-77%
279.8 µs
1,206.4 µs
looking_up_nonconstructor_in_rewrite_goodIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_good-53%
426.9 µs
917.5 µs
mapIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::map-72%
417.4 µs
1,495.2 µs
mathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::math-51%
34.8 ms
71.6 ms
matrixIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::matrix-70%
11 ms
36.1 ms
merge-during-rebuildIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild-83%
617 µs
3,670.8 µs
merge-saturatesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates-92%
2 ms
24.1 ms
merge_readIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::merge_read-75%
261.3 µs
1,035.8 µs
multisetIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::multiset-54%
2.5 ms
5.5 ms
name-resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution-78%
723.4 µs
3,313.7 µs
pathIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path-75%
766.1 µs
3,095.8 µs
path-unionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::path-union-75%
904.6 µs
3,579.9 µs
pathproofIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof-70%
1.1 ms
3.7 ms
points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::points-to-78%
1.7 ms
7.4 ms
primitivesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::primitives-59%
452.1 µs
1,092.7 µs
primsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::prims-70%
3.6 ms
11.9 ms
push-popIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop-71%
442.6 µs
1,525.9 µs
repro-defineIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define-75%
479.8 µs
1,929.9 µs
repro-desugar-143Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143-73%
8.6 ms
32 ms
repro-empty-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query-65%
403.8 µs
1,150.6 µs
repro-equal-constantIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant-60%
449.3 µs
1,133 µs
repro-equal-constant2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2-65%
438.7 µs
1,269.1 µs
repro-noteqbugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug-65%
551.7 µs
1,583 µs
repro-primitive-queryIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query-64%
479.5 µs
1,336.5 µs
repro-querybugIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug-73%
622.8 µs
2,290.8 µs
repro-querybug2Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2-70%
441.3 µs
1,487.3 µs
repro-querybug3Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3-69%
1.2 ms
4.1 ms
repro-querybug4Ignored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4-69%
471 µs
1,531.3 µs
repro-should-saturateIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate-60%
409.9 µs
1,019 µs
repro-silly-panicIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic-73%
556.8 µs
2,044.9 µs
repro-typechecking-scheduleIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule-63%
249.7 µs
667 µs
repro-unsoundIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-61%
250.4 ms
647.1 ms
repro-unsound-htutorialIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial-70%
594.8 µs
1,974.4 µs
repro-vec-unequalIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal-76%
567.5 µs
2,366.8 µs
resolutionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::resolution-73%
3.9 ms
14.6 ms
rw-analysisIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis-73%
38.6 ms
141.8 ms
schedule-demoIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo-79%
2.1 ms
10 ms
setIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::set-62%
2 ms
5.2 ms
set_sort_functionIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_function-80%
339 µs
1,716.6 µs
stratifiedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::stratified-76%
698.4 µs
2,915 µs
stringIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string-60%
356.3 µs
882.2 µs
string_quotesIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes-68%
283 µs
889.8 µs
subsumeIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume-66%
1.1 ms
3.3 ms
subsume-relationIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::subsume-relationN/A
N/A
2.8 ms
test-combinedIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-75%
905.4 µs
3,668.4 µs
test-combined-stepsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps-78%
2.7 ms
12.5 ms
towers-of-hanoiIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi-60%
3.4 ms
8.4 ms
tricky-type-checkingIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking-69%
12.5 ms
40.2 ms
type-constraints-testsIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests-50%
376.1 µs
751.1 µs
typecheckIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck-74%
5.8 ms
22.4 ms
unification-points-toIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to-79%
8.1 ms
39 ms
unifyIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unify-65%
794.5 µs
2,302.3 µs
unstable-fnIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn-78%
6.1 ms
27.7 ms
untilIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::until-75%
2.6 ms
10.1 ms
vecIgnored
benches/example_benchmarks.rs::benches::criterion_benchmark::vec-76%
825.1 µs
3,502.4 µs
Commits
Click on a commit to change the comparison rangeBase
backend-merge
215714e
-100%
Delete the old backend
9c96a92
11 days ago
by Alex-Fischman0%
Change core_relations::Value to Value everywhere
34578cd
11 days ago
by Alex-Fischman0%
Make PrimitiveLike auto-impl ExternalFunction so users only need one trait
d92cec3
11 days ago
by Alex-Fischman0%
Rename Primitive to PrimitiveWithId and move it to typechecking.rs
0bca7a1
11 days ago
by Alex-Fischman0%
Rename PrimitiveLike to Primitive
bc47d5e
11 days ago
by Alex-Fischman0%
Move Function to lib.rs, delete function folder
df41131
11 days ago
by Alex-Fischman0%
Add doc comment for IntoSort
c932b40
11 days ago
by Alex-Fischman0%
Remove unused helpers
c7875d8
11 days ago
by Alex-Fischman0%
Remove smallvec dependency
f7eab1b
11 days ago
by Alex-Fischman0%
Make the backend and functions private, move tests that need them into lib.rs
9e66c7f
11 days ago
by Alex-Fischman0%
SerializedNode::Function bugfix
8c8bc3e
10 days ago
by Alex-Fischman0%
Fix test_subsumed tests
57fcf41
10 days ago
by Alex-Fischman+6%
Cleanup: don't use &Value
a5409ff
9 days ago
by Alex-Fischman0%
Fix TODO in eval_expr
9aacb7c
9 days ago
by Alex-Fischman-1%
Add back RunReport
b4c514e
9 days ago
by Alex-Fischman0%
Rename to just Extractor
74621fd
9 days ago
by Alex-Fischman+1%
Do RunReport unions by reference instead of functionally
788ee96
9 days ago
by Alex-Fischman