| .. |
|
AccessControl.spec
|
75417fbf9f
finilized rules
|
3 years ago |
|
ERC1155.spec
|
b10a2b8cd3
Added burn and burnBatch to filtered block of unexpectedBalanceChange
|
3 years ago |
|
ERC1155Burnable.spec
|
6363deaedd
Changed rule onlyHolderOrApprovedCanReduceBalance to include filtered block
|
3 years ago |
|
ERC1155Pausable.spec
|
1dd3b7a307
Made comment changes to Burnable and Pausable spec files
|
3 years ago |
|
ERC1155Supply.spec
|
e3341255b2
Added rule skeletons for equivalence rules
|
3 years ago |
|
ERC20FlashMint.spec
|
8c86b250bc
fixed rule description
|
3 years ago |
|
ERC20Votes.spec
|
02de598056
removed sanity
|
3 years ago |
|
ERC20Wrapper.spec
|
66c72f2b5d
CI preparations
|
3 years ago |
|
ERC721Votes.spec
|
02de598056
removed sanity
|
3 years ago |
|
GovernorBase.spec
|
b2cdcc38d4
final govPreventLateQ
|
3 years ago |
|
GovernorCountingSimple.spec
|
8ec6785cb8
Merge branch 'master' into certora/erc1155ext. Resolved conflicts in
|
3 years ago |
|
GovernorPreventLateQuorum.spec
|
b2cdcc38d4
final govPreventLateQ
|
3 years ago |
|
Initializable.spec
|
5516589b88
final initializable spec modulo extra natspec style comments
|
3 years ago |
|
RulesInProgress.spec
|
741e9a8b6d
timelock function moved
|
3 years ago |
|
TimelockController.spec
|
741e9a8b6d
timelock function moved
|
3 years ago |
|
erc20.spec
|
62d60a5890
Timelock, erc20Wrapper and erc20FlashMint verification
|
3 years ago |
|
sanity.spec
|
61fa061ecf
erc20votes pointers workaround and preset
|
3 years ago |
Thomas Adams
e3341255b2
Added rule skeletons for equivalence rules