GitBross Domovská stránka Prehľadávať Pomoc
Registrovať Prihlásiť sa
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: frangio-patch-1
Branche Tagy
openzeppelin-co...
/
certora
/
specs
/
methods
Ernesto García dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) 2 rokov pred
..
IAccessControl.spec 75ef7b8b27 Add FV specs for TimelockController (#4098) 2 rokov pred
IAccessControlDefaultAdminRules.spec dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) 2 rokov pred
IERC20.spec 4fb6833e32 Formal verification using Certora (#4084) 2 rokov pred
IERC2612.spec 4fb6833e32 Formal verification using Certora (#4084) 2 rokov pred
IERC3156.spec 4fb6833e32 Formal verification using Certora (#4084) 2 rokov pred
IERC5313.spec dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) 2 rokov pred
IERC721.spec 86f6eb2c9c Add FV specification for ERC721 (#4104) 2 rokov pred
IOwnable.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 rokov pred
IOwnable2Step.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) 2 rokov pred