| .. |
|
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
|
2e7bca424a
cleanup GovernorBase.spec
|
2 years ago |
|
GovernorCountingSimple.spec
|
f21f86c3c1
fixing certora/specs/GovernorCountingSimple.spec
|
2 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
|
3c58e4e3d3
isOperationReady NOT envfree
|
2 years ago |
|
erc20methods.spec
|
2c5194f3f1
Clean and fix formal verification (#3798)
|
2 years ago |
|
sanity.spec
|
2e7bca424a
cleanup GovernorBase.spec
|
2 years ago |
Hadrien Croubois
f21f86c3c1
fixing certora/specs/GovernorCountingSimple.spec