Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

Add primitive body typecheck helpers

#881Merged
Comparing
saulshanabrook:codex/split-primitive-body-runtime-apis
(
a80b235
) with
main
(
57108da
)
CodSpeed Performance Gauge
0%
Untouched
26
Skipped
216

Benchmarks

242 total
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+2%
207.3 ms202.8 ms
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
275.7 ms270.9 ms
tests[repro-herbie-vanilla]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.4 s1.4 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
287.5 ms286.8 ms
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
12.2 s12.2 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
24.9 ms24.9 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
75.4 ms75.4 ms
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
163.8 ms163.7 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
16.2 ms16.2 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
77 ms77.1 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
35 ms35 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
565.4 ms565.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.6 ms8.6 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s1.6 s
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
13.2 ms13.2 ms
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
5.5 s5.5 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
551.7 µs551.9 µs
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
105.3 ms105.3 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
129.6 ms129.6 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.7 s1.7 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
3 s3 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8 s8 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1 s1 s
tests[eggcc-2mm]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
10.1 s10.1 s

Commits

Click on a commit to change the comparison range
Base
main
57108da
+27.42%
Address primitive body API review
28d270c
2 months ago
by saulshanabrook
+0.01%
Narrow primitive body eval support
1671a2e
2 months ago
by saulshanabrook
0%
Fix primitive body eval nits
cf4fe23
2 months ago
by saulshanabrook
0%
Reject globals in explicit expression typechecking
efee229
2 months ago
by saulshanabrook
+0.03%
Document resolved eval capability invariant
a0ea0ad
2 months ago
by saulshanabrook
-0.02%
Leave global handling to explicit evaluators
081498a
2 months ago
by saulshanabrook
0%
Revert "Leave global handling to explicit evaluators"
142e07a
2 months ago
by saulshanabrook
-27.29%
Merge remote-tracking branch 'upstream/main' into codex/split-primitive-body-runtime-apis
6ca134b
1 month ago
by saulshanabrook
+0.02%
Return errors for direct unstable-fn preparation
a80b235
1 month ago
by saulshanabrook
© 2026 CodSpeed Technology
Home Terms Privacy Docs