sp
/
tempestpy
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
831 Commits
1 Branch
0 Tags
2.1 MiB
 
 
 
 
 
 
Tree: 7cc0f5984a
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '7cc0f5984a'
${ noResults }
sp 7cc0f5984a
debugging 		10 months ago
binder Updated Dockerfile 4 years ago
cmake Config flag whether xerces-c is available in Storm 4 years ago
doc Doc: typo 4 years ago
examples debugging 10 months ago
lib/stormpy fixed unit tests 1 year ago
resources/pybind11 Modified pybind support for C++17 to fix issues with Xcode 11 5 years ago
setup Added structure for GSPN module 4 years ago
src fixed unit tests 1 year ago
tests Support for parsing jani model from string 4 years ago
travis Travis: another fix in installation of dependencies 4 years ago
.gitignore clion build folder ignored 5 years ago
.travis.yml Travis: use latest stable Storm version 4 years ago
CHANGELOG.md Stormpy version 1.6.3 4 years ago
CMakeLists.txt added shields module files 1 year ago
LICENSE license GPLv3, as storm is also under that license 5 years ago
MANIFEST.in Updated setup.py 7 years ago
README.md latest release badge 5 years ago
adv_config.yaml added config / some adversary fixes 1 year ago
setup.cfg Update pytest and sphinx generation for new Jupyter notebooks 4 years ago
setup.py added dtcontrol dependency 1 year ago
slippery_high_prob.yaml added config file 10 months ago
slippery_prob_1.yaml added configs and multiple test scripts 10 months ago
slippery_prob_08.yaml added probability arguments 10 months ago
slippery_prob_09.yaml added configs and multiple test scripts 10 months ago
slippery_prob_075.yaml added configs and multiple test scripts 10 months ago
slippery_prob_085.yaml added configs and multiple test scripts 10 months ago
slippery_prob_095.yaml added configs and multiple test scripts 10 months ago
slippery_prob_098.yaml added configs and multiple test scripts 10 months ago
slippery_prob_099.yaml added configs and multiple test scripts 10 months ago
syncscript.sh changed experiment name in syncscript 10 months ago
testall.py changes to testall 10 months ago
testall.sh changes to testall 10 months ago

README.md

Stormpy - Python bindings for Storm

Build Status GitHub release

Python bindings for Storm, created using PyBind11.

For more information, please check the documentation.

Dependencies

Stormpy depends on pycarl.

Authors

  • Sebastian Junges
  • Matthias Volk