v6.15.4

Added zenodo-release to github actions

Modified subprojects (since v6.15.3):

v6.15.3

CHC-COMP portfolio fix

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

v6.15.2

Fixed configuration issues with CHC-COMP'25 submission

Modified subprojects (since v6.15.1):
frontends/chc-frontend
xcfa/xcfa-cli

v6.15.1

CHC to XCFA fixes

Modified subprojects (since v6.15.0):
frontends/chc-frontend
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli

v6.15.0

On-the-fly reachability analysis for MDDs

Modified subprojects (since v6.14.1):
common/analysis
xsts/xsts-analysis

v6.14.1

RatExpr handling for MDDs

Modified subprojects (since v6.14.0):
common/analysis
common/core

v6.14.0

This release improves MDD performance

Modified subprojects (since v6.13.2):
common/analysis
common/core
frontends/petrinet-analysis
frontends/petrinet-model
frontends/petrinet-xsts
xsts/xsts-analysis

v6.13.2

Removed inlining option from CHC

Modified subprojects (since v6.13.1):
xcfa/xcfa

v6.13.1

CHC-COMP'25 fixed release

Modified subprojects (since v6.13.0):

v6.13.0

Theta for CHC-COMP'25

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