egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Add `name` to `rewrite` and `birewrite` commands
#871
Merged
Comparing
kaeun97:kaeun97/rewrite-name
(
a98d965
) with
main
(
23dd731
)
CodSpeed Performance Gauge
0%
Untouched
50
Skipped
190
Benchmarks
Mode
CPU Simulation
Wall Time
Memory
Status
Untouched
Skipped
240 total
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+5%
81.6 ms
78 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-4%
28.9 ms
30.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[rectangle]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+4%
11.3 s
10.9 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+3%
9.2 s
8.9 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
1 s
1 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
365.7 ms
361.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
+1%
9.6 ms
9.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
1.7 s
1.7 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
135.8 ms
136.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
283.3 ms
285.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[factoring-multisets]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
67.4 ms
67.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
2.5 s
2.5 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[luminal-llama]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
659.1 ms
655.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
-1%
349.2 µs
351.1 µs
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
193.8 ms
194.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs
CodSpeed Performance Gauge
0%
252.5 ms
253.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
10.6 ms
10.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
17.8 ms
17.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
24.4 ms
24.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[hardboiled_conv1d_128]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
3.3 s
3.3 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[proof_testing_unify]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
15.9 ms
15.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
959.3 ms
957.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
130.6 ms
130.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.2 ms
8.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
110.1 ms
110.3 ms
1
2
3
4
5
...
10
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