Commit Graph

3 Commits (f20981528fa06e88ae97c9f599b9a313ad8186ce)

Author SHA1 Message Date
cairo 3f901696f7
Clean dirty addresses and booleans (#5195) 5 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