Construct rounded C0/C2 calls with all-width precision contracts (no new kappa) - #5485

Construct rounded C0/C2 calls with all-width precision contracts (no new kappa)#5485

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JoyboyBrian:brian/r15-native-rounded-butterfly-contractJoyboyBrian/integer-mult-bounds:brian/r15-native-rounded-butterfly-contractCopy head branch name to clipboard