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