GitBross Domů Procházet Nápověda
Registrovat se Přihlásit se
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Strom: a0f7548bfc
Větve Značky
openzeppelin-co...
/
certora
/
specs
/
methods
ernestognw c6f2de736e Finish Pausable and AccessControl před 2 roky
..
IAccessControl.spec c6f2de736e Finish Pausable and AccessControl před 2 roky
IAccessControlDefaultAdminRules.spec dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) před 2 roky
IERC20.spec 4fb6833e32 Formal verification using Certora (#4084) před 2 roky
IERC2612.spec 4fb6833e32 Formal verification using Certora (#4084) před 2 roky
IERC3156.spec 4fb6833e32 Formal verification using Certora (#4084) před 2 roky
IERC5313.spec dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) před 2 roky
IERC721.spec 86f6eb2c9c Add FV specification for ERC721 (#4104) před 2 roky
IOwnable.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) před 2 roky
IOwnable2Step.spec aaad1f4a4f Add FV specs for Ownable and Ownable2Steps (#4094) před 2 roky