Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Releases: loonwerks/jkind

v4.6.1

25 Jun 17:08
ced7c60

Choose a tag to compare

Incorporates pull request number 81 (#81) to address arithmetic exceptions in Lustre evaluation.

This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14.

v4.5.2

12 Sep 17:37
e21d4f2

Choose a tag to compare

Incorporates pull request number 72 (#72) to address occasionally experienced NPEs due to race conditions.

This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14.

v4.5.1

16 Nov 12:16

Choose a tag to compare

Fix missing Eclipse dependencies.

This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14

JKind v4.5.0

10 Nov 14:39

Choose a tag to compare

Adds API classes for invocation processing results that have no dependencies outside JKind.

Eclipse runtime dependent API methods have been deprecated and will be removed in v5.0.

This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14

JKind 4.4.4

12 Oct 16:26

Choose a tag to compare

Add transitional API for calling JKind as a process.

This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14

JKind 4.4.3

08 Oct 04:57

Choose a tag to compare

This release addresses issues #60, #63, #64

This version of JKind works with Z3 4.7.1 - 4.8.10, 4.8.13, and 4.8.14

JKind 4.4.2

09 Jun 02:46

Choose a tag to compare

This release addresses issue #61.

JKind 4.4.1

10 Nov 02:10

Choose a tag to compare

This release is a minor bugfix addressing issues #58 and #59.

JKind 4.4.0

21 Jul 13:59

Choose a tag to compare

This release adds support for Sally-formatted results. It also adds the full source to the JAR for convenience in debugging interactions with clients. The changes are very small, but extend the API. Thus, a minor-level release is warranted.

JKind 4.3.0

17 Jun 17:33

Choose a tag to compare

JKind 4.3.0 adds manifest metadata for use as a Maven-compliant dependency. It also moves the Eclipse-specific API elements that are better integrated as a portion of the JKind-plugin.