Skip to content

v1.9.0

Latest
Latest
Compare
Choose a tag to compare
@volkm volkm released this 22 Aug 12:52
· 39 commits to master since this release
1.9.0
5d5ebe4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
  • Improved expected visiting times (EVTs) and steady state distribution computations.
  • Support for interval-based models.
  • Robust VI.
  • Significantly improved compilation times.
  • Support for logarithm expressions in PRISM and JANI.
  • Support for sin and cos operators, and PI and Euler constants in JANI parser.
  • Extraction of schedulers for minimal expected total rewards.
  • More efficient MEC and SCC decompositions.
  • Revised LP encoding for multi-objective verification under simple strategies.
  • Added CLI option --permute to re-order the states after building.
  • Added CLI option --build:state limit <number> to limit the number of explored states.
  • Print all linked libraries when using --version.
  • Removed support for HyPro and Cuda.
  • Moved gamebased-ar to own library.
  • Various bug fixes.
  • storm-conv: Removed option --stdout.
  • storm-dft: Fixes and improvements for DFT symmetries and DFT simulation.
  • storm-pars: Completely reworked the command-line interface (and partially the C++ API).
  • storm-pars: "Time travelling" optimization.
  • storm-pgcl: Removed the library.
  • Developer: Require at least CMake version 3.15.
  • Developer: Moved storm-config.h.in into src directory.
  • Developer: Use various Dockerfiles in CI.
  • Developer: Revised includes and use pre-compiled headers.
  • Developer: Fixed various compiler warnings.
Assets 2
Loading