.. |
IAccessControl.spec
|
c6f2de736e
Finish Pausable and AccessControl
|
vor 2 Jahren |
IAccessControlDefaultAdminRules.spec
|
dcba9f995f
Add AccessControlDefaultAdminRules FV (#4180)
|
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 |