| .. |
|
ERC20VotesRule.sh
|
140df5b7ce
everything except Alex fix for totalVotes_sums_accounts
|
il y a 3 ans |
|
Governor.sh
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
il y a 3 ans |
|
GovernorCountingSimple-counting.sh
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
il y a 3 ans |
|
WizardControlFirstPriority.sh
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
il y a 3 ans |
|
WizardFirstTry.sh
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
il y a 3 ans |
|
sanity.sh
|
61fa061ecf
erc20votes pointers workaround and preset
|
il y a 3 ans |
|
sanityGovernor.sh
|
44cedd5ea2
made scripts executable
|
il y a 3 ans |
|
sanityTokens.sh
|
97b2e1b12a
sanity passes
|
il y a 3 ans |
|
verifyAccessControl.sh
|
ec4e77397f
AccessControl verification
|
il y a 3 ans |
|
verifyAll.sh
|
915ca181ba
Add Certora's Governance verification rules (#2997)
|
il y a 3 ans |
|
verifyERC1155.sh
|
53b6ed80bb
ERC1155 verification (not finished)
|
il y a 3 ans |
|
verifyERC20FlashMint.sh
|
a35ad6dfc3
wrapper and timelockController cleaning
|
il y a 3 ans |
|
verifyERC20Votes.sh
|
140df5b7ce
everything except Alex fix for totalVotes_sums_accounts
|
il y a 3 ans |
|
verifyERC20Wrapper.sh
|
a35ad6dfc3
wrapper and timelockController cleaning
|
il y a 3 ans |
|
verifyERC721Votes.sh
|
cab9b09b7b
rough contracts all finished
|
il y a 3 ans |
|
verifyGovernor.sh
|
44cedd5ea2
made scripts executable
|
il y a 3 ans |
|
verifyTimelock.sh
|
50cf82823e
one more TC cleaning
|
il y a 3 ans |
Nick Armstrong
cab9b09b7b
rough contracts all finished