Kevin Batz
|
92275c3960
|
tests for prism programs and expressions
|
5 years ago |
|
Kevin Batz
|
a762b28b63
|
additional bindings for expressions and prism programs
|
5 years ago |
Matthias Volk
|
72bbb161b3
|
Removed print statement in tests
|
6 years ago |
|
Matthias Volk
|
341bd544e3
|
Added tests for MAs: scheduler extraction and transformation to MDPs
|
6 years ago |
|
Matthias Volk
|
aae472389e
|
Added test for scheduler
|
6 years ago |
|
Matthias Volk
|
2908ac1b70
|
Get all parameters from sparse or symbolic model
|
6 years ago |
|
Matthias Volk
|
333804b208
|
Transformation from CTMCs to DTMCs
|
6 years ago |
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
|
6 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
- smt wrap
|
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 |
