5 Commits (a51f1e1354dbae62cec024d2590de5cab249a27c)

Author	SHA1	Message	Date
Ernesto García	72c642e13e	Lower fuzz runs to 5000 (#4835)	1 year ago
Francisco	abba0d047a	Update remappings.txt for upgradeable contracts and set up submodule (#4639) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: Ernesto García <ernestognw@gmail.com>	1 year ago
Francisco	ead3bcaccb	Fix spurious CI check failures (#4160)	2 years ago
Daejun Park	c7315e8779	Add ERC4626 standard property tests (#3792) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	2 years ago
Francisco	c08c6e1b84	Add fuzz testing of mulDiv (#3717) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	2 years ago