Skip to content
This repository was archived by the owner on Oct 18, 2022. It is now read-only.

Rewrite the runtime bytecode and not just the constructor bytecode#17

Open
shellygr wants to merge 2 commits into
ethereum-optimism:develop-0.7from
Certora:develop-0.7
Open

Rewrite the runtime bytecode and not just the constructor bytecode#17
shellygr wants to merge 2 commits into
ethereum-optimism:develop-0.7from
Certora:develop-0.7

Commits

Commits on Mar 12, 2021