[go: up one dir, main page]
Skip to content

Releases: UnitTestBot/ksmt

0.5.26

18 Oct 13:15
@Saloed Saloed
0.5.26
957ead4
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.26 Latest
Latest

What's Changed

  • Theories specialization

Full Changelog: 0.5.25...0.5.26

Assets 77

0.5.25

16 Aug 09:58
@Saloed Saloed
0.5.25
fdd016d
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.25

What's Changed

  • Minor fixes

Full Changelog: 0.5.24...0.5.25

Assets 77
Loading

0.5.24

17 Jul 13:27
@Saloed Saloed
0.5.24
e294ff4
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.24

What's Changed

  • Fix Z3 assert and track
  • Upgrade Z3 to 4.13.0 && support Z3 on linux/arm

Full Changelog: 0.5.23...0.5.24

Assets 77
Loading

0.5.23

15 Apr 13:40
@Saloed Saloed
0.5.23
81ec9b5
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.23

What's Changed

  • Upgrade cvc5 to 1.1.2

Full Changelog: 0.5.22...0.5.23

Assets 74
Loading

0.5.22

10 Apr 17:31
@Saloed Saloed
0.5.22
d941124
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.22

What's Changed

  • Open KContext to allow sort customization

Full Changelog: 0.5.21...0.5.22

Assets 74
Loading

0.5.21

13 Feb 11:10
@Saloed Saloed
0.5.21
b0cff63
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.21

What's Changed

  • Rebuild yices with native deadlock fix

Full Changelog: 0.5.20...0.5.21

Assets 74
Loading

0.5.20

12 Feb 16:27
@Saloed Saloed
0.5.20
5d2fb43
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.20

What's Changed

  • Yices macos arm

Full Changelog: 0.5.19...0.5.20

Assets 74
Loading

0.5.19

05 Feb 20:06
@Saloed Saloed
0.5.19
fa2a997
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.19

What's Changed

  • Faster bv creation

Full Changelog: 0.5.18...0.5.19

Assets 74
Loading

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