Skip to content

JKind v4.5.0
Compare
Choose a tag to compare
@kfhoech kfhoech released this 10 Nov 14:39
· 28 commits to master since this release
v4.5.0
7dcde05

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

Assets 3
Loading