What's Changed
- fix: improve unknown call resolution by @daejunpark in #170
- fix: enable SDIV when --smt-div is on by @karmacoma-eth in #174
- feat: include model in json output by @karmacoma-eth in #171
- feat: extended json output by default by @daejunpark in #176
Full Changelog: v0.1.2...v0.1.3