egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
[Draft] Fresh sugar via skolemization
#741
Comparing
oflatt-fresh-ids
(
98c9a80
) with
main
(
d6fa897
)
CodSpeed Performance Gauge
0%
Untouched
20
Skipped
190
Benchmarks
Skipped (190)
Passed
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
2.4 s
2.4 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
8.6 s
8.6 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
+1%
317.5 ms
315.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
96.5 ms
96 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
11 ms
10.9 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.1 s
8.1 s
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[repro-665-set-union]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
731.7 ms
730.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
309.4 ms
309.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
489 ms
488.9 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
277.8 ms
277.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
100 ms
100 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
272.1 ms
272.2 ms
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[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[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.5 s
1.5 s
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[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
8.8 ms
8.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
298.4 ms
300.6 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.6 s
1.6 s
Commits
Click on a commit to change the comparison range
Base
main
d6fa897
+0.13%
desugaring can have type information available
2cb14e8
4 days ago
by oflatt
-0.05%
some cleanup
f248532
3 days ago
by oflatt
+0.17%
small cleanup
d85e4f6
3 days ago
by oflatt
-0.07%
touch up docs
06e5fd2
3 days ago
by oflatt
+0.03%
fmt
63f3a36
3 days ago
by oflatt
-0.13%
new fix
66444f7
3 days ago
by oflatt
-0.02%
refactor
887333d
3 days ago
by oflatt
0%
respond to feedback
98c9a80
13 hours ago
by oflatt
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs