2 Commits (473d0b6884ce538f534a0fc04c97b78e8cc0f48b)

Author	SHA1	Message	Date
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	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