Skip to content

JKind 4.3.0

Compare
Choose a tag to compare
@kfhoech kfhoech released this 17 Jun 17:33
· 84 commits to master since this release

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.