-
smartcontracts authored
Modifies the MIPS contracts to enforce that state.exited is either exactly zero or one and cannot have any other value.
4348c663
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
DeploymentSummary.sol | ||
DeploymentSummaryCode.sol | ||
DeploymentSummaryFaultProofs.sol | ||
DeploymentSummaryFaultProofsCode.sol | ||
KontrolUtils.sol |