Skip to content

Scikit fix #234

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sjunges merged 85 commits into from
Jun 17, 2025
Merged

Scikit fix #234

Changes from all commits
Commits
Show all changes
85 commits
Select commit Hold shift + click to select a range
04362be
first version of documentation for simulators
sjunges May 19, 2022
c20112a
some ADD support, improved valuation support, towards access for resu…
sjunges Jan 2, 2024
a49dba3
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Jan 3, 2024
8c6ecc5
update
sjunges May 22, 2024
a23b688
rational function inclusion to reflect changes in main storm
sjunges May 22, 2024
f7fb788
recent changes in storm
sjunges May 23, 2024
34415ef
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Sep 25, 2024
498c3a5
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Sep 27, 2024
95099cd
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Nov 9, 2024
2d493b1
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Jan 13, 2025
b01d533
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Mar 23, 2025
2a439b4
updates for using cmakeupdates
sjunges Jun 1, 2025
c94cecd
Merge branch 'setup' into scikit
sjunges Jun 1, 2025
22d7b51
version and rpath
sjunges Jun 2, 2025
95304a4
for fetch, storm has gspn, dft, pars, etc.
sjunges Jun 3, 2025
c295c19
add cibuldwheel example
lukovdm Jun 3, 2025
55aa1fc
new pybind version
lukovdm Jun 3, 2025
b22248f
disable patch pybind
lukovdm Jun 3, 2025
679f399
add dependecy installs to linux wheel
lukovdm Jun 3, 2025
3f72b84
fix dep in wheel
lukovdm Jun 3, 2025
76400d4
test
lukovdm Jun 3, 2025
320bc56
test
lukovdm Jun 3, 2025
9b43d41
disable patch pybind
lukovdm Jun 3, 2025
25d62de
add macos deps
lukovdm Jun 3, 2025
6b374b2
better linux and macos setup
lukovdm Jun 3, 2025
166b152
make before all linux executable
lukovdm Jun 3, 2025
a569f8e
fix xcode issues and use old boost
lukovdm Jun 3, 2025
97ca9d8
fix macos xcode version
lukovdm Jun 3, 2025
3ba9235
fix xcode again and change repair wheel for linux
lukovdm Jun 4, 2025
7553edd
fix macos-arm hopefully
lukovdm Jun 4, 2025
7b29574
fix macos
lukovdm Jun 4, 2025
fd87cda
change xcode version on arm
lukovdm Jun 4, 2025
b794de5
remove compat again from macos
lukovdm Jun 4, 2025
b4c3b2a
fix portable
lukovdm Jun 4, 2025
14f38f4
change xcode repair command
lukovdm Jun 4, 2025
064d386
add cmake portable args and move to pyproject.toml
lukovdm Jun 4, 2025
63c1ba0
remove universal arch
lukovdm Jun 4, 2025
e01ecc4
change python version
lukovdm Jun 5, 2025
4aa7697
debug repair wheel info
lukovdm Jun 5, 2025
5c9076d
better debug
lukovdm Jun 5, 2025
2451d5f
better debug linux
lukovdm Jun 6, 2025
007da3b
also run repair
lukovdm Jun 6, 2025
9cd8dd2
update storm version for fetch
sjunges Jun 6, 2025
61c9058
updates rpath
sjunges Jun 6, 2025
81b068e
Merge branch 'scikit' of github.com:sjunges/stormpy into cibuildwheel
lukovdm Jun 6, 2025
ca71e7f
Merge pull request #1 from lukovdm/cibuildwheel
sjunges Jun 6, 2025
59c1175
update rpaths
sjunges Jun 6, 2025
1392502
Merge branch 'scikit' of https://github.com/sjunges/stormpy into scikit
sjunges Jun 6, 2025
8b66a2a
update storm version to one without binaries
sjunges Jun 6, 2025
8ac3e2c
Merge branch 'master' into scikit
sjunges Jun 6, 2025
a418583
new storm version
sjunges Jun 6, 2025
f1903f3
Merge branch 'scikit' of https://github.com/sjunges/stormpy into scikit
sjunges Jun 6, 2025
29d55a8
some updates after a succesful run
sjunges Jun 6, 2025
4745894
only x86, reduce python versions to build quicker
sjunges Jun 6, 2025
cfc2931
update xcode version to 15.4
sjunges Jun 6, 2025
e8f999b
also use another macosx version for arm
sjunges Jun 6, 2025
5e6ed29
skip musl on linux for now
sjunges Jun 7, 2025
0378680
fix
sjunges Jun 7, 2025
5ff6f02
dependency vars
sjunges Jun 7, 2025
1a89e53
skip musl in toml file
sjunges Jun 7, 2025
4ea6af2
macosx target updated
sjunges Jun 7, 2025
d858f88
allow spot, always fetch
sjunges Jun 9, 2025
0037d39
use newest storm
sjunges Jun 9, 2025
105ad7d
test wheel in distros
lukovdm Jun 10, 2025
10b5742
correct docker testing of wheels
lukovdm Jun 10, 2025
0012936
fix matrix distro
lukovdm Jun 10, 2025
cdc6f7b
change distros
lukovdm Jun 11, 2025
0189eaa
Allow Storm system version, storm dir hint and reverted to old pybind…
volkm Jun 12, 2025
ca92bbf
Small changes in wheelpypi CI
volkm Jun 12, 2025
f9c6750
Use pybind version 2.12.1
volkm Jun 12, 2025
112bfa4
Add numpy as dependency to tests
volkm Jun 12, 2025
7d07cbb
Merge pull request #2 from lukovdm/cibuildwheel
sjunges Jun 14, 2025
59af011
better todo message
sjunges Jun 14, 2025
db2d839
Merge branch 'scikit' of https://github.com/sjunges/stormpy into scikit
sjunges Jun 14, 2025
7c4a2e9
Run wheelpyip tests weekly
volkm Jun 16, 2025
4048267
Updated Dockerfiles
volkm Jun 16, 2025
473e933
ALLOW_STORM_SYSTEM=ON
volkm Jun 16, 2025
07840d0
Consistent naming in buildtest
volkm Jun 16, 2025
f3baf1d
CI tests for fetching Storm
volkm Jun 16, 2025
0a0dab5
Wheel tests for macOS
volkm Jun 16, 2025
fcbcd1e
Set correct deploy target in wheelpypi
volkm Jun 17, 2025
b0a4efc
fetch from storm master
sjunges Jun 17, 2025
69e4e86
Merge branch 'scikit' of https://github.com/sjunges/stormpy into scikit
sjunges Jun 17, 2025
ed548d9
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Jun 17, 2025
e1981b0
Merge branch 'master' into scikit
sjunges Jun 17, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,9 +80,8 @@ if (NOT storm_FOUND AND ALLOW_STORM_FETCH)
SET(STORM_BUILD_EXECUTABLES OFF)
FetchContent_Declare(
storm
GIT_REPOSITORY https://github.com/sjunges/storm.git
GIT_TAG 7be4a3f79a12a967d33cf2c0e112672d4a72a276 #
#SOURCE_DIR /Users/junges/storm/
GIT_REPOSITORY https://github.com/moves-rwth/storm.git
GIT_TAG master
)
FETCHCONTENT_MAKEAVAILABLE(storm)
include(${storm_BINARY_DIR}/stormOptions.cmake)
Expand Down
Loading