openzeppelin-contracts

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

Author	SHA1	Message	Date
Ernesto García	f96237308f	Update forge and change visibility in fuzz tests (#5103 ) Co-authored-by: cairo <cairoeth@protonmail.com>	4 months ago
cairo	3f901696f7	Clean dirty addresses and booleans (#5195 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	5 months ago
Ernesto García	f1a69f164e	Add Halmos support for formal verification (#5034 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	9 months ago
Hadrien Croubois	cb2aaaa04a	Add slot derivation library (#4975 )	11 months ago