Hadrien Croubois 89962af163 Fix ERC20Wrapper.spec 3 years ago
..
verifyAccessControl.sh 634c37becf enable ci test for some (passing) rules 3 years ago
verifyERC1155.sh 634c37becf enable ci test for some (passing) rules 3 years ago
verifyERC1155Burnable.sh 634c37becf enable ci test for some (passing) rules 3 years ago
verifyERC1155Pausable.sh 634c37becf enable ci test for some (passing) rules 3 years ago
verifyERC1155Supply.sh 634c37becf enable ci test for some (passing) rules 3 years ago
verifyERC20FlashMint.sh c7a544d568 move passing scripts out of noCI 3 years ago
verifyERC20Votes.sh c7a544d568 move passing scripts out of noCI 3 years ago
verifyERC20Wrapper.sh 89962af163 Fix ERC20Wrapper.spec 3 years ago
verifyERC721Votes.sh 634c37becf enable ci test for some (passing) rules 3 years ago
verifyGovernor.sh c7a544d568 move passing scripts out of noCI 3 years ago
verifyGovernorCountingSimple.sh c7a544d568 move passing scripts out of noCI 3 years ago
verifyInitializable.sh 634c37becf enable ci test for some (passing) rules 3 years ago
verifyTimelock.sh 634c37becf enable ci test for some (passing) rules 3 years ago