Moudy
d064f87ad7
refactor: lift criterion html_reports feature to workspace declaration
2026-05-21 16:44:41 +02:00
Moudy
a9bf3fbfe7
feat(cycle_bench): add criterion verify bench for G_verify
2026-05-21 16:44:40 +02:00
Moudy
fb89e7549b
refactor(cycle_bench): split into lib + binary, drop hand-rolled verify timing
2026-05-21 16:44:40 +02:00
Moudy
8960df04d6
fix: fmt
2026-05-18 17:17:58 +02:00
Moudy
87170b93b0
refactor(cycle_bench): collapse 9 inline run_case calls into Case struct + iterator
...
- Introduce `struct Case` holding pre-serialized InstructionData,
with new<I: Serialize>(...) -> Result<Self> constructor and
fn run(self, prove, exec_iters) -> Result<BenchResult>.
- Replace 9 inline `run_case(...)?` push calls in main() with
[Case::new(...)?, ...].into_iter().map(|c| c.run(prove, exec_iters))
.collect::<Result<Vec<_>>>()?.
- Drop now-unused `needless_pass_by_value` and `too_many_arguments`
from the crate-level #![expect] block.
2026-05-18 16:48:23 +02:00
Moudy
b84a3e8b44
docs(cycle_bench): document Stats fields and use Display instead of ::format()
...
- Add /// doc comments on Stats {n, best_ms, mean_ms, stdev_ms}
clarifying units, semantics, and Bessel's correction.
- Replace pub fn format(&self) -> String with impl fmt::Display for
Stats, idiomatic and lets println! use {} directly.
- Update three call sites accordingly.
2026-05-18 16:37:11 +02:00
Moudy
28db42315b
chore(cycle_bench): tighten lint discipline (allow → expect, fix issues in code)
...
- Switch crate-level #![allow] to #![expect] in main.rs and prune
17 entries the compiler reports as unfulfilled or workspace-allowed.
- Fix the underlying issues rather than allow: source ordering
(mods/uses regrouped), doc_markdown (identifiers backticked),
redundant_type_annotations, map_unwrap_or, unnecessary_wraps.
- Extract feature-gated mod ppe_impl into its own file
tools/cycle_bench/src/ppe/ppe_impl.rs so the mod declaration can
precede the public structs per arbitrary_source_item_ordering.
Net: 35 → 12 expects in main.rs, all load-bearing.
2026-05-18 15:49:24 +02:00
Moudy
9efc26495b
refactor: use canonical program IDs from nssa::program_methods
2026-05-15 12:19:49 +02:00
Moudy
e74fe36866
Update README.md
2026-05-15 00:24:56 +02:00
Moudy
2870bc364b
fix: allow non_ascii_literal and redundant_type_annotations clippy lints
2026-05-14 18:58:53 +02:00
Moudy
5f30e382d1
fix: satisfy nightly rustfmt and pedantic clippy in cycle_bench
2026-05-14 18:43:26 +02:00
Moudy
05f41f81e9
feat: add cycle_bench tool for executor, prove, PPE, and verify cycle measurements
2026-05-14 18:14:37 +02:00
