GitHub Actions run on branch oflatt-rip-out-backend-proofs - egraphs-good/egglog

GitHub Actions run

Wall TimeCPU Simulation

14 hours ago 95edd48 oflatt-rip-out-backend-proofs pull_request

Compare

Base

Search a run

Head

Rip out backend proofs (unused) in favor of the new proof encoding

#837

oflatt-rip-out-backend-proofs

14 hours ago

Wall TimeCPU Simulation

Compare

Suggested base runs: •

228 total

tests[math-microbenchmark]

benches/ci_benchmarking.rs

9.1 s

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

37.1 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

301.5 ms

tests[cykjson]

benches/ci_benchmarking.rs

531.4 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

467.7 µs

tests[cykjson]

benches/ci_benchmarking.rs

364.3 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

5.6 s

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

288.5 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.7 s

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

78.1 ms

tests[extract-vec-bench]

benches/ci_benchmarking.rs

78.5 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s

tests[herbie]

benches/ci_benchmarking.rs

285.7 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

11.1 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

21.4 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

6.9 s

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

713.5 µs

tests[repro-665-set-union]

benches/ci_benchmarking.rs

1 s

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

403.7 ms

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

612.9 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

21.4 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

729.7 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

23.1 ms

Home Terms Privacy Docs