|
|
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 |
|
|
|
3f901696f7
|
Clean dirty addresses and booleans (#5195)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2024-09-18 18:21:17 +02:00 |
|
|
|
dd1e8988ab
|
Generate already lint code from procedural generation (#5060)
|
2024-05-30 09:16:12 -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 |
|
|
|
cb2aaaa04a
|
Add slot derivation library (#4975)
|
2024-03-27 21:17:46 +00:00 |
|
