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.

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.

Fix missing Eclipse dependencies.

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

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

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

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

This release addresses issue #61.

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

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 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.