-
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 |
---|---|---|
.. | ||
DeploymentSummary.sol | ||
DeploymentSummaryCode.sol | ||
DeploymentSummaryFaultProofs.sol | ||
DeploymentSummaryFaultProofsCode.sol | ||
KontrolUtils.sol |