Rip out backend proofs (unused) in favor of the new proof encoding
#837Comparing
oflatt-rip-out-backend-proofs
(95edd48
) withmain
(21bd8c6
)0%
- Untouched
- 38
- Skipped
- 190
Benchmarks
228 total
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs+2%
626 ms*612.9 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs+2%
11.2 ms11.1 ms
tests[typeinfer]
benches/ci_benchmarking.rs+2%
276 ms*271.8 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs+2%
23.4 ms*23.1 ms
tests[herbie]
benches/ci_benchmarking.rs+1%
253.7 ms250.5 ms
tests[cykjson]
benches/ci_benchmarking.rs+1%
368.6 ms*364.3 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs+1%
7 s6.9 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs+1%
38.8 ms38.5 ms
tests[herbie]
benches/ci_benchmarking.rs+1%
288.2 ms285.7 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs+1%
8.3 ms8.2 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs+1%
303.7 ms*301.5 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs+1%
9.2 s*9.1 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs+1%
21.5 ms21.4 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs+1%
1.6 s1.6 s
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs+1%
872.7 ms868.1 ms
tests[taylor51]
benches/ci_benchmarking.rs+1%
5.3 s5.3 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs+1%
733.4 ms729.7 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
37.3 ms37.1 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.4 ms*78.1 ms
tests[typeinfer]
benches/ci_benchmarking.rs0%
240.2 ms239.2 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs0%
78.8 ms78.5 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
257.2 ms256.5 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.7 s1.7 s
tests[python_array_optimize]
benches/ci_benchmarking.rs0%
5.6 s5.6 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
Commits
Click on a commit to change the comparison rangeBase
main
21bd8c6
+0.45%
finish up
93f3278
14 hours ago
by oflatt-0.11%
nits
95edd48
14 hours ago
by oflatt