Audit #4633: full replay, native contract failures and verifier false positives - #4636

Audit #4633: full replay, native contract failures and verifier false positives#4636

Mister-Meeseeks merged 5 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

1337isnot1337:audit/pr4633-quotient-contract-202610221337isnot1337/integer-mult-bounds:audit/pr4633-quotient-contract-20261022Copy head branch name to clipboard