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

Add `name` to `rewrite` and `birewrite` commands

#871Merged
Comparing
kaeun97:kaeun97/rewrite-name
(
a98d965
) with
main
(
23dd731
)
CodSpeed Performance Gauge
0%
Untouched
50
Skipped
190

Benchmarks

240 total
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
81.6 ms78 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-4%
28.9 ms30.2 ms
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+4%
11.3 s10.9 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
9.2 s8.9 s
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
1 s1 s
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
365.7 ms361.8 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
9.6 ms9.5 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1.7 s1.7 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
135.8 ms136.8 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
283.3 ms285.3 ms
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
67.4 ms67.8 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
2.5 s2.5 s
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
659.1 ms655.2 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
349.2 µs351.1 µs
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
193.8 ms194.8 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
252.5 ms253.6 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
10.6 ms10.6 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
17.8 ms17.8 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
24.4 ms24.5 ms
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
3.3 s3.3 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
15.9 ms15.9 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
959.3 ms957.6 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
130.6 ms130.8 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.2 ms8.2 ms
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
110.1 ms110.3 ms

Commits

Click on a commit to change the comparison range
Base
main
23dd731
+0.08%
feat: add test
a98d965
3 months ago
by kaeun97
© 2026 CodSpeed Technology
Home Terms Privacy Docs