-
mbaxter authored
* cannon: Extract step helpers * cannon: Wrap step helper logic in unchecked * cannon: Use consistent var name between solidity and go (fun) * cannon: Dedupe `opcode` and `fun` calculations * cannon: Bump MIPS.sol version * cannon: Run semver-lock, snapshots * cannon: Address slither warnings * cannon: Make sure all lib functions are unchecked
cce7f9c3
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| deployment | ||
| proofs | ||
| scripts | ||
| README.md | ||
| pausability-lemmas.md |