openzeppelin-contracts

Author	SHA1	Message	Date
Hadrien Croubois	00cbf5a236	Update pragma to 0.8.20 (#4489 ) Co-authored-by: Francisco Giordano <fg@frang.io> Co-authored-by: ernestognw <ernestognw@gmail.com>	2 years ago
Ernesto García	7bb5592ad5	Bump minimum pragma version to `0.8.19` (#4288 )	2 years ago
Hadrien Croubois	3214f6c256	Add FV specification for ERC20Wrapper (#4100 ) Co-authored-by: Francisco <fg@frang.io>	2 years ago
Hadrien Croubois	4fb6833e32	Formal verification using Certora (#4084 ) Co-authored-by: Francisco Giordano <fg@frang.io>	2 years ago
Hadrien Croubois	c1d9da4052	Use hardhat-exposed to reduce the need for mocks (#3666 ) Co-authored-by: Francisco <fg@frang.io>	2 years ago
Francisco Giordano	4147005b0c	Update Prettier Solidity (#3898 )	2 years ago
Francisco	b709eae01d	Update Prettier Solidity (#3898 )	2 years ago
Hadrien Croubois	141130db27	Inherit asset decimals in ERC4626 (#3639 )	2 years ago
Hadrien Croubois	a55b7d1372	Rename ERC20TokenizedVault to ERC4626 (#3467 )	3 years ago
Hadrien Croubois	5e00787199	ERC4626 (#3171 )	3 years ago