Skip to content

fix(stark): review follow-ups for OOD pruning (docs, saturating_sub, hard assert) - #833

Merged
MauroToscano merged 3 commits into
feat/logup-acc-current-rowfrom
fix/logup-ood-pruning-review-nits
Jul 16, 2026
Merged

fix(stark): review follow-ups for OOD pruning (docs, saturating_sub, hard assert)#833
MauroToscano merged 3 commits into
feat/logup-acc-current-rowfrom
fix/logup-ood-pruning-review-nits

fix(stark): keep debug-only power-count check in build_pruned_trace_t…

a7ea155
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar