Skip to content

Bind the QQ16 F0 rounding witness to physical native execution - #3067

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/parallel10-20261016T212207Z-06
Oct 16, 2026
Merged

Bind the QQ16 F0 rounding witness to physical native execution#3067
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/parallel10-20261016T212207Z-06

Bind concrete QQ16 F0 rounding to physical native execution

e1e28b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 21s