openzeppelin-contracts icon indicating copy to clipboard operation
openzeppelin-contracts copied to clipboard

Published 20 hours ago • verified publisher icon OpenZeppelin

Certora's 3rd Round of Formal Verification

Open teryanarmen opened this issue 3 years ago • 0 comments

Certora's 3rd round of verification for Open Zeppelin's contracts. In this round we verified: Initializable.sol GovernorPreventLateQuorum.sol ERC1155Burnable.sol ERC1155Pausable.sol ERC1155Supply.sol

We also determined no formal verification needed for: ERC1155Holder.sol ERC1155Receiver.sol

teryanarmen avatar Jun 15 '22 21:06 teryanarmen

There are some merge conflict that I can't solve since I don't have write access to Certora:master

Amxx avatar Sep 09 '22 08:09 Amxx

Woohoo, your important contribution to this open-source project has earned you a GitPOAP!

GitPOAP: 2022 OpenZeppelin Contracts Contributor: GitPOAP: 2022 OpenZeppelin Contracts Contributor GitPOAP Badge

Head on over to GitPOAP.io and connect your GitHub account to mint!

gitpoap-bot[bot] avatar Sep 09 '22 11:09 gitpoap-bot[bot]