ernestognw 9cf770354e Adjust ACDAR casts vor 2 Jahren
..
IAccessControl.spec c6f2de736e Finish Pausable and AccessControl vor 2 Jahren
IAccessControlDefaultAdminRules.spec 9cf770354e Adjust ACDAR casts vor 2 Jahren
IERC20.spec 4fb6833e32 Formal verification using Certora (#4084) vor 2 Jahren
IERC2612.spec 4fb6833e32 Formal verification using Certora (#4084) vor 2 Jahren
IERC3156.spec 4fb6833e32 Formal verification using Certora (#4084) vor 2 Jahren
IERC5313.spec dcba9f995f Add AccessControlDefaultAdminRules FV (#4180) vor 2 Jahren
IERC721.spec 86f6eb2c9c Add FV specification for ERC721 (#4104) vor 2 Jahren
IOwnable.spec 6370b1398d Finish Ownable and Ownable2Step vor 2 Jahren
IOwnable2Step.spec 6370b1398d Finish Ownable and Ownable2Step vor 2 Jahren