Skip to content

Commit b90e871

Browse files
authored
Stormpy version 1.11.3 (#293)
1 parent ef9afee commit b90e871

File tree

2 files changed

+7
-2
lines changed

2 files changed

+7
-2
lines changed

CHANGELOG.md

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,14 @@ Changelog
44
Version 1.11.x
55
--------------
66

7-
### Version 1.11.2 (2025/10)
7+
### Version 1.11.3 (2025/10)
88
Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.1.
99

10+
- Use latest Storm version in CI workflow for releases.
11+
12+
### Version 1.11.2 (2025/10)
13+
Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.0.
14+
1015
- Prebuilt binaries on mac require at least macOS version 14 (Apple Silicon) or version 15 (Intel)
1116
- Documentation: Revised installation guide
1217
- Developer: Improved workflow for creating wheels and added support for Linux ARM

lib/stormpy/_version.py

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

0 commit comments

Comments
 (0)