Independent verification: PR3605's staged 644/660 words pass an exact audit against the PR3133 control (no κ claim) - #3687

Independent verification: PR3605's staged 644/660 words pass an exact audit against the PR3133 control (no κ claim)#3687

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

thakrarsagar:loop44d3/i1-staged644-auditthakrarsagar/integer-mult-bounds:loop44d3/i1-staged644-auditCopy head branch name to clipboard