Skip to content

JavaSMT 3.4.0
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 24 Dec 14:49
· 2617 commits to master since this release
3.4.0
17e0212
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

Changes in the API:

  • With the update of SMTInterpol some partially visible classes were touched.

Improvements and Fixes:

  • fix for visiting uninterpreted function with CVC4
  • New or updated solver versions:
    • SMTInterpol: 2.5-604-g71e72f93, including a small change in the API of SMTInterpol
  • Several updates for dependencies.
Assets 2
Loading