Research audit: exact interior-carry criterion for compact controls (no new kappa) - #1219

Research audit: exact interior-carry criterion for compact controls (no new kappa)#1219

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

bbMisk:research/compact-guard-audit-seed71bbMisk/integer-mult-bounds:research/compact-guard-audit-seed71Copy head branch name to clipboard