Commit Graph

5 Commits (be2b016679409cfbd23dba05c9100f6f4e0c6977)

Author SHA1 Message Date
Hadrien Croubois 28aed34dc5
Merge account abstraction work into master (#5274) 4 months ago
Hadrien Croubois 53b5d84212
Add bytes6 to the Packing library. (#5077) 9 months ago
Hadrien Croubois dc62599257
Extended packing and extracting library for value types (#5056) 9 months ago
Ernesto García f1a69f164e
Add Halmos support for formal verification (#5034) 9 months ago
Hadrien Croubois f8c2e1035e
Add Packing library (#4992) 11 months ago