v1.4.3

This release updates Gazer to use Theta v2.10.0.

v1.4.2

This release adds a minor fix related to portfolio logging and docs and examples related to Benchexec

v1.4.1

This release adds the minor refactor of moving BMCVerifier inside gazer-bmc, as it is not used anywhere else.

v1.4.0

This release adds a generic portfolio executor script, which allows different backends (with different options) to be executed as a sequential portfolio. Previously there was a single, hard-coded portfolio, but now the script can take a YAML configuration file. See doc/Portfolio.md for more information. Credits to @AdamZsofi .

v1.3.2

This release adds support for GitHub actions and fixes some possible aliasing issues on the counterexample check script in the tests. It also fixes build errors with newer (>1.70) Boost versions.

v1.3.1

This release only updates Theta version (from 2.5.0 to 2.8.0) with no breaking changes.

v1.3.0

This release fixes multiple crashes and false-positives:

• #62 Requesting traces with floats results in a crash
• #63 FIsNaN is translated incorrectly
• #64 Store float values in the flat memory model
• #65 Add support for zero-aggregate initializers
• #66 Jumping out of a loop from two different blocks to a same exit block breaks the translation of PHI values

v1.2.1

This patch updates the timeouts for the different phases in the portfolio analysis script.

v1.2.0

This release adds support for bitcast instructions between floating-point and bit-vector types.

v1.1.5

This release fixes a bug in the starter script when it was executed from its own folder (and not the root).