GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 88783fb47c
Branches Tags
openzeppelin-co...
/
certora
/
specs
/
methods
ernestognw 88783fb47c Partial TimelockController 2 years ago
..
IAccessControl.spec 88783fb47c Partial TimelockController 2 years ago
IAccessControlDefaultAdminRules.spec 9cf770354e Adjust ACDAR casts 2 years ago
IERC20.spec 5612f260d6 Attempt to fix ERC20 2 years ago
IERC2612.spec 4fb6833e32 Formal verification using Certora (#4084) 2 years ago
IERC3156.spec 4fb6833e32 Formal verification using Certora (#4084) 2 years ago
IERC5313.spec dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) 2 years ago
IERC721.spec 86f6eb2c9c Add FV specification for ERC721 (#4104) 2 years ago
IOwnable.spec 6370b1398d Finish Ownable and Ownable2Step 2 years ago
IOwnable2Step.spec 6370b1398d Finish Ownable and Ownable2Step 2 years ago