kind2-java-api 0.7.0

• Add support for lemmas and termination properties

kind2-java-api 0.6.0

• Add support for the new --lus_main_const flag
• Add support for parameter declarations (param)
• Add support for parsing type of nested arrays and arrays with symbolic sizes
• Add noModelElementSet value to enum for the Kind 2 JSON objects

kind2-java-api 0.5.5

• Fix issues related to IVC/MCS.

kind2-java-api 0.5.4

• Parsing errors are not handled as exceptions.

kind2-java-api 0.5.3

• Restore compatibility with Java 8+

kind2-java-api 0.5.2

• Remove old_frontend option (no longer supported in Kind 2 versions after 2.3.0)
• Always re-throw exceptions in callKind2

kind2-java-api 0.4.1

• Update gradle to v8.8

kind2-java-api 0.4.0

• Add handling for lus_main_type flag

kind2-java-api 0.3.9

• Add a version of simulate that processes program as string rather than filename

kind2-java-api 0.3.8

• Add support candidate properties