issues
search
moves-rwth
/
stormpy
Python Bindings for the Probabilistic Model Checker Storm
https://moves-rwth.github.io/stormpy/
GNU General Public License v3.0
28
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Dependabot to automatically update Github actions
#166
volkm
opened
3 days ago
0
Install setuptools in Dockerfile
#165
volkm
closed
1 week ago
1
Changes in storm.
#164
sjunges
closed
1 week ago
0
Python Paths
#163
sjunges
opened
2 weeks ago
1
Support for pyproject.toml
#162
sjunges
opened
2 weeks ago
1
Package stormpy as a wheel
#161
linusheck
opened
1 month ago
6
Skip zero entries when creating a sparse matrix from numpy
#160
volkm
closed
2 months ago
0
Linking error when installing Stormpy
#159
charlie1329
closed
2 months ago
4
Add interpreter lock release to POMDP check function
#158
AlexBork
opened
3 months ago
4
dd-to-sparse engine
#157
temunds
closed
3 months ago
6
All-in-one support
#156
sjunges
closed
5 months ago
0
ADD and its iterators do not have tests
#155
sjunges
opened
5 months ago
0
some ADD support, improved valuation support, towards access for resu…
#154
sjunges
closed
5 months ago
0
bugfix for Expression.Disjunction: was a conjunction before
#153
sjunges
closed
5 months ago
0
update with latest change in storm
#152
sjunges
closed
5 months ago
0
Replace force_fully_observable by dedicated transformation beforehand
#151
volkm
opened
5 months ago
0
Bindings for intervals
#150
volkm
closed
5 months ago
1
add missing include
#149
sjunges
closed
5 months ago
2
Adaption to changes in storm-dft
#148
volkm
closed
5 months ago
1
enable exploration checks in builder options
#147
randriu
closed
5 months ago
1
currently no sysversions of pybind
#146
sjunges
closed
5 months ago
2
Adapted test to changes in #138
#145
volkm
closed
6 months ago
1
Patch to pybind11 to avoid issue with concat
#144
volkm
closed
6 months ago
0
Remove MinMaxMethod "topological_cuda"
#143
tquatmann
closed
6 months ago
1
Copies and different orders in std::set
#142
sjunges
opened
6 months ago
0
Added missing include
#141
volkm
closed
6 months ago
0
Build fails after changes in modernjson
#140
volkm
closed
6 months ago
9
Added a test for setting undefined constants in Prism program
#139
volkm
closed
6 months ago
0
minor change in API
#138
sjunges
closed
6 months ago
1
CI: improved build configurations
#137
volkm
closed
7 months ago
2
Building sparse parametric model fails
#136
lukearcus
closed
7 months ago
5
Possible error in POMDP model parsing
#135
oyendrila-dobe
closed
7 months ago
1
Explicitly provide class template (fixes #131)
#134
tquatmann
closed
7 months ago
0
Add bindings for computing steady-state distributions
#133
tquatmann
closed
8 months ago
0
Computing steady-state probability vector
#132
temunds
closed
8 months ago
2
Difficulty installing stormpy
#131
zisserj
closed
8 months ago
1
CMake updates
#130
volkm
closed
10 months ago
2
Parametric model components
#129
volkm
closed
10 months ago
0
can't check DTMC model
#128
Serendipity953
opened
10 months ago
6
Unable to check model
#127
netro505
closed
7 months ago
2
fix for boost 1.82
#126
sjunges
closed
10 months ago
1
Add bindings for quantitative POMDP analysis
#125
AlexBork
closed
7 months ago
9
Avoid import error in test if numpy is not present
#124
volkm
closed
11 months ago
0
Updated Dockerfile for Binder
#123
volkm
closed
11 months ago
0
Stormpy version 1.8.0
#122
volkm
closed
11 months ago
0
Added Dockerfile
#121
volkm
closed
12 months ago
0
Externally-managed-environment error in Docker container
#120
volkm
closed
12 months ago
0
Adaption to changes in storm-pomdp
#119
volkm
closed
12 months ago
0
Getting DTMC from given MDP and policy
#118
MrBly
closed
1 year ago
16
Added missing import statement in Jupyter notebook for parametric models
#117
volkm
closed
1 year ago
1
Next