Certify a maximal two-digit compact guard with 64 fewer repairs (no κ) - #6445

Certify a maximal two-digit compact guard with 64 fewer repairs (no κ)#6445

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w8-1102d-pendingpetalas/integer-mult-bounds:research/w8-1102d-pendingCopy head branch name to clipboard