Skip to content

v1.10.0

Latest
Latest
Compare
Choose a tag to compare
@volkm volkm released this 27 May 20:43
· 36 commits to master since this release
1.10.0
9b69c20
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • Improved LpMinMaxLinearEquationSolver, set relevant values in topological solvers.
  • Speed up of MEC decomposition by adjusting loops.
  • Minor improvements for steady-state properties.
  • Improved access to state valuations.
  • Improved parsing: detect and handle integer overflows in expression parsing, and handle irrational probability expressions.
  • Limit Sylvan threads to 1 on Apple Silicon.
  • Bug fixes in computation of cumulative rewards, transient variables in JANI, SMGs with non-synchronizing but labeled actions, in SparseCbAchievabilityQuery and PcaaWeightVectorChecker.
  • Updated shipped dependencies: Eigen, ExprTk, Spot.
  • storm-dft: Set BDD variable ordering for SFT from file.
  • storm-dft: Warning on potential modeling issues.
  • storm-dft: Bug fixes in DFT representant computation and failable elements.
  • storm-pars: Bug fixes in monotonicity computation.
  • storm-pomdp: Added cut-off memory node information.
  • storm-pomdp: Extended handling of terminal states.
  • storm-pomdp: Improved output.
  • Developer: Require at least CMake version 3.22.
  • Developer: Revised includes.
  • Developer: GLPK is optional.
  • Developer: BitVector conforms to std::ranges::range concept.
  • Developer: Improved CI tests and added builds on macOS.
Assets 2
Loading