v1.6.3

Small Codacy warning fixes.

v1.6.2

This release improves formatting of array literals on output (e.g., counterexamples).

v1.6.1

This release adds some minor improvements in the Dockerfiles and related scripts

v1.6.0

This release adds an option ALLASSUMES to the --initprec argument of the CFA tool. This option tracks all predicates in assumptions (e.g., branch/loop conditions) from the beginning. Applicable in the predicate domains.

v1.5.1

Fixed a bug related to array literals, that caused an exception if the key and value types did not match (e.g., int to bool array).

v1.5.0

This release adds support to print counterexamples for the STS formalism, and fixes various minor warnings.

v1.4.4

Improve dockerfiles with some best practices.

v1.4.3

This release extends the supported bitvector expressions, including the CFA DSL: distinguish between arithmetic (>>) and logical shift (>>>), add rotate operations (<<~, ~>>). Thanks @as3810t!

v1.4.2

Support XOR expression in STS DSL.

v1.4.1

Docker images use the code from the local repository instead of cloning. This requires the whole repository to be cloned, but is much more flexible (any branch/version can be checked out and built into an image).