teryanarmen cab8e489b2 initializable final draft, ready for review

2022-06-01 17:38:28 -07:00

..

ERC20VotesRule.sh

…

Governor.sh

…

GovernorCountingSimple-counting.sh

…

sanity.sh

…

sanityGovernor.sh

…

sanityTokens.sh

…

verifyAccessControl.sh

…

verifyAll2.sh

…

verifyAll.sh

…

verifyERC20FlashMint.sh

…

verifyERC20Votes.sh

…

verifyERC20Wrapper.sh

…

verifyERC721Votes.sh

…

verifyERC1155.sh

…

verifyGovernor.sh

…

verifyTimelock.sh

…

WizardControlFirstPriority.sh

…

WizardFirstTry.sh

…