|
|
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 |
|
|
|
d8bbd34676
|
Update declaration of memory safe assembly blocks (#5172)
|
2024-08-29 15:07:17 -06: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 |
|
|
|
d398d68944
|
Mask computed address in Create2 and Clones libraries (#4941)
Co-authored-by: ernestognw <ernestognw@gmail.com>
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2024-03-25 14:33:45 +00:00 |
|
