This release adds LTL checking capabilities to Theta. Thank you @RipplB!
Modified subprojects (since svcomp25):
cfa/cfa
cfa/cfa-analysis
cfa/cfa-cli
common/analysis
common/common
common/core
common/grammar
common/ltl
common/ltl-cli
common/multi-tests
frontends/c-frontend
frontends/chc-frontend
frontends/llvm
frontends/petrinet-frontend
solver/graph-solver
solver/solver
solver/solver-javasmt
solver/solver-smtlib
solver/solver-smtlib-cli
solver/solver-z3
solver/solver-z3-legacy
sts/sts
sts/sts-analysis
sts/sts-cli
xcfa/c2xcfa
xcfa/cat
xcfa/litmus2xcfa
xcfa/llvm2xcfa
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli
xcfa/xcfa2chc
xsts/xsts
xsts/xsts-analysis
xsts/xsts-cli
xta/xta
xta/xta-analysis
xta/xta-cli
Contributors
RipplB