egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Proof checker
#764
Comparing
oflatt-proofs-7
(
405420d
) with
ezr-oflatt-refactor-proofs-4
(
9f11c5f
)
CodSpeed Performance Gauge
-1%
Untouched
20
Skipped
192
Benchmarks
Skipped (192)
Passed
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+2%
11.8 ms
11.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
316.1 ms
312.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
8.4 s
8.3 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
311.9 ms
309.8 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
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.6 s
8.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
719.9 ms
718.8 ms
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[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
280.6 ms
280.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
487.3 ms
487.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.3 s
8.3 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
318.6 ms
319.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
276.9 ms
277.6 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
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
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
1.8 s
1.8 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
9.3 ms
9.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-3%
1.7 s
1.7 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
102.8 ms
107.1 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-5%
102.6 ms
108 ms
Commits
Click on a commit to change the comparison range
Base
ezr-oflatt-refactor-proofs-4
9f11c5f
-0.88%
fix build
bb47c6d
15 hours ago
by oflatt
+0.22%
lots of fixes with resolved commands
7414111
6 hours ago
by oflatt
-4.46%
remove proof type checker
3d18b39
5 hours ago
by oflatt
+4.49%
debug another time
405420d
5 hours ago
by oflatt
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs