Skip to content

v1.7.0
Compare
Choose a tag to compare
@volkm volkm released this 29 Jul 18:27
· 408 commits to master since this release
1.7.0
3222e5d
  • Fixed a bug in LP-based MDP model checking.
  • DRN Parser is now more robust, e.g., it does no longer depend on tabs.
  • PRISM Parser: Modulo with negative numbers is now consistent with Prism.
  • Added lexicographic multi-objective model checking. Use --lex in the command line interface when specifying a multi(...) property.
  • Fix handling duplicate entries in the sparse matrix builder.
  • Added support for step-bounded until formulas in LTL.
  • Added Dockerfile.
  • API: Applying a fully defined deterministic memoryless scheduler to an MDP yields a DTMC.
  • storm-dft: Use dedicated namespace storm::dft.
  • storm-dft: Added support (parsing, export, BDD analysis) for additional BE failure distributions (Erlang, log-normal, Weibull, constant probability).
  • storm-dft: Added instantiator for parametric DFT.
  • Developer: Storm is now built in C++17 mode.
  • Developer: Added support for automatic code formatting for storm-dft.
Assets 2
Loading