Skip to content

0.5.1

Choose a tag to compare

View all tags
@Saloed Saloed released this 27 Apr 18:34
· 51 commits to main since this release
0.5.1
f0f0fc6
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Changes

  • Faster runner sync solver
  • Fix array model conversion
  • Yices: stop timer on solver close
  • Z3: fix dec ref on close
  • Specialized model function interpretations
  • Resolve track vars in unsat cores

Breaking changes:

  • Model function interpretations moved to org.ksmt.solver.model and also renamed from KModel.KFuncInterp to KFuncInterp
  • assertAndTrack track variables are removed from the API. Unsat cores contains tracked assertions as is.
Assets 14
Loading