v0.1.8

daejunpark released this 12 Oct 00:05

· 104 commits to main since this release

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

Contributors

daejunpark and karmacoma-eth

Assets 2