Skip to content

v1.6.0
Compare
Choose a tag to compare
@volkm volkm released this 08 Jun 14:46
· 1776 commits to master since this release
1.6.0
0cb0ca8
  • Changed default Dd library from cudd to sylvan. The Dd library can be changed back to cudd using the command line switch --ddlib.
  • Scheduler export: Properly handle models with end components. Added export in .json format.
  • CMake: Search for Gurobi prefers new versions
  • CMake: We no longer ship xerces-c. If xerces-c is not found on the system, storm-gspn will not be able to parse xml-based GSPN formats
  • CMake: Added option STORM_LOAD_QVBS to automatically download the quantitative verification benchmark set.
  • Eigen library: The source code of Eigen is no longer included but downloaded from an external repository instead. Incremented Eigen version to 3.3.7 which fixes a compilation issue with recent XCode versions.
  • Tests: Enabled tests for permissive schedulers
  • storm-counterexamples: fix when computing multiple counterexamples in debug mode
  • storm-dft: Renamed setting --show-dft-stats to dft-statistics and added approximation information to statistics.
  • storm-pomdp: Implemented approximation algorithms that explore (a discritization of) the belief MDP, allowing to compute safe lower- and upper bounds for a given property.
  • storm-pomdp: Implemented almost-sure reachability computations: graph-based, one-shot SAT-based, and iterative SAT-based
  • storm-pomdp: Various changes such that transformation to pMCs is now again supported (and improved)
  • Fixed several compiler warnings.
Assets 2
Loading