mirror of openzeppelin-contracts

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Hadrien Croubois 75ef7b8b27 Add FV specs for TimelockController (#4098) ... Co-authored-by: Francisco <fg@frang.io>		2 years ago
..
IAccessControl.spec	Add FV specs for TimelockController (#4098)	2 years ago
IERC20.spec	Formal verification using Certora (#4084)	2 years ago
IERC2612.spec	Formal verification using Certora (#4084)	2 years ago
IERC3156.spec	Formal verification using Certora (#4084)	2 years ago
IOwnable.spec	Add FV specs for Ownable and Ownable2Steps (#4094)	2 years ago
IOwnable2Step.spec	Add FV specs for Ownable and Ownable2Steps (#4094)	2 years ago