Nick Armstrong b2b72e7783 Merge branch 'certora/erc20' of github.com:Certora/openzeppelin-contracts into remotes/origin/certora/erc20

2022-03-31 14:40:36 -07:00

..

ERC20VotesRule.sh

more passing

2022-03-31 14:40:20 -07: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

erc20votes pointers workaround and preset

2022-03-08 16:38:11 +00:00

sanityGovernor.sh

…

sanityTokens.sh

sanity passes

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

verifyAccessControl.sh

AccessControl verification

2022-03-31 21:08:14 +01:00

verifyAll.sh

Add Certora's Governance verification rules (#2997)

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

verifyERC20FlashMint.sh

wrapper and timelockController cleaning

2022-03-27 16:04:31 +01:00

verifyERC20Votes.sh

typechecker error and skipped require bug

2022-03-30 17:12:30 -07:00

verifyERC20Wrapper.sh

wrapper and timelockController cleaning

2022-03-27 16:04:31 +01:00

verifyERC1155.sh

ERC1155 verification (not finished)

2022-03-31 21:07:28 +01:00

verifyGovernor.sh

…

verifyTimelock.sh

one more TC cleaning

2022-03-31 21:08:00 +01: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