Add an exact κ-ceiling check for the exponent assembly (no new κ) - #183

Add an exact κ-ceiling check for the exponent assembly (no new κ)#183

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

romainhedouin:assembly-ceiling-reductionromainhedouin/integer-mult-bounds:assembly-ceiling-reductionCopy head branch name to clipboard