912 Commits (refactoring)
 

Author SHA1 Message Date
Matthias Volk a7540171ba Bindings for simplification of parametric models 7 years ago
Matthias Volk 3ac4086369 Added space 7 years ago
Matthias Volk 5a26d0e99f Test for building MDP 7 years ago
Matthias Volk f47f8ee4ed Uppercase Storm in documentation 7 years ago
Matthias Volk fae092dbad Small updated in README 7 years ago
Matthias Volk d89282b517 Moved build status to top in README 7 years ago
Sebastian Junges 54e6989ebc Update stormpy version 7 years ago
Sebastian Junges 1426510b57 We depend on the latest storm version and pycarl version (delayed update) 7 years ago
Sebastian Junges 06e397f9f9 support model checking from formulas (instead of just from properties) 7 years ago
Sebastian Junges 6e55f64a14 Add constructor for BooleanLiteralFormula 7 years ago
Matthias Volk bbbdbd6c69 Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy 7 years ago
Matthias Volk 19f8d47202 Fixed import problem in tests when storm-pars is not available 7 years ago
Sebastian Junges 716c6be910 extended getting started with the model type 7 years ago
Sebastian Junges a96fda66fc Fix installation guide 7 years ago
Matthias Volk 14eedd6ca3 Skip tests if submodules are not supported 7 years ago
Matthias Volk d365b00de8 Raise StormError 7 years ago
Matthias Volk 70e1985ad0 Raise StormError if symbolic description has undefined constants 7 years ago
Matthias Volk 1197155d8d Binding for undefined_constants_are_graph_preserving 7 years ago
Matthias Volk d26202c402 Base class for storm exceptions 7 years ago
Matthias Volk ddae1c8c80 Test (currently) unsupported jani property 7 years ago
Matthias Volk 24571195cd Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/stormpy 7 years ago
Matthias Volk 5021d8b8ea Updated changelog 7 years ago
Matthias Volk fda8003bc5 Tests for model checking jani file 7 years ago
Matthias Volk 29cfa574b8 Bindings for instantiating constants in SymbolicModelDescriptions 7 years ago
Sebastian Junges e1ad468963 extended example 06 7 years ago
Sebastian Junges 36b16e0ccb Fix indention in getting started docs 7 years ago
Matthias Volk 219b342da5 Test for jani property 7 years ago
Matthias Volk 6e126e5641 Bindings for JANI 7 years ago
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 7 years ago
Sebastian Junges 1513c2162c example for iterating over the matrix 7 years ago
Sebastian Junges 9f9b704611 slightly extended test in model instantiator 7 years ago
Matthias Volk 8c122e11cb Run all tests in travis 7 years ago
Matthias Volk 7d5fa6edc5 Updated changelog 7 years ago
Matthias Volk 039427b541 Check storm version 7 years ago
Matthias Volk 72cb102013 Test for model instantiation 7 years ago
Matthias Volk e13df9b2ec Formatted tests according to PEP 7 years ago
Matthias Volk f6f28b4621 Make config from info available 7 years ago
Matthias Volk 9a73e0cd45 Use stormpy definitions of pycarl types in tests 7 years ago
Matthias Volk d78c86a746 Removed type in getting_started 7 years ago
Matthias Volk 12b934267e Refactored documentation examples according to PEP 7 years ago
Matthias Volk 8b2a11ad42 Added docs to methods in lib 7 years ago
Matthias Volk 3fda6ba227 Get stormpy version similar to pycarl 7 years ago
Sebastian Junges 2459fdfab9 Link to travis with a build passing image. 7 years ago