Audit #5270: exact counterexample to the physical-reference/controller binding - #5349

Audit #5270: exact counterexample to the physical-reference/controller binding#5349

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

ahrazzle:research/pr5270-reference-audit-20261023ahrazzle/integer-mult-bounds:research/pr5270-reference-audit-20261023Copy head branch name to clipboard