Skip to content

v1.8.0
Compare
Choose a tag to compare
@volkm volkm released this 31 May 19:39
· 235 commits to master since this release
1.8.0
fd1fe70
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Revised implementation of value iteration algorithms and its variants, fixing a bug in the optimistic value iteration heuristic.
  • Experimental support for compiling on Apple Silicon.
  • Added SoPlex as a possible LP solver.
  • Upgraded shipped version of sylvan.
  • Upgraded repo / version for carl (for polynomials), requires carl-storm in at least version 14.23.
  • Removed support for just-in-time compilation (JIT). If the JIT engine is needed, use Storm version 1.7.0.
  • storm-dft: better modularization: improved algorithm for finding independent modules and revised the DFT analysis via modularization.
  • storm-dft: added checks whether a given DFT is well-formed and conventional.
  • storm-pomdp: streamlined implementation for quantitative analysis.
  • storm-pomdp: added clipping for POMDP under-approximation.
  • storm-pomdp: added API for interactive exploration of belief MDPs.
  • Developer: Introduced forward declarations (in their own headers), in particular for storm::RationalNumber, storm::RationalFunction, and storm::json.
  • Developer: LpSolver interface now supports RawMode (to avoid overhead of storm::expression) and indicator constraints.
Assets 2
Loading