|
|
f96237308f
|
Update forge and change visibility in fuzz tests (#5103)
Co-authored-by: cairo <cairoeth@protonmail.com>
|
2024-10-28 23:33:25 +07:00 |
|
|
|
f1a69f164e
|
Add Halmos support for formal verification (#5034)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2024-05-23 09:01:12 -06:00 |
|
|
|
8643fd45fd
|
Update remappings and install instructions for Foundry on docs site (#4498)
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2023-08-08 23:22:57 -03:00 |
|
|
|
00cbf5a236
|
Update pragma to 0.8.20 (#4489)
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2023-07-31 17:25:45 -03:00 |
|
|
|
874c2d3c02
|
Use explicit imports (#4399)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2023-06-29 20:12:26 +00:00 |
|
|
|
7bb5592ad5
|
Bump minimum pragma version to 0.8.19 (#4288)
|
2023-05-29 21:37:37 +02:00 |
|
|
|
788d6a129a
|
Add fuzz tests for ShortString (#4175)
|
2023-04-12 17:09:30 +02:00 |
|
