| .. |
|
AccessControl.spec
|
75417fbf9f
finilized rules
|
3 years ago |
|
ERC1155.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC1155Burnable.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC1155Pausable.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC1155Supply.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC20.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC20FlashMint.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC20Votes.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC20Wrapper.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
ERC721Votes.spec
|
597202d904
finish ERC20 base specs + move all other specs to noCI for the time being
|
3 years ago |
|
GovernorBase.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
GovernorCountingSimple.spec
|
8ec6785cb8
Merge branch 'master' into certora/erc1155ext. Resolved conflicts in
|
3 years ago |
|
GovernorPreventLateQuorum.spec
|
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)
|
2 years ago |
|
Initializable.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
RulesInProgress.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
TimelockController.spec
|
4a3b0bb875
filters for skipped functions
|
3 years ago |
|
erc20methods.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
sanity.spec
|
38d21cab86
update scripts
|
3 years ago |
teryanarmen
e04f7ded94
Fixed GPLQ spec, all rules passing (#3822)