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

GitHub Actions run

4 hours ago 0f1d601 yihozhang-less-preprocessing pull_request

Compare

Base
Search a run
Head
Avoiding create semi-naive rule instantiations when unnecessary.
#854
yihozhang-less-preprocessing
4 hours ago
CPU SimulationWall Time
Compare
Suggested base runs: • •
236 total
tests[python_array_optimize]
benches/ci_benchmarking.rs
2.9 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
545.1 µs
tests[taylor51]
benches/ci_benchmarking.rs
5.4 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
180.2 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
294.8 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
17.8 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.9 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
20.6 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
1.7 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
76.6 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
189.7 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
31.9 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
1.7 s
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
8.7 s
tests[typeinfer]
benches/ci_benchmarking.rs
125.5 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
292.6 ms
tests[cykjson]
benches/ci_benchmarking.rs
370.6 ms
tests[rectangle]
benches/ci_benchmarking.rs
11.6 s
tests[cykjson]
benches/ci_benchmarking.rs
512 ms
tests[luminal-llama]
benches/ci_benchmarking.rs
573.3 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
343.4 µs
tests[herbie-tutorial]
benches/ci_benchmarking.rs
8.4 ms
tests[herbie]
benches/ci_benchmarking.rs
193.5 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
22 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs