openzeppelin-contracts

Files

Hadrien Croubois aca4030e4a Formal verification of AccessManager (#4611 )

Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Francisco Giordano <fg@frang.io>

2023-10-04 21:17:15 +02:00

IAccessControl.spec

2023-09-11 17:15:51 -03:00

IAccessControlDefaultAdminRules.spec

2023-09-11 17:15:51 -03:00

IAccessManaged.spec

2023-10-04 21:17:15 +02:00

IAccessManager.spec

2023-10-04 21:17:15 +02:00

IERC20.spec

2023-09-11 17:15:51 -03:00

IERC721.spec

2023-09-11 17:15:51 -03:00

IERC721Receiver.spec

2023-09-11 17:15:51 -03:00

IERC2612.spec

2023-09-11 17:15:51 -03:00

IERC3156FlashBorrower.spec

2023-09-11 17:15:51 -03:00

IERC3156FlashLender.spec

2023-09-11 17:15:51 -03:00

IERC5313.spec

2023-09-11 17:15:51 -03:00

IOwnable2Step.spec

2023-09-11 17:15:51 -03:00

IOwnable.spec

2023-09-11 17:15:51 -03:00