Skip to content

v1.11.0

Choose a tag to compare

View all tags
@volkm volkm released this 08 Sep 15:00
1.11.0
e52ebd1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • Completely restructured CMake build process:
    • Storm can now be properly installed.
    • Carl-storm is now automatically fetched from a predefined repository and tag. Use CMake option -DFETCHCONTENT_SOURCE_DIR_CARL=<path_to_carl> to set a local path.
  • Improved support for interval models, especially parsing support for Prism models with intervals and CLI support for interval models.
  • Support for discounted properties in DTMCs and MDPs.
  • Added guessing value iteration.
  • Support exporting schedulers for multi-objective properties.
  • Revised implementation of conditional probabilities for MDPs.
  • Added building of choice labels for Jani.
  • Support time limits for the Gurobi LP Solver.
  • Various fixes in DRN parser, BitVector, (negative) expected rewards, parsing of PDEP and for compiler warnings.
  • Updated dependencies: carl-storm, gmm, googletest, l3pp, spot.
  • Removed support for Intel TBB.
  • Developer: Replaced GmmxxMultiplier by ViOperatorMultiplier.
  • Developer: Added CI workflow for new releases.
Assets 2
Loading