| .. |
|
governor
|
b5980a569c
reorganized governance verification in preparation for erc20 verification
|
3 years ago |
|
AccessControl.spec
|
ec4e77397f
AccessControl verification
|
3 years ago |
|
ERC1155.spec
|
da674eced1
typos and cleaning
|
3 years ago |
|
ERC20FlashMint.spec
|
8c86b250bc
fixed rule description
|
3 years ago |
|
ERC20Votes.spec
|
140df5b7ce
everything except Alex fix for totalVotes_sums_accounts
|
3 years ago |
|
ERC20Wrapper.spec
|
a35ad6dfc3
wrapper and timelockController cleaning
|
3 years ago |
|
GovernorBase.spec
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
3 years ago |
|
GovernorCountingSimple.spec
|
1900c86c99
removed unnecessary harness from the first iteration
|
3 years ago |
|
RulesInProgress.spec
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
3 years ago |
|
TimelockController.spec
|
479118fcd1
push to report issues
|
3 years ago |
|
erc20.spec
|
62d60a5890
Timelock, erc20Wrapper and erc20FlashMint verification
|
3 years ago |
|
sanity.spec
|
61fa061ecf
erc20votes pointers workaround and preset
|
3 years ago |
Nick Armstrong
ec8f03ee96
Merge branch 'certora/erc20' of github.com:Certora/openzeppelin-contracts into remotes/origin/certora/erc20