|
|
28aed34dc5
|
Merge account abstraction work into master (#5274)
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Elias Rad <146735585+nnsW3@users.noreply.github.com>
Co-authored-by: cairo <cairoeth@protonmail.com>
Co-authored-by: Arr00 <13561405+arr00@users.noreply.github.com>
|
2024-10-23 09:19:13 +02:00 |
|
|
|
53b5d84212
|
Add bytes6 to the Packing library. (#5077)
|
2024-06-12 16:23:35 -06:00 |
|
|
|
dc62599257
|
Extended packing and extracting library for value types (#5056)
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2024-06-11 12:07:00 -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 |
|
|
|
f8c2e1035e
|
Add Packing library (#4992)
Co-authored-by: ernestognw <ernestognw@gmail.com>
|
2024-04-05 14:59:18 +02:00 |
|
