egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Term encoding of egglog, which could make proofs easier
#765
Comparing
oflatt-proofs-encoding
(
418b390
) with
main
(
59ae7f1
)
CodSpeed Performance Gauge
-15%
Regressions
7
Untouched
15
Skipped
190
Benchmarks
Skipped (190)
Failed
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
Regression
CodSpeed Performance Gauge
-14%
8.4 s
9.8 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
Regression
CodSpeed Performance Gauge
-15%
8.4 s
10 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
Regression
CodSpeed Performance Gauge
-9%
309.5 ms
341.1 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
Regression
CodSpeed Performance Gauge
-5%
300.8 ms
316.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
Regression
CodSpeed Performance Gauge
-6%
10.9 ms
11.7 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
Regression
CodSpeed Performance Gauge
-10%
277.7 ms
310.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
Regression
CodSpeed Performance Gauge
-7%
273.4 ms
292.6 ms
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.1 ms
715.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
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.7 s
1.7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
489.6 ms
489 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
97.9 ms
97.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
316.9 ms
317 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[stresstest_large_expr]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
0%
1.6 s
1.6 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
CPU Simulation instrument
to collect CPU performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
6.5 s
6.6 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-1%
97.2 ms
98.6 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-2%
8.3 s
8.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-3%
6.8 s
7 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
5.8 s
6.1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
CodSpeed Performance Gauge
-4%
8.9 ms
9.3 ms
Commits
Click on a commit to change the comparison range
Base
main
59ae7f1
-15.8%
fixes
3f5ceef
1 day ago
by oflatt
+0.05%
small fixes
6535f4c
1 day ago
by oflatt
-0.07%
another fix
3553a78
1 day ago
by oflatt
+0.54%
some tests failing due to weird merge fns
e4d47c7
1 day ago
by oflatt
-0.82%
not sure what's happening with database size
07957e5
1 day ago
by oflatt
+0.42%
congr rule
cd69be0
1 day ago
by oflatt
+0.19%
correct direction on union
418b390
1 day ago
by oflatt
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs