8000 Release v1.2.2 · moves-rwth/storm · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

v1.2.2
Compare
Choose a tag to compare
@volkm volkm released this 16 Jul 20:29
· 3990 commits to master since this release
1.2.2
2cfdb56
  • Sound value iteration (SVI) for DTMCs and MDPs
  • Topological solver for linear equation systems and MinMax equation systems (enabled by default)
  • Added support for expected total rewards in the sparse engine
  • By default, iteration-based solvers are no longer aborted after a given number of steps.
  • Improved export for jani models
  • A fix in parsing jani properties
  • Several extensions to high-level counterexamples
  • storm-parsers extracted to reduce linking time
  • storm-counterexamples extracted to reduce linking time
  • storm-dft: improvements in Galileo parser
  • storm-dft: test cases for DFT analysis
  • Improved Storm installation
  • Several bug fixes
Assets 2
Loading
0