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 3214f6c256 Add FV specification for ERC20Wrapper (#4100) ... Co-authored-by: Francisco <fg@frang.io>		2 years ago
..
methods	Add FV specs for Ownable and Ownable2Steps (#4094)	2 years ago
AccessControl.spec	Add effect checks on the accesscontrol specs (#4099)	2 years ago
ERC20.spec	Formal verification using Certora (#4084)	2 years ago
ERC20FlashMint.spec	Formal verification using Certora (#4084)	2 years ago
ERC20Wrapper.spec	Add FV specification for ERC20Wrapper (#4100)	2 years ago
Initializable.spec	Add FV specs for Initializable (#4095)	2 years ago
Ownable.spec	Add FV specs for Ownable and Ownable2Steps (#4094)	2 years ago
Ownable2Step.spec	Add FV specs for Ownable and Ownable2Steps (#4094)	2 years ago
helpers.spec	Formal verification using Certora (#4084)	2 years ago