Comparing
MilkBlock:codex/tableaction-remove-scratch
(bc1c0e0
) withmain
(c2d3154
)×22
- Improvement
- 6
- Untouched
- 32
- Skipped
- 190
Benchmarks
228 total
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs×22
868 ms39.6 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs×19
613.3 ms32.4 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs+48%
21.5 ms14.5 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs+42%
33 ms23.3 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs+15%
713.5 µs622.3 µs
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs+12%
467.2 µs416.3 µs
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs+4%
306.3 ms295.7 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs+2%
295.6 ms289.3 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs+2%
730.5 ms716.7 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
274.9 ms273.9 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
6.9 s6.9 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
77.9 ms77.7 ms
tests[taylor51]
benches/ci_benchmarking.rs0%
4.3 s4.2 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.7 s1.7 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
11 ms11 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
403.8 ms403.5 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.4 ms78.4 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
256.3 ms256.2 ms
tests[cykjson]
benches/ci_benchmarking.rs0%
531.5 ms531.4 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
tests[cykjson]
benches/ci_benchmarking.rs0%
366.2 ms366.2 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs0%
2.1 s2.1 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs0%
21.4 ms21.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
8.2 ms8.2 ms
tests[typeinfer]
benches/ci_benchmarking.rs0%
239.2 ms239.3 ms
Commits
Click on a commit to change the comparison rangeBase
main
c2d3154
×21
perf(rust_rule): share table actions across matches
3595b21
20 days ago
by MilkBlock+63.27%
Apply suggestions from code review
85c3668
13 days ago
by MilkBlock+2.35%
remove redundant arc
5503a80
13 days ago
by MilkBlock+0.12%
remove redundant ownership transfer
bc1c0e0
13 days ago
by MilkBlock