184 Commits (77debd6847ac2bbda598ad8e5c79c60bb3fa00b1)
 

Author SHA1 Message Date
Matthias Volk 77debd6847 Install sphinx_bootstrasp_theme in travis for generating docs 7 years ago
Matthias Volk 25e222ded0 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy 7 years ago
Sebastian Junges 400f02d3e1 add link to examples folder 7 years ago
Sebastian Junges c66c6552c8 added links in getting started 7 years ago
Sebastian Junges a6712ba672 05 getting started should be 06 getting started 7 years ago
Sebastian Junges d78cf41b96 Change to bootstrap theme 7 years ago
Matthias Volk 2c81318030 Bindings for storm versions 7 years ago
Sebastian Junges a2903b197b include imported members 8 years ago
Sebastian Junges 1513c2162c example for iterating over the matrix 8 years ago
Sebastian Junges 9f9b704611 slightly extended test in model instantiator 8 years ago
Matthias Volk 8c122e11cb Run all tests in travis 8 years ago
Matthias Volk 7d5fa6edc5 Updated changelog 8 years ago
Matthias Volk 039427b541 Check storm version 8 years ago
Matthias Volk 72cb102013 Test for model instantiation 8 years ago
Matthias Volk e13df9b2ec Formatted tests according to PEP 8 years ago
Matthias Volk f6f28b4621 Make config from info available 8 years ago
Matthias Volk 9a73e0cd45 Use stormpy definitions of pycarl types in tests 8 years ago
Matthias Volk d78c86a746 Removed type in getting_started 8 years ago
Matthias Volk 12b934267e Refactored documentation examples according to PEP 8 years ago
Matthias Volk 8b2a11ad42 Added docs to methods in lib 8 years ago
Matthias Volk 3fda6ba227 Get stormpy version similar to pycarl 8 years ago
Sebastian Junges 2459fdfab9 Link to travis with a build passing image. 8 years ago
Sebastian Junges 13d8d6f5ca run doctest on getting started 8 years ago
Sebastian Junges 9dfd1b3615 getting started can now be checked by doctest 8 years ago
Sebastian Junges aed4dffd13 make sure that examples are run when running tests 8 years ago
Sebastian Junges 201aaa115d make sure examples run through again 8 years ago
Matthias Volk 2b12983572 Updated Changelog 8 years ago
Matthias Volk 66da4e5463 Made expression module part of storage module 8 years ago
Matthias Volk e4c53a47c9 Changed README 8 years ago
Matthias Volk 540a3f4e0c Refactored constraint collector 8 years ago
Matthias Volk e27a6f5265 Added bindings for RegionResultHypthesis 8 years ago
Matthias Volk ed1a7723fd Fixed some links in documentation 8 years ago
Matthias Volk 02672f91bb Automatically generate gh-pages in travis 8 years ago
Matthias Volk 921e88f0da Remove mail address in travis 8 years ago
Matthias Volk ac86bb8c4a Fixed typo in travis 8 years ago
Matthias Volk 30e0deeb8f Use deprecated images in travis 8 years ago
Matthias Volk 4c64f2a0fe Use PYBIND11_MODULE instead of PYBIND11_PLUGIN 8 years ago
Matthias Volk d62afb248b Started on travis for stormpy 8 years ago
Matthias Volk 0c146601f0 Updated to new pybind version 8 years ago
Matthias Volk ecd1b1f528 Import not needed in test 8 years ago
Matthias Volk 979844a698 Gitignore for generated files 8 years ago
Matthias Volk 1c846ad3fa Updated changelog 8 years ago
Matthias Volk 21e9bbf34a Python bindings for storm-pars 8 years ago
Matthias Volk a175c16c09 Create missing dir in setup.py 8 years ago
Matthias Volk 480c268679 Bindings for graph constraints 8 years ago
Matthias Volk b6061cc620 Updated bindings to new api 8 years ago
Matthias Volk c780ce6a0e Updated labeling bindings to new data structures 8 years ago
Matthias Volk ed4fba1277 Updated tests as matrix does not contain 0-transitions anymore 8 years ago
Matthias Volk c7b3fae4d0 Binding for exporting into DRN format 8 years ago
Matthias Volk 8f252c20d4 Added setup.py flags --jobs and --debug 8 years ago