What's Changed
- fix: bitwise opcode semantics by @daejunpark in #196
- feat: add custom solver options by @daejunpark in #197
- feat: execution traces by @karmacoma-eth in #199
- feat: smt solving refinement by @daejunpark in #203
Full Changelog: v0.1.7...v0.1.8