Skip to content

Commit f4b4904

Browse files
authored
Stormpy version 1.11.2 (#289)
1 parent d7e0c97 commit f4b4904

File tree

2 files changed

+11
-3
lines changed

2 files changed

+11
-3
lines changed

CHANGELOG.md

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,16 @@ Changelog
44
Version 1.11.x
55
--------------
66

7+
### Version 1.11.2 (2025/10)
8+
Requires Storm version >= 1.11.0. Binaries for this release are linked with Storm 1.11.1.
9+
10+
- Prebuilt binaries on mac require at least macOS version 14 (Apple Silicon) or version 15 (Intel)
11+
- Documentation: Revised installation guide
12+
- Developer: Improved workflow for creating wheels and added support for Linux ARM
13+
- Developer: Use fixed versions for Python dependencies
14+
715
### Version 1.11.1 (2025/09)
8-
Requires Storm version >= 1.11.0
16+
Requires Storm version >= 1.11.0.
917

1018
- Fixed issue in CI workflow for releases
1119

@@ -353,4 +361,4 @@ Version 1.2.x
353361
- Arbitrary-size integers (CLN and GMP)
354362

355363
### Version 1.2.0 (2017/03)
356-
- Start of this changelog
364+
- Start of this changelog

lib/stormpy/_version.py

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

0 commit comments

Comments
 (0)