Skip to content

v1.7.0
Compare
Choose a tag to compare
@volkm volkm released this 31 Jul 19:29
· 134 commits to master since this release
1.7.0
6fbc5bf
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.

Requires Storm version >= 1.7.0 and pycarl version >= 2.1.0

  • Support for plotting via extras plot
  • Support for LTL model checking via Spot
  • Some support for multi-objective model checking queries
  • Bindings for maximal end components
  • Support for computing expected number of visits
  • Added accessors for Prism program
  • Added documentation for simulator
  • Support for building complete/partial state space of DFT
  • Instantiator for parametric DFT
  • Simulator for DFT
  • Added Dockerfile
  • Developer: stormpy is built with C++17
  • Developer: updated pybind11 to version 2.8.1 and adapted bindings accordingly
  • Adaption to changes in Storm such as the new namespace storm::dft
Assets 2
Loading