• smartcontracts's avatar
    fix: correctly verify mips instruction encoding (#237) · b8921436
    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 Loading commit data...
DeploymentSummaryCode.sol Loading commit data...
DeploymentSummaryFaultProofs.sol Loading commit data...
DeploymentSummaryFaultProofsCode.sol Loading commit data...
KontrolUtils.sol Loading commit data...