Skip to content

Releases: UnitTestBot/ksmt

0.5.18

01 Feb 07:23
@Saloed Saloed
0.5.18
5a18458
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.18

What's Changed

  • Rework model detach

Full Changelog: 0.5.17...0.5.18

Assets 74
Loading

0.5.17

30 Jan 09:33
@Saloed Saloed
0.5.17
eaedb86
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.5.17

What's Changed

  • Yices: native bulk asserts
  • Upgrade z3 version to 4.12.5

Full Changelog: 0.5.16...0.5.17

Assets 74
Loading

0.5.16

28 Dec 20:50
@Saloed Saloed
0.5.16
8296717
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.16

What's Changed

  • Fix custom bv values support
Assets 74
Loading

0.5.15

01 Dec 08:09
@Saloed Saloed
0.5.15
03f993f
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.15

What's Changed

  • Manylinux compatibility (GLIBC 2.31)
Assets 74
Loading

0.5.14

03 Nov 13:28
@Saloed Saloed
0.5.14
3769986
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.14

What's Changed

  • Fix expressions simplification
Assets 74
Loading

0.5.13

01 Nov 05:18
@Saloed Saloed
0.5.13
d848167
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.13

What's Changed

  • Rebuild Yices on mac-os
  • Z3: Fix model detach

Full Changelog: 0.5.12...0.5.13

Assets 74
Loading

0.5.12

30 Oct 19:18
@Saloed Saloed
0.5.12
92add18
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.12

What's Changed

  • Z3: support fp.to_ieee_bv internal decl
Assets 74
Loading

0.5.11

24 Oct 20:08
@Saloed Saloed
0.5.11
d110acf
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.11

What's Changed

  • Fix release builds
Assets 74
Loading

0.5.10

24 Oct 07:08
@Saloed Saloed
0.5.10
edae365
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.10

What's Changed

  • Bulk assert solver API
Assets 74
Loading

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