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
..
deploy-config Loading commit data...
deployments Loading commit data...
invariant-docs Loading commit data...
lib Loading commit data...
periphery-deploy-config Loading commit data...
scripts Loading commit data...
snapshots Loading commit data...
src Loading commit data...
test Loading commit data...
.eslintignore Loading commit data...
.eslintrc.js Loading commit data...
.gas-snapshot Loading commit data...
.gitignore Loading commit data...
.npmignore Loading commit data...
CHANGELOG.md Loading commit data...
CONTRIBUTING.md Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
STYLE_GUIDE.md Loading commit data...
foundry.toml Loading commit data...
package.json Loading commit data...
semver-lock.json Loading commit data...
slither-report.json Loading commit data...
slither.config.json Loading commit data...
tsconfig.build.json Loading commit data...
tsconfig.json Loading commit data...