Skip to content

Commit 687ebd9

Browse files
authored
Stormpy version 1.11.0 (#274)
1 parent 5894b4d commit 687ebd9

File tree

2 files changed

+18
-1
lines changed

2 files changed

+18
-1
lines changed

CHANGELOG.md

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,23 @@
11
Changelog
22
=============
33

4+
Version 1.11.x
5+
--------------
6+
7+
### Version 1.11.0 (2025/09)
8+
Requires Storm version >= 1.11.0
9+
10+
- Restructured build process:
11+
* Migrated build process to scikit-build-core
12+
* Adaptions to build process of Storm
13+
* Developer: added information on used Storm library (e.g. installation location) to `stormpy.info`
14+
* Developer: internal libraries are denoted by underscore prefix (e.g. `_storage`) now
15+
- Generalized functions `get_value` and `get_values_states` for valuations
16+
- Adaption to changes in Storm
17+
- Documentation: Use Sphinx theme Nefertiti and updated documentation
18+
- Developer: CI workflow for new releases including publishing to pypi
19+
20+
421
Version 1.10.x
522
--------------
623

lib/stormpy/_version.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
__version__ = "1.10.1"
1+
__version__ = "1.11.0"

0 commit comments

Comments
 (0)