What's Changed
This release improves internal functionalities.
Improved handling of dynamic arrays:
- feat: consider various lengths for dynamic-sized parameters by @daejunpark in #384
- feat: lazy concretization by @daejunpark in #392
Improved keccak hash reasoning:
- feat: handle concrete keccaks concretely by @karmacoma-eth in #391
- perf: improve hash injectivity constraints by @daejunpark in #406
- feat: injectivity for truncated hashes by @daejunpark in #408
Misc:
- feat: target Panic(k) for any k specified in --panic-error-codes by @daejunpark in #382
- fix: exclude test contract from symbolic calls by @daejunpark in #388
- feat: customize bash prompt in our docker images by @karmacoma-eth in #407
New Contributors
- @PatrickAlphaC made their first contribution in #378
Full Changelog: v0.2.0...v0.2.1
Contributors
daejunpark, PatrickAlphaC, and karmacoma-eth