Skip to content

Release 0.3.1
Compare
Choose a tag to compare
@mpreiner mpreiner released this 17 Jan 22:32
· 153 commits to main since this release
0.3.1
6eae1f8
  • Added option -M/--memory-limit to set memory limit.
  • Printer: Fix printing of empty formulas.
  • SMT2 Parser: Fix error handling for indexed bit-vector values.
  • Allow special case for equality over constant arrays. This is part of
    ongoing work towards generally allowing equality over constant arrays.
Assets 2