 Ernesto García
|
f96237308f
Update forge and change visibility in fuzz tests (#5103)
|
hai 11 meses |
|
Ernesto García
|
f1a69f164e
Add Halmos support for formal verification (#5034)
|
hai 1 ano |
 Francisco
|
8643fd45fd
Update remappings and install instructions for Foundry on docs site (#4498)
|
%!s(int64=2) %!d(string=hai) anos |
 Hadrien Croubois
|
00cbf5a236
Update pragma to 0.8.20 (#4489)
|
%!s(int64=2) %!d(string=hai) anos |
|
Francisco
|
874c2d3c02
Use explicit imports (#4399)
|
%!s(int64=2) %!d(string=hai) anos |
|
Ernesto García
|
7bb5592ad5
Bump minimum pragma version to `0.8.19` (#4288)
|
%!s(int64=2) %!d(string=hai) anos |
|
Francisco
|
788d6a129a
Add fuzz tests for ShortString (#4175)
|
%!s(int64=2) %!d(string=hai) anos |