Add primitive body typecheck helpers
#881Comparing
saulshanabrook:codex/split-primitive-body-runtime-apis
(f8883c7
) withmain
(8c1c70b
)+28%
- Improvement
- 2
- Regression
- 1
- Untouched
- 22
- New
- 1
- Skipped
- 215
No successful run was found on main ( 36de434) during the generation of this report, so 8c1c70b was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.
Different runtime environments detected
Some benchmarks with significant performance changes were compared across different runtime environments, which may affect the accuracy of the results. Learn more about regression causes.Benchmarks
241 total
tests[python_array_optimize]
benches/ci_benchmarking.rs-7%
1.5 s1.6 s
tests[cykjson]
benches/ci_benchmarking.rs+62%
440.2 ms271.6 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs+38%
280.7 ms202.7 ms
tests[repro-herbie-vanilla]
benches/ci_benchmarking.rsN/A
N/A1.4 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs+5%
548.5 µs523.8 µs
tests[herbie]
benches/ci_benchmarking.rs+3%
168.3 ms163.2 ms
tests[typeinfer]
benches/ci_benchmarking.rs+3%
108.1 ms105.2 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs+1%
8 s7.9 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs0%
627.6 ms624.9 ms
tests[rectangle]
benches/ci_benchmarking.rs0%
12.1 s12.1 s
tests[factoring-multisets]
benches/ci_benchmarking.rs0%
74.3 ms74.2 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs0%
286.9 ms287.2 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs0%
16.3 ms16.3 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.6 s1.6 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
24.9 ms25 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs-1%
34.6 ms34.8 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs-1%
128.5 ms129.4 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs-1%
76.3 ms77 ms
tests[eggcc-2mm]
benches/ci_benchmarking.rs-2%
10 s10.1 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs-2%
1.5 s1.6 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs-2%
8.4 ms8.6 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs-3%
12.7 ms13.2 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs-3%
963.9 ms998.2 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs-4%
2.9 s3.1 s
tests[taylor51]
benches/ci_benchmarking.rs-4%
5.3 s5.5 s
Commits
Click on a commit to change the comparison rangeBase
main
8c1c70b
+27.81%
Merge branch 'main' into codex/split-primitive-body-runtime-apis
c2c197f
1 day ago
by saulshanabrook0%
Expose resolved expression evaluation for primitives
871caa2
1 day ago
by saulshanabrook+0.01%
Reject resolved expression output mismatches
f8883c7
1 day ago
by saulshanabrook