Hadrien Croubois d98d9c03f3 Merge remote-tracking branch 'Certora/master' into formal-verification il y a 3 ans
..
AccessControl.spec 75417fbf9f finilized rules il y a 3 ans
ERC1155.spec 65ab8e9ac4 Changed rule transfersHaveSameLengthInputArrays (passing) to use _ instead of holder il y a 3 ans
ERC1155Burnable.spec 7946806fb3 Commented out sanity rules for the purposes of CI il y a 3 ans
ERC1155Pausable.spec 7946806fb3 Commented out sanity rules for the purposes of CI il y a 3 ans
ERC1155Supply.spec 1701b0c7fd fix erc1155supply vacuity, change CI solc version to 8.4 il y a 3 ans
ERC20FlashMint.spec 8c86b250bc fixed rule description il y a 3 ans
ERC20Votes.spec 2627753bfe votes solvency passing again il y a 3 ans
ERC20Wrapper.spec 4a3b0bb875 filters for skipped functions il y a 3 ans
ERC721Votes.spec 4a3b0bb875 filters for skipped functions il y a 3 ans
GovernorBase.spec d98d9c03f3 Merge remote-tracking branch 'Certora/master' into formal-verification il y a 3 ans
GovernorCountingSimple.spec 8ec6785cb8 Merge branch 'master' into certora/erc1155ext. Resolved conflicts in il y a 3 ans
GovernorPreventLateQuorum.spec ca034ab3df Deleted unused method from GovPreventLateQuorum il y a 3 ans
Initializable.spec 1aa8141b14 removed a assert failure message from an invariant in Initializable spec il y a 3 ans
RulesInProgress.spec 741e9a8b6d timelock function moved il y a 3 ans
TimelockController.spec 4a3b0bb875 filters for skipped functions il y a 3 ans
erc20.spec 62d60a5890 Timelock, erc20Wrapper and erc20FlashMint verification il y a 3 ans
sanity.spec 61fa061ecf erc20votes pointers workaround and preset il y a 3 ans