Skip to content

v1.13.0

Latest
Latest

Choose a tag to compare

View all tags
@volkm volkm released this 15 May 11:13
· 4 commits to master since this release
1.13.0
c398ae4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • Moved repository to stormchecker/storm.
  • Import/export of explicit models in (binary) UMB format.
  • Support for exact intervals, parsing exact intervals from Prism and bounded model checking of interval DTMC and interval MDP.
  • Support for monitor verification.
  • Extended support for conditional model checking.
  • Added scheduler to ExplicitQualitativeCheckResult.
  • Adaption to changes of CMake options in carl-storm.
  • Revised installation paths.
  • Updated dependencies: carl-storm, ExprTk, Spot.
  • Renamed directories: storm-cudd and cpphoafparser.
  • Bug fixes:
    • in Unif+ for Markov automata with non-Markovian initial states
    • dangling reference to tmp object
    • assert in observation trace unfolder
    • warning in ConditionalHelper
    • error for IDTMC checking from CLI
    • in includes
    • compiler warnings
  • Developer: Added support for intervals in multipliers.
  • Developer: Extended differentation of ValueType and SolutionType in more places.
  • Developer: Added support for creating Debian packages in CMake and via CI workflow.
  • Developer: minor fixes in CI workflows.
Assets 6
Loading