openzeppelin-contracts

mirror of https://github.com/OpenZeppelin/openzeppelin-contracts

Author	SHA1	Message	Date
Renan Souza	7bd2b2aaf6	Use ERC-XXX syntax (#4730 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: ernestognw <ernestognw@gmail.com>	1 year ago
Ernesto García	36bf1e46fa	Migrate FV specs to CVL2 (#4527 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	1 year ago
Hadrien Croubois	a7ee03565b	Move certora helpers to a dedicated folder (#4211 )	2 years ago
Hadrien Croubois	4fb6833e32	Formal verification using Certora (#4084 ) Co-authored-by: Francisco Giordano <fg@frang.io>	2 years ago