Commit Graph

5 Commits (dd797b038db1c6234cfc213ed59c80d9a40a06cf)

Author SHA1 Message Date
Ernesto García f96237308f
Update forge and change visibility in fuzz tests (#5103) 4 months ago
cairo 3f901696f7
Clean dirty addresses and booleans (#5195) 5 months ago
Hadrien Croubois dd1e8988ab
Generate already lint code from procedural generation (#5060) 9 months ago
Ernesto García f1a69f164e
Add Halmos support for formal verification (#5034) 9 months ago
Hadrien Croubois cb2aaaa04a
Add slot derivation library (#4975) 11 months ago