-
smartcontracts authored
A lot of instructions in the MIPS spec require that certain fields be set to zero. Most of the time this isn't actually a problem but this can cause side-effects in a few cases. A buggy compiler could create an issue if it ever spit out non-compliant instructions. This PR implements those zero value enforcement checks for all instructions that we implement.
b8921436
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
interfaces | ||
utils | ||
L1CrossDomainMessenger.k.sol | ||
L1ERC721Bridge.k.sol | ||
L1StandardBridge.k.sol | ||
OptimismPortal.k.sol | ||
OptimismPortal2.k.sol |