v6.17.6

Tracegen timeout and BV fixes

Modified subprojects (since v6.17.5):
cfa/cfa-analysis
common/analysis
common/core
frontends/petrinet-xsts
sts/sts-analysis
sts/sts-cli
xcfa/xcfa-cli
xsts/xsts-analysis
xsts/xsts-cli

v6.17.5

PNML parsing fix

Modified subprojects (since v6.17.4):
frontends/petrinet-model

v6.17.4

Final polish on our CHC-COMP submission. Should be final for this year.

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

v6.17.3

MDD improvements, XSTS uses monolithic, var ordering changes, trace generation dfs

Modified subprojects (since v6.17.1):
cfa/cfa-analysis
common/analysis
common/core
frontends/petrinet-xsts
sts/sts-analysis
sts/sts-cli
xcfa/xcfa-cli
xsts/xsts-analysis
xsts/xsts-cli

v6.17.1

XCFA trace generation for MonolithicExpr fixed

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

v6.17.0

This release adds counterexample generation and implicit predicate CEGAR to the MDD-based algorithms

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

v6.16.1

Fix in github actions.

Modified subprojects (since v6.16.0):

v6.16.0

Added chc model generation

Modified subprojects (since v6.15.6):
common/analysis
common/common
common/core
frontends/chc-frontend
solver/solver
solver/solver-smtlib
solver/solver-z3
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli

v6.15.6

Typo in zenodo release

Modified subprojects (since v6.15.5):

v6.15.5

Zenodo release should work automatically now

Modified subprojects (since v6.15.4):