117 Commits (5eb7af76b135fc3a89a75cd265f4b3528b2c0122)

Author SHA1 Message Date
Sebastian Junges 910e24a73e fixed tests based on changes in storm 6 years ago
Sebastian Junges 98e61814f8 fix test to use new capitalised operators 6 years ago
Sebastian Junges cec2861a5d several extensions and fixes for jani data structures 6 years ago
Matthias Volk befee6332f Added simple filtering for initial states 6 years ago
Sebastian Junges ad4ce3199f add some variants of prism to jani 6 years ago
Sebastian Junges 1967781527 add (failing) prism to jani test 6 years ago
Sebastian Junges b2b647203b add pomdp support to stormpy 6 years ago
Matthias Volk 8c8e46b8a3 Added elimination of reward accumulations in Jani 6 years ago
Matthias Volk 1c4e589a11 I/O tests for DFTs 6 years ago
Matthias Volk 1308fe2e93 Changes according to DFT loading in Storm 6 years ago
Matthias Volk 944b5bd01c Updated test as TimeOperatorFormulas are now supported in Storm 6 years ago
Matthias Volk a7cc7b3086 Extended bindings for DFT class 6 years ago
Matthias Volk 4efdb3db8c Started extending DFT bindings 6 years ago
Matthias Volk ae8615533b Relaxed relative tolerance for some model checking results 7 years ago
Matthias Volk 054df185c0 Transformation from symbolic model to sparse model 7 years ago
Matthias Volk c30d5a1433 Symbolic bisimulation 7 years ago
Matthias Volk 62f3d3630e Bindings for dd and hybrid model checking 7 years ago
Matthias Volk 32f468e92c Added tests for symbolic parametric models 7 years ago
Matthias Volk 54433ca8a3 Tests for symbolic model building 7 years ago
Matthias Volk cfb6dfbf2f Better naming for sparse model building 7 years ago
Matthias Volk 9b57e37ee4 Updated gitignore 7 years ago
Sebastian Junges 8de8570d11 - more expression handling 7 years ago
Matthias Volk 717fa454d2 Updated example drn file 7 years ago
Sebastian Junges 11b2a219a7 support for extraction of schedulers 7 years ago
Matthias Volk 9da3bc8053 Test case for MDP model checking 7 years ago
Sebastian Junges 04f70bd706 Additional tests for PLA bindings 7 years ago
Matthias Volk 0a8482d068 Computing model checking result only for inital states 7 years ago
Sebastian Junges f98575d82c ExpressionParser 7 years ago
Matthias Volk 9b59663baa Moved some parametric tests into tests/pars/ dir 7 years ago
Matthias Volk bcab426bd5 Added missing cases for CTMC and MA in model building 7 years ago
Matthias Volk a7e623d29b Updated bindings for PLA after environment change 7 years ago
Matthias Volk 06ec360c86 Bindings for storm environments 7 years ago
Matthias Volk ef38b73227 Added binding for SparseMatrix::getSubmatrix 7 years ago
Matthias Volk 28684a078e Build full model if no formula is given 7 years ago
Matthias Volk 2528daeb40 Removed old test code 7 years ago
Sebastian Junges 8dfbefd676 reduce to state based rewards 7 years ago
Sebastian Junges a568ea27dd Moved the model instantiator to parameters, as this is now part of stormpy.pars 7 years ago
Sebastian Junges d1a94d427f rewards for dtmcs 7 years ago
Matthias Volk a7540171ba Bindings for simplification of parametric models 7 years ago
Matthias Volk 5a26d0e99f Test for building MDP 7 years ago
Matthias Volk 19f8d47202 Fixed import problem in tests when storm-pars is not available 7 years ago
Matthias Volk 14eedd6ca3 Skip tests if submodules are not supported 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 ddae1c8c80 Test (currently) unsupported jani property 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
Matthias Volk 219b342da5 Test for jani property 7 years ago
Matthias Volk 6e126e5641 Bindings for JANI 7 years ago
Matthias Volk 2c81318030 Bindings for storm versions 7 years ago