Skip to content

v1.13.0

Choose a tag to compare

View all tags
@volkm volkm released this 16 May 11:07
· 20 commits to master since this release
1.13.0
071b782
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.13.0.

  • Repository moved to stormchecker/stormpy
  • Support for exact intervals in sparse models, matrices, schedulers, model components, model checking, DRN build/export, and the Kwek-Mehlhorn sharpening utility
  • Added bindings for monitor verification
  • Added bindings for conditional model checking
  • Added add_next_values method on SparseMatrix for faster build from numpy arrays
  • Adaption to changes in Storm:
    • Scheduler for ExplicitQualitativeCheckResult
    • Added ObservationTraceUnfolderOptions
  • Bugfixes for release workflow and rpath
  • Developer: added git_hash
  • Developer: revised CI workflows w.r.t. OS configurations, Storm version, Docker login
  • Developer: improved CI for wheel creation
  • Developer: simplified Dockerfile for Binder
Assets 2
Loading