Skip to content

v6.0.0
Compare
Choose a tag to compare
@github-actions github-actions released this 12 Jul 22:12
· 446 commits to master since this release
v6.0.0
d825dc1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release adds the following:

  • Generalized Checker and Result interfaces
  • Expression MDDs (hu.bme.mit.theta.analysis.algorithm.mdd.expressionnode package): MDD structure from Theta Expr with lazy enumeration
  • Direct petrinet-based analyses (theta-petrinet-analysis subproject)
  • BFS, Saturation and Generalized Saturation fixed point enumaration algorithms
  • MDD-based SafetyChecker for STS and XSTS

Modified subprojects (since v5.4.0):
cfa/cfa
cfa/cfa-analysis
cfa/cfa-cli
common/analysis
common/common
common/core
common/grammar
common/multi-tests
frontends/c-frontend
frontends/llvm
frontends/petrinet-frontend
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/llvm2xcfa
xcfa/xcfa
xcfa/xcfa-analysis
xcfa/xcfa-cli
xsts/xsts
xsts/xsts-analysis
xsts/xsts-cli
xta/xta
xta/xta-analysis
xta/xta-cli

Assets 8
Loading