v6.5.1

This release fixes bugs in the XSTS Cli

Modified subprojects (since v6.5.0):
xsts/xsts-cli

v6.5.0

This release adds a new command line interface for XSTS based on Clikt. Thank you @RipplB!

Modified subprojects (since v6.4.0):
common/analysis
common/common
frontends/petrinet-frontend
solver/solver-smtlib
solver/solver-z3
solver/solver-z3-legacy
xsts/xsts-analysis
xsts/xsts-cli

v6.4.0

This release adds support for the Horn solving backend for XSTS.

Modified subprojects (since v6.3.4):
common/core
solver/solver-smtlib
xsts/xsts-analysis
xsts/xsts-cli

v6.3.4

Patched the CI so that we don't have to wait around for meaningless results. This most likely does not affect the behavior of the tool itself.

Modified subprojects (since v6.3.3):
xcfa/xcfa-cli

v6.3.3

fixed maven

Modified subprojects (since v6.3.2):

v6.3.2

Added svcomp archive to release, hopefully fixed maven publishing

Modified subprojects (since v6.3.1):

v6.3.1

Fix maven and docker publication in CI

Modified subprojects (since v6.3.0):

v6.3.0

This release adds cfa-cli, sts-cli and xsts-cli bindings for bounded analysis.

Modified subprojects (since v6.2.1):
cfa/cfa-analysis
cfa/cfa-cli
common/analysis
sts/sts-analysis
sts/sts-cli
xcfa/xcfa-analysis
xcfa/xcfa-cli
xsts/xsts
xsts/xsts-analysis
xsts/xsts-cli

v6.2.1

Build tool upgrades and other various quality of life improvements

Modified subprojects (since v6.2.0):
cfa/cfa-cli
common/multi-tests
solver/solver-smtlib-cli
sts/sts-cli
xcfa/xcfa-cli
xsts/xsts-cli
xta/xta-cli

v6.2.0

Added bounded portfolio to XCFA CLI (use it with --backend PORTFOLIO --portfolio BOUNDED)

Modified subprojects (since v6.1.0):
common/analysis
xcfa/xcfa-cli