| .. |
|
verifyAccessControl.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC1155.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC1155Burnable.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC1155Pausable.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC1155Supply.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC20FlashMint.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC20Votes.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC20Wrapper.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyERC721Votes.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyGPLQ_deadlineCantBeUnextended.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyGPLQ_proposalInOneState.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyGPLQ_quorumReachedEffect.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyGovernor.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyGovernorCountingSimple.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyGovernorPreventLateQuorum.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyInitializable.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
verifyTimelock.sh
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
teryanarmen
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)