• Juan C's avatar
    Add Kontrol proofs for `L1StandardBridgeKontrol` and `L1ERC721BridgeKontrol` (#9183) · 640b4cb7
    Juan C authored
    * OptimismPortal.k.sol: directly feed `WithdrawalTransaction` argument
    
    * KontrolInterfaces: add interfaces for bridges
    
    * KontrolDeployment: add deployment for L1 bridges
    
    * run-kontrol.sh: add bridge proofs
    
    * Update summaries
    
    * Add `L1StandardBridge` proofs
    
    * Add `L1ERC721Bridge` proof
    
    * KontrolDeployment: remove typo import
    
    * `kontrol-tests`: add remaining files to `check-changed`
    
    * Fix spelling typo
    
    * Document current `vm.mockCall` workaround
    
    * Document symbolic bytes assumptions
    
    * Supress upper case legacy naming
    
    * Add summarization tests for `L1ERC721Bridge`
    
    * Add summarization tests for `L1StandardBridge`
    
    * run-kontrol.sh: set `workers` to `min(max_workers, #test_list)`
    
    * README.md: add bridge proofs
    
    * make `xDomainMessageSender` part of `IL1CrossDomainMessenger`
    
    * Missed instances of `ICrossDomainMessenger`
    
    * Document `vm.prank()` issue
    
    * Improve assumption documentation
    
    * run-kontrol.sh: improve style
    
    * `kontrol-tests`: add remaining files to `check-changed`
    
    * run-kontrol.sh: document `max_workers=7`
    640b4cb7
Name
Last commit
Last update
.changeset Loading commit data...
.circleci Loading commit data...
.github Loading commit data...
.husky Loading commit data...
.vscode Loading commit data...
bedrock-devnet Loading commit data...
cannon Loading commit data...
docs Loading commit data...
endpoint-monitor Loading commit data...
indexer Loading commit data...
op-batcher Loading commit data...
op-bindings Loading commit data...
op-bindings-e2e Loading commit data...
op-bootnode Loading commit data...
op-chain-ops Loading commit data...
op-challenger Loading commit data...
op-conductor Loading commit data...
op-e2e Loading commit data...
op-heartbeat Loading commit data...
op-node Loading commit data...
op-preimage Loading commit data...
op-program Loading commit data...
op-proposer Loading commit data...
op-service Loading commit data...
op-ufm Loading commit data...
op-wheel Loading commit data...
ops Loading commit data...
ops-bedrock Loading commit data...
packages Loading commit data...
proxyd Loading commit data...
specs Loading commit data...
ufm-test-services Loading commit data...
.coderabbit.yml Loading commit data...
.dockerignore Loading commit data...
.editorconfig Loading commit data...
.envrc.example Loading commit data...
.eslintrc.js Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitmodules Loading commit data...
.npmrc Loading commit data...
.nvmrc Loading commit data...
.pnpmfile.cjs Loading commit data...
.prettierrc.js Loading commit data...
.semgrepignore Loading commit data...
.shellcheckrc Loading commit data...
.snyk Loading commit data...
CITATION.cff Loading commit data...
CONTRIBUTING.md Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
SECURITY.md Loading commit data...
cloudbuild.yaml Loading commit data...
codecov.yml Loading commit data...
docker-bake.hcl Loading commit data...
go.mod Loading commit data...
go.sum Loading commit data...
nx.json Loading commit data...
package.json Loading commit data...
pnpm-lock.yaml Loading commit data...
pnpm-workspace.yaml Loading commit data...
tsconfig.json Loading commit data...
versions.json Loading commit data...