Skip to content

v1.6.3
Compare
Choose a tag to compare
@volkm volkm released this 01 Dec 20:15
· 326 commits to master since this release
1.6.3
6fc0d72
This commit was signed with the committer’s verified signature.
volkm Matthias Volk
GPG key ID: 83A57678F739FCD3
Verified
Learn about vigilant mode.

Requires Storm version >= 1.6.3 and pycarl version >= 2.0.4

  • Documentation is largely based on Jupyter notebooks now and supports launch with Binder
  • Support for exact arithmetic in models
  • Support for timeouts/signal handlers in Storm
  • Code for parametric/exact/floating-point models data structures unified
  • Extended support for Prism and Jani data structures
  • export_parametric_to_drn no longer exists, use export_to_drn instead
Assets 2
Loading