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.
832 Commits
1 Branch
0 Tags
2.1 MiB
 
 
 
 
 
 
Tree: d4cc2aa3b9
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'd4cc2aa3b9'
${ noResults }
sp d4cc2aa3b9
debugging 		11 months ago
binder Updated Dockerfile 4 years ago
cmake Config flag whether xerces-c is available in Storm 5 years ago
doc Doc: typo 4 years ago
examples debugging 11 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 5 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 11 months ago
slippery_prob_1.yaml added configs and multiple test scripts 11 months ago
slippery_prob_08.yaml added probability arguments 11 months ago
slippery_prob_09.yaml added configs and multiple test scripts 11 months ago
slippery_prob_075.yaml added configs and multiple test scripts 11 months ago
slippery_prob_085.yaml added configs and multiple test scripts 11 months ago
slippery_prob_095.yaml added configs and multiple test scripts 11 months ago
slippery_prob_098.yaml added configs and multiple test scripts 11 months ago
slippery_prob_099.yaml added configs and multiple test scripts 11 months ago
syncscript.sh changed experiment name in syncscript 11 months ago
testall.py changes to testall 11 months ago
testall.sh changes to testall 11 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