JKind-Xtext v2.3

JKind-Xtext is no longer being released as separate plug-ins. Use the instructions on the home page to install from an Eclipse update site

This version supports the new --%SUPPORT annotations and other features of JKind v2.3.

JKind-Xtext v2.0

This release adds support for JKind v2.0 including PDR, MathSAT, and SMTInterpol.

JKind-Xtext v1.0.4

This release adds support for JKind v1.6 including Yices 2, Kind 2, and Kind 2 Remote.

JKind-Xtext v1.0.3

This version adds support for JLustre2Excel.

JKind-Xtext v1.0.2

This version supports JKind v1.5.1.

JKind-Xtext v1.0.1

Support for condact expressions.

JKind-Xtext v1.0

The initial release of JKind-Xtext. See install instructions.