Thomas Adams d02c2ccab3 Added comments throughout regarding reasoning 3 years ago
..
AccessControl.spec 75417fbf9f finilized rules 3 years ago
ERC1155.spec 75417fbf9f finilized rules 3 years ago
ERC1155Burnable.spec d02c2ccab3 Added comments throughout regarding reasoning 3 years ago
ERC1155Pausable.spec 1dd3b7a307 Made comment changes to Burnable and Pausable spec files 3 years ago
ERC1155Supply.spec 27fa53bba9 added init_state axiom for sum of balances 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 cab8e489b2 initializable final draft, ready for review 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