Skip to content

v0.2.0
Compare
Choose a tag to compare
@github-actions github-actions released this 23 Feb 18:19
· 97 commits to release since this release
v0.2.0
faf9b33
This commit was signed with the committer’s verified signature.
ChristianMoesl Christian Mösl
GPG key ID: 34C020723C521F4A
Verified
Learn about vigilant mode.

0.2.0 (2021-02-23)

Bug Fixes

  • add new lines in disassembly (6f24c64)
  • update faulty boolector-sys dependency (2280748)

Features

  • Z3 and Boolector are optional build options now (75eb36d)
Assets 5
Loading