egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
GitHub Actions run
Wall Time
Uses the
Wall Time instrument
to collect wall time performance metrics.
CPU Simulation
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
1 day ago
6535f4c
oflatt-proofs-encoding
pull_request
Compare
Base
Search a run
Head
Term encoding of egglog, which could make proofs easier
#765
oflatt-proofs-encoding
1 day ago
Wall Time
CPU Simulation
Compare
Suggested base runs:
Pull Request Base
•
Parent Commit
Skipped (190)
Benchmarks
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
6.1 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
7 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
9.8 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[math-microbenchmark]
benches/ci_benchmarking.rs
10 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[python_array_optimize]
benches/ci_benchmarking.rs
8.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[taylor51]
benches/ci_benchmarking.rs
6.6 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.4 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
1 s
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
97.9 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
339.8 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
11.7 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
318.5 ms
Uses the
Wall Time instrument
to collect wall time performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
314.2 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.5 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[cykjson]
benches/ci_benchmarking.rs
489.4 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[repro-665-set-union]
benches/ci_benchmarking.rs
731.6 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie-tutorial]
benches/ci_benchmarking.rs
9.3 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[herbie]
benches/ci_benchmarking.rs
292.8 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[typeinfer]
benches/ci_benchmarking.rs
311.5 ms
Uses the
CPU Simulation instrument
to collect CPU performance metrics.
tests[extract-vec-bench]
benches/ci_benchmarking.rs
98.1 ms
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs