-
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 |