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>	9 months ago
Francisco	8643fd45fd	Update remappings and install instructions for Foundry on docs site (#4498 ) Co-authored-by: ernestognw <ernestognw@gmail.com>	2 years ago
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
Francisco	874c2d3c02	Use explicit imports (#4399 ) Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> 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
Francisco	788d6a129a	Add fuzz tests for ShortString (#4175 )	2 years ago