Commit Graph

5 Commits (8423d20f264bed0d11ece9170683b158497c4745)

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