egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Warn when globals lack the `$` prefix
#723
Closed
Comparing
copilot/sub-pr-722
(
96c34ff
) with
oflatt-global-prefix
(
b030d6f
)
CodSpeed Performance Gauge
+10%
Improvements
1
Untouched
19
Skipped
190
Benchmarks
Skipped (190)
Improved
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+10%
1.8 s
1.6 s
Passed
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
731.5 ms
717.3 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
317.7 ms
313.4 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
311.7 ms
309.2 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
96.9 ms
96.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
278.6 ms
277.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s
1.5 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
10.8 ms
10.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.2 s
8.2 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.5 s
8.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.4 s
8.4 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.7 ms
8.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
100.1 ms
100.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.5 s
2.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
488.9 ms
489.1 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%
1 s
1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
6.8 s
6.8 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
271.2 ms
271.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
298.2 ms
299 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
2.4 s
2.4 s
Commits
Click on a commit to change the comparison range
Base
oflatt-global-prefix
b030d6f
+10.24%
Add warnings for unbound $ variables in patterns and let bindings in actions Co-authored-by: oflatt <8523445+oflatt@users.noreply.github.com>
96c34ff
2 days ago
by Copilot
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs