This repository was archived by the owner on Sep 27, 2023. It is now read-only.

Added docker support#12

Open

ozcodes wants to merge 7 commits intomasterfrom

Commits on Aug 4, 2022

Adding a remote container of docker with certoraRun app
ozcodes
committed

Commits on Aug 8, 2022

Adding a remote container of docker with certoraRun app
ozcodes
committed

Commits on Aug 16, 2022

Update devcontainer.json
ozcodes
authored

Commits on Aug 17, 2022

solc version bump
mdgeorge4153
committed

Commits on Aug 25, 2022