Skip to content

v1.10.0

Latest
Latest
Compare
Choose a tag to compare
@volkm volkm released this 31 May 18:00
· 23 commits to master since this release
1.10.0
8bb22e2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Requires Storm version >= 1.10.0

  • Integrated pycarl into stormpy. Pycarl is no longer available as a separate library.
  • Support for forcing exact mode in environment
  • Support for building Prism SMGs
  • Support for building interval POMDPs from DRN
  • Added convenience functions for state valuations
  • Multi-objective plotting
  • Check DFT for potential modeling issues
  • Added argument use_groups to submatrix
  • Bug fixes in interactive belief explorer, prob01max_states, parsing properties and program.variables
  • Improved documentation
  • Adaption to changes in Storm
  • Developer: support for automatic code formatting
  • Developer: support for multi-platform Docker images
  • Developer: use C++20
Assets 2
Loading