Skip to content

N
nebula
Switch branch/tag
History Find file
  • Juan C's avatar
    Add Kontrol proof `prove_relayMessage_paused` (#9156) · 34592a1e
    Juan C authored 
    * `KontrolDeployment`: deploy `L1CrossDomainMessenger`

* KontrolInterfaces: add `IL1CrossDomainMessenger`

* Add deployment summary tests for `L1CrossDomainMessenger`

* Add `prove_relayMessage_paused`

* `run-kontrol.sh`: add `prove_relayMessage_paused`

* `run-kontrol.sh`: correct help message to install right kontrol version

* Bump Kontrol version from `0.1.121` to `0.1.127`

* `forge fmt`

* Update `Kontrol-Deploy.json`

* `README.md`: Add `L1CrossDomainMessenger.k.sol` documentation

* Fix typos

* Make autogenerated address names start with lowercase
    34592a1e
Name
Last commit
 Last update
..
DelayedVetoable.t.sol Loading commit data...
L1CrossDomainMessenger.t.sol Loading commit data...
L1ERC721Bridge.t.sol Loading commit data...
L1StandardBridge.t.sol Loading commit data...
L2OutputOracle.t.sol Loading commit data...
OptimismPortal.t.sol Loading commit data...
ProtocolVersions.t.sol Loading commit data...
ResourceMetering.t.sol Loading commit data...
SuperchainConfig.t.sol Loading commit data...
SystemConfig.t.sol Loading commit data...