moves-rwth/stormpy: v1.12.0

Zenodo (CERN European Organization for Nuclear Research)

Abstract

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

Authors 18

1. Matthias Volk

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology

2. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

3. Hannah
4. Tom Janson
5. Linus
6. Tim Quatmann Aachen @moves-rwth

   RWTH Aachen University

   Affiliation as printed

   @moves-rwth

7. Filip Macák
8. Philipp Schröer Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

9. Tobias Winkler
10. Gereon Kremer
11. Daniel Basgöze
12. Alex Bork Aachen @moves-rwth

    RWTH Aachen University

    Affiliation as printed

    @moves-rwth

13. Lutz Klinkenberg
14. KevinBatz
15. Lisa Oakley
16. Luko van der Maas
17. Maris Galesloot
18. Roman Andriushchenko