v1.4.0

This release adds bitvector types (signed/unsigned, arbitrary size) and expressions (e.g., bitwise operations, shifting, ...) to the core and also to the CFA DSL. Note that the support for bitvectors is currently experimental and only a limited set of algorithms are available (yet). We will be working on algorithmic support in the upcoming releases. See bitvectors.md for more details. Thanks @as3810t!

v1.3.0

Enable turning lazy abstraction off in the CFA and STS CLI tools. This can have a positive effect if there is no refinement progress (same counterexample is obtained in each iteration).

v1.2.1

Support XOR expressions in the CFA DSL.

v1.2.0

This release adds support for array literals in the core and also in the CFA DSL.

Thanks @as3810t.

v1.1.1

Jar files contain the version in the manifest file

v1.1.0

All the utility tools for the CFA (visualization, metrics) were merged into the cfa-cli tool.

v1.0.1

Fixed a bug in core DSL parsing, added some tests, extended docs.

v1.0.0

Initial release, using semantic versioning (major.minor.patch) from now on.