Skip to content

Releases: UnitTestBot/ksmt

0.5.9

14 Oct 21:19
@Saloed Saloed
0.5.9
3efd7a0
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.9

What's Changed

  • Upgrade Z3 version to 4.12.2
Assets 74
Loading

0.5.8

25 Sep 11:45
@Saloed Saloed
0.5.8
3c4efa7
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.8

What's Changed

  • Native package distribution refactoring
  • Terminate portfolio solver on close
Assets 74
Loading

0.5.8-draft

14 Sep 01:54
@Saloed Saloed
0.5.8-draft
3876b32
Compare
Choose a tag to compare
0.5.8-draft Pre-release
Pre-release 
Empty artifact for maven central
Assets 2
Loading

0.5.7

14 Aug 20:35
@Saloed Saloed
0.5.7
86fc1cf
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.7

What's Changed

  • Symfpu model fix
Assets 23
Loading

0.5.6

04 Aug 19:18
@Saloed Saloed
0.5.6
6803209
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.6

What's Changed

Contributors

vavilovm
Assets 24
Loading

0.5.5

21 Jul 16:07
@Saloed Saloed
0.5.5
c5fee2c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.5

What's Changed

  • Composable simplifier rules
  • Fix arith integer division
  • Expression visitor API
Assets 20
Loading

0.5.4

09 Jun 12:20
@Saloed Saloed
0.5.4
e5e3bf3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.4

What's Changed

  • Fix unsat core generation in a case of trivially unsat assumptions
  • Fix integer mod/rem simplification
  • Better documentation
Assets 20
Loading

0.5.3

10 May 08:49
@Saloed Saloed
0.5.3
c7c4182
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.3

What's Changed

  • Better support for overflow check expressions
  • Evaluators for arith.pow, fp.rem and fp.fma expressions
Assets 20
Loading

0.5.2

29 Apr 09:45
@Saloed Saloed
0.5.2
8e9f734
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.2

Changes

  • KSMT is now released on Maven Central

Breaking Changes

  • KSMT package changed from org.ksmt to io.ksmt
Assets 20
Loading

0.5.1

27 Apr 18:34
@Saloed Saloed
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
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.1

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