| .. |
|
AccessControl.spec
|
6c4ffe783f
cleanup accesscontrol specs
|
2 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
|
1038b7f2c7
wip GovernorPreventLateQuorum
|
2 years ago |
|
GovernorCountingSimple.spec
|
f21f86c3c1
fixing certora/specs/GovernorCountingSimple.spec
|
2 years ago |
|
GovernorPreventLateQuorum.spec
|
37991642dc
nightly
|
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
37991642dc
nightly