v2.12.1

This release adds a new expression for rational to int type conversion.

v2.12.0

This release improves XSTS local variables, which can now be declared more freely and can contain initial value assignments.

v2.11.1

This patch fixes a bug in counterexample serialization.

v2.11.0

This release adds support for local variables in the XSTS language.

v2.10.0

This release adds support for arrays in the XSTS formalism.

v2.9.3

This patch fixes a bug when array write expressions are a part of an interpolant.

v2.9.2

Small patches and improvements. Removed Travis build because lately it has long queue times and GH Actions already provides all the functionalities (plus more). Fixed coverage reporting to Codacy.

v2.9.1

This release groups projects into directories based on the formalism. There is no change in functionality. Thanks @szdan97 @kris7t!

v2.9.0

This release adds various improvements and features to the XSTS formalism and tool.

• Printing metrics.
• New PROD_AUTO domain.
• Parse and verify Petri nets in PNML format.

Thanks @mondokm!

v2.8.0

This release upgrades Theta to use Gradle 6 (instead of 5) as a build system. This should not have any effect on the compiled binaries and its interfaces. Thanks @radl97!

Note: if you are upgrading your fork/branch which still used Gradle 5, it is recommended to do a full cleanup of the repository (git clean -xfd), but first make sure that all your changes are committed.