v5.3.0

This release adds theta-core-level support for the Enum type. Thank you @RipplB!

Modified subprojects (since v5.2.1):
common/core
solver/solver-javasmt
solver/solver-smtlib
solver/solver-z3
solver/solver-z3-legacy
xsts/xsts
xsts/xsts-analysis
xta/xta

v5.2.1

This release fixes some bugs in the SMT-LIB integration and adds support for the latest solver versions.

Modified subprojects (since v5.2.0):
solver/solver-smtlib

v5.2.0

This release adds the multi formalism to allow the creation of product models. Thank you @RipplB!

Modified subprojects (since v5.1.1):
cfa/cfa
cfa/cfa-analysis
common/analysis
common/core
common/multi-tests
xsts/xsts
xsts/xsts-analysis

v5.1.1

Pointer support, OC checker, and many c-frontend enhancements.

Modified subprojects (since v5.1.0):
common/analysis
common/common
common/core
common/grammar
frontends/c-frontend
frontends/chc-frontend
solver/solver-javasmt
solver/solver-smtlib
solver/solver-z3-legacy
xcfa/c2xcfa
xcfa/litmus2xcfa
xcfa/llvm2xcfa
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli

v5.1.0

Added JavaSMT as a new solver subproject.

Modified subprojects (since v5.0.6):
common/core
solver/solver-javasmt
solver/solver-z3
solver/solver-z3-legacy
xcfa/xcfa-cli

v5.0.6

Fix interpolation with smtinterpol

Modified subprojects (since v5.0.5):
solver/solver-smtlib

v5.0.5

Various quality-of-life updates, including better llvm handling

Modified subprojects (since v5.0.4):
frontends/llvm
xcfa/llvm2xcfa

v5.0.4

Added docker image for xcfa-cli.

Modified subprojects (since v5.0.3):

v5.0.3

Action update.

Modified subprojects (since v5.0.2):

v5.0.2

Updated Z3 to 4.13.0, kept legacy solver Modified subprojects (since v5.0.1): cfa/cfa-analysis cfa/cfa-cli common/analysis solver/graph-solver solver/solver-z3 solver/solver-z3-legacy sts/sts-analysis sts/sts-cli xcfa/cat xcfa/litmus2xcfa xcfa/xcfa xcfa/xcfa-analysis xcfa/xcfa-cli xsts/xsts-analysis xsts/xsts-cli xta/xta-analysis xta/xta-cli