Comparing
saulshanabrook:multiset-changes
(625f24d
) withmain
(afd5c07
)0%
- Untouched
- 28
- Skipped
- 190
Benchmarks
218 total
tests[cykjson]
benches/ci_benchmarking.rs+1%
370.1 ms365.1 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs+1%
11 ms11 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs+1%
21.4 ms21.3 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs+1%
9.2 s9.1 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
37.8 ms37.6 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
7 s6.9 s
tests[herbie]
benches/ci_benchmarking.rs0%
253.9 ms253.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs0%
239.8 ms239.2 ms
tests[herbie]
benches/ci_benchmarking.rs0%
289.4 ms288.7 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.3 ms78.1 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
269.9 ms269.5 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
36.5 ms36.5 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
5.6 s5.6 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
2 s2 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs0%
733.1 ms732.3 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs0%
20.5 ms20.4 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
253 ms252.9 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.8 ms78.8 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
1.9 s1.9 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.6 s1.6 s
tests[taylor51]
benches/ci_benchmarking.rs0%
4.2 s4.2 s
tests[taylor51]
benches/ci_benchmarking.rs0%
5.3 s5.3 s
tests[cykjson]
benches/ci_benchmarking.rs0%
531.1 ms531.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
8.3 ms8.3 ms
Commits
Click on a commit to change the comparison rangeBase
main
afd5c07
+8.11%
Fix tests
55d7d16
29 days ago
by saulshanabrook+0.05%
Try removing set no default
d319866
29 days ago
by saulshanabrook-0.12%
update snapshots
336a8ed
29 days ago
by saulshanabrook+0.01%
fix reserved primitives
544a8ac
28 days ago
by saulshanabrook-0.01%
normalize use of is_eq_container_sort
bd57829
25 days ago
by saulshanabrook-0.03%
Check abs
217f469
25 days ago
by saulshanabrook-0.01%
Rename fold to reduce
fc02e24
25 days ago
by saulshanabrook+0.02%
dont panic on int out of bound for multiset-single
49e9072
25 days ago
by saulshanabrook+0.01%
Remove public backend and only expose function traversal
d2dee31
24 days ago
by saulshanabrook-0.01%
Make functions private
66b2778
24 days ago
by saulshanabrook-7.92%
Change `function_for_each` to take a function name instead of a function
625f24d
21 days ago
by saulshanabrook