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

GitHub Actions run

1 day ago 033a70d yihozhang-decomp pull_request

Compare

Base
Search a run

Head
Tree decomposition
#785
yihozhang-decomp
1 day ago
Wall TimeCPU Simulation

Compare
Suggested base runs:
228 total
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
302.9 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
881.5 ms
tests[herbie]
benches/ci_benchmarking.rs
234.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
8.8 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
430.1 µs
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
293.6 ms
tests[cykjson]
benches/ci_benchmarking.rs
516.9 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
41 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
9.2 s
tests[taylor51]
benches/ci_benchmarking.rs
5.4 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
304.6 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
85.3 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
5.7 s
tests[cykjson]
benches/ci_benchmarking.rs
375.9 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
7.4 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
693.6 µs
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.6 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs
11.7 ms
tests[herbie]
benches/ci_benchmarking.rs
271.8 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
617.7 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
18.6 ms
tests[typeinfer]
benches/ci_benchmarking.rs
239.4 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
401.9 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs