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.

Michael D. George 915ca181ba Add Certora's Governance verification rules (#2997) ... Co-authored-by: Shelly Grossman <shelly@certora.com> Co-authored-by: Aleksander Kryukov <58052996+RedLikeRosesss@users.noreply.github.com> Co-authored-by: Michael M <91594326+MichaelMorami@users.noreply.github.com> Co-authored-by: Aleksander Kryukov <firealexkryukov@gmail.com>		3 years ago
..
ERC20VotesHarness.sol	Add Certora's Governance verification rules (#2997)	3 years ago
WizardControlFirstPriority.sol	Add Certora's Governance verification rules (#2997)	3 years ago
WizardFirstTry.sol	Add Certora's Governance verification rules (#2997)	3 years ago