GitHub - Certora/ethGatheringBarcelona_worksop: Source code for Certora workshop at ETH Gathering in Barcelona

Certora / ethGatheringBarcelona_worksop Public

Source code for Certora workshop at ETH Gathering in Barcelona

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.devcontainer		.devcontainer
Mutations		Mutations
dependencies		dependencies
.gitignore		.gitignore
EnglishAuction.sol		EnglishAuction.sol
erc20.spec		erc20.spec
ethGathering.pdf		ethGathering.pdf
exampleSpec.spec		exampleSpec.spec
fullSpec.spec		fullSpec.spec
verifyMutations.sh		verifyMutations.sh
verifySpec.sh		verifySpec.sh