mirror of openzeppelin-contracts
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
openzeppelin-contracts/certora/scripts/old
teryanarmen 962a5023e6 remove commented code, fix some old scripts 3 years ago
..
ERC20VotesRule.sh temporarily moved old projects into old directory 3 years ago
Governor.sh temporarily moved old projects into old directory 3 years ago
GovernorCountingSimple-counting.sh remove commented code, fix some old scripts 3 years ago
WizardControlFirstPriority.sh temporarily moved old projects into old directory 3 years ago
WizardFirstTry.sh temporarily moved old projects into old directory 3 years ago
sanity.sh temporarily moved old projects into old directory 3 years ago
sanityGovernor.sh temporarily moved old projects into old directory 3 years ago
sanityTokens.sh temporarily moved old projects into old directory 3 years ago
verifyAccessControl.sh temporarily moved old projects into old directory 3 years ago
verifyAll.sh initializable final draft, ready for review 3 years ago
verifyAll2.sh temporarily moved old projects into old directory 3 years ago
verifyERC20FlashMint.sh temporarily moved old projects into old directory 3 years ago
verifyERC20Votes.sh temporarily moved old projects into old directory 3 years ago
verifyERC20Wrapper.sh temporarily moved old projects into old directory 3 years ago
verifyERC721Votes.sh temporarily moved old projects into old directory 3 years ago
verifyERC1155.sh commented out failing rules and added solc version to ERC1155 3 years ago
verifyGovernor.sh temporarily moved old projects into old directory 3 years ago
verifyTimelock.sh temporarily moved old projects into old directory 3 years ago