openzeppelin-contracts

Author	SHA1	Message	Date
Ernesto García	f1a69f164e	Add Halmos support for formal verification (#5034 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	8 months ago
Paul Razvan Berg	58a62916de	Bump and pin Forge Std submodule (#4102 )	2 years ago
Daejun Park	c7315e8779	Add ERC4626 standard property tests (#3792 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	2 years ago
Nicolás Venturo	80ae402387	Add fuzz tests for Math.sqrt & Math.logX using Foundry (#3676 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: Francisco Giordano <frangio.1@gmail.com>	2 years ago