8 Commits (2562c11f2566d7b027af18ad33d8153da65cbfd0)

Author	SHA1	Message	Date
Ernesto García	f96237308f	Update forge and change visibility in fuzz tests (#5103) ... Co-authored-by: cairo <cairoeth@protonmail.com>	3 months ago
cairo	b72e3da0ec	Bump forge-std to v1.9.3 (#5230)	4 months ago
Ernesto García	f1a69f164e	Add Halmos support for formal verification (#5034) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	8 months ago
Ernesto García	6b30d2d8de	Fuzz Base64 and Base64URL (#4853) ... Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>	1 year ago
github-actions[bot]	6ba452dea4	Merge release-v5.0 branch (#4787) ... Co-authored-by: github-actions <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com> Co-authored-by: Francisco Giordano <fg@frang.io> Co-authored-by: Ernesto García <ernestognw@gmail.com> Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: Eric Lau <ericglau@outlook.com> Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com> Co-authored-by: Zack Reneau-Wedeen <z.reneau.wedeen@gmail.com>	1 year ago
Paul Razvan Berg	58a62916de	Bump and pin Forge Std submodule (#4102)	2 years ago
Pascal Marco Caversaccio	96ff934ad0	Update `forge-std` submodule to `v1.2.0` (#3885) ... Signed-off-by: Pascal Marco Caversaccio <pascal.caversaccio@hotmail.ch>	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