Michael D. George 99864fd2da Merge branch 'OpenZeppelin:master' into certora/erc20

2022-03-01 14:23:25 -05:00

..

Governor.sh

Add Certora's Governance verification rules (#2997)

2021-12-27 19:11:59 -03:00

GovernorCountingSimple-counting.sh

Add Certora's Governance verification rules (#2997)

2021-12-27 19:11:59 -03:00

sanity.sh

Add Certora's Governance verification rules (#2997)

2021-12-27 19:11:59 -03:00

sanityGovernor.sh

made scripts executable

2021-12-17 09:30:30 -05:00

sanityTokens.sh

sanity passes

2021-12-17 09:43:47 -05:00

verifyAll.sh

Add Certora's Governance verification rules (#2997)

2021-12-27 19:11:59 -03:00

verifyGovernor.sh

made scripts executable

2021-12-17 09:30:30 -05:00

WizardControlFirstPriority.sh

Add Certora's Governance verification rules (#2997)

2021-12-27 19:11:59 -03:00

WizardFirstTry.sh

Add Certora's Governance verification rules (#2997)

2021-12-27 19:11:59 -03:00