-
smartcontracts authored
Updates MIPSInstructions so that it correctly reverts on calls to add, addi, and sub that overflow/underflow. Additionally includes tests that demonstrates that the unchecked versions of the same opcodes allow for overflow/underflow.
5221af89
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
interfaces | ||
utils | ||
L1CrossDomainMessenger.k.sol | ||
L1ERC721Bridge.k.sol | ||
L1StandardBridge.k.sol | ||
OptimismPortal.k.sol | ||
OptimismPortal2.k.sol |