| .. |
|
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
|
07ac1030e7
chmod -x certora/scripts/**/*.sh
|
2 years ago |
|
verifyERC1155Supply.sh
|
07ac1030e7
chmod -x certora/scripts/**/*.sh
|
2 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
|
a73d7ab57b
get rid of certora/helpers
|
3 years ago |
|
verifyERC721Votes.sh
|
634c37becf
enable ci test for some (passing) rules
|
3 years ago |
|
verifyGovernor.sh
|
07ac1030e7
chmod -x certora/scripts/**/*.sh
|
2 years ago |
|
verifyGovernorCountingSimple.sh
|
c7a544d568
move passing scripts out of noCI
|
3 years ago |
|
verifyGovernorPreventLateQuorum.sh
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 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 |
teryanarmen
2c5194f3f1
Clean and fix formal verification (#3798)