Requires Storm version >= 1.13.0.

• Developer: Fixes in CI builds of Python wheels

Requires Storm version >= 1.13.0.

• Support for weighted objective model checking and reversing the obtained scheduler to a scheduler on the original model
• Added bindings for importing and exporting the UMB format
• Support transformations for subsystems and ECs with exact/interval transitions
• Support for creating Storm rational numbers from fractions.Fraction
• Developer: formatted C++ code via clang-format
• Developer: migrated from py::enum_ to py::native_enum, the string representation is provided via friendly_name()
• Developer: made includes consistent

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

Requires Storm version >= 1.12.0.

• Require Python >= 3.10
• Improved support for interval DTMC/MDP:
  • Added support for building interval models from Prism files
  • Added support for model checking interval models
  • Set uncertainty resolution via CheckTask.set_uncertainty_resolution_mode which replaces set_robust_uncertainty
• Extended support for JANI
• Added bindings for memory structures
• Introduce collect_all_parameters
• Extended support for MA
• Adaption to changes in Storm:
  • Added RegionRefinementChecker
  • Use DirectEncodingExporterOptions instead of DirectEncodingOptions
  • Added StateValuationTransformer
• Bugfixes for pybind 3.0.2 and building on manylinux
• Developer: enforce exact pybind11 version
• Developer: unified declaration of (parametric) models
• Developer: Markdown support in documentation via Myst
• Developer: weekly CI tests for wheel generation
• Developer: consistent use of #pragma once
• Developer: automated formatting of C++ code via clang-format

Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.1.

• Use latest Storm version in CI workflow for releases.

Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.0.

• Prebuilt binaries on mac require at least macOS version 14 (Apple Silicon) or version 15 (Intel)
• Documentation: Revised installation guide
• Developer: Improved workflow for creating wheels and added support for Linux ARM
• Developer: Use fixed versions for Python dependencies

Requires Storm version >= 1.11.0

• Fixed issue in CI workflow for releases

Requires Storm version >= 1.11.0

• Restructured build process:
  • Migrated build process to scikit-build-core
  • Adaptions to build process of Storm
  • Developer: added information on used Storm library (e.g. installation location) to stormpy.info
  • Developer: internal libraries are denoted by underscore prefix (e.g. _storage) now
• Generalized functions get_value and get_values_states for valuations
• Adaption to changes in Storm
• Documentation: Use Sphinx theme Nefertiti and updated documentation
• Developer: CI workflow for new releases including publishing to pypi

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

Requires Storm version >= 1.9.0 and pycarl version >= 2.3.0

• Support for computing steady-state distributions
• Support for quantitative POMDP analysis
• Support for interval-based models
• Extended ADD support
• Support for all-in-one MDP
• Bindings for Smg and GameFormula
• Build parametric models from model components
• Improved access to state valuations, choice labels and choice origins
• Adaption to changes in Storm such as DFT simulator
• Developer: improved build process