Matthias Volk
|
8c8e46b8a3
|
Added elimination of reward accumulations in Jani
|
7 years ago |
|
Matthias Volk
|
944b5bd01c
|
Updated test as TimeOperatorFormulas are now supported in Storm
|
7 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
|
8 years ago |
|
Matthias Volk
|
c30d5a1433
|
Symbolic bisimulation
|
8 years ago |
|
Matthias Volk
|
62f3d3630e
|
Bindings for dd and hybrid model checking
|
8 years ago |
|
Matthias Volk
|
717fa454d2
|
Updated example drn file
|
8 years ago |
Sebastian Junges
|
11b2a219a7
|
support for extraction of schedulers
|
8 years ago |
|
Matthias Volk
|
9da3bc8053
|
Test case for MDP model checking
|
8 years ago |
|
Matthias Volk
|
0a8482d068
|
Computing model checking result only for inital states
|
8 years ago |
|
Matthias Volk
|
9b59663baa
|
Moved some parametric tests into tests/pars/ dir
|
8 years ago |
|
Matthias Volk
|
06ec360c86
|
Bindings for storm environments
|
8 years ago |
|
Matthias Volk
|
28684a078e
|
Build full model if no formula is given
|
8 years ago |
|
Matthias Volk
|
2528daeb40
|
Removed old test code
|
8 years ago |
|
Matthias Volk
|
1197155d8d
|
Binding for undefined_constants_are_graph_preserving
|
8 years ago |
|
Matthias Volk
|
ddae1c8c80
|
Test (currently) unsupported jani property
|
8 years ago |
|
Matthias Volk
|
fda8003bc5
|
Tests for model checking jani file
|
8 years ago |
|
Matthias Volk
|
29cfa574b8
|
Bindings for instantiating constants in SymbolicModelDescriptions
|
8 years ago |
|
Matthias Volk
|
6e126e5641
|
Bindings for JANI
|
8 years ago |
|
Matthias Volk
|
e13df9b2ec
|
Formatted tests according to PEP
|
8 years ago |
|
Matthias Volk
|
9a73e0cd45
|
Use stormpy definitions of pycarl types in tests
|
8 years ago |
|
Matthias Volk
|
ecd1b1f528
|
Import not needed in test
|
8 years ago |
|
Matthias Volk
|
21e9bbf34a
|
Python bindings for storm-pars
|
8 years ago |
|
Matthias Volk
|
480c268679
|
Bindings for graph constraints
|
8 years ago |
|
Matthias Volk
|
b6061cc620
|
Updated bindings to new api
|
9 years ago |
|
Sebastian Junges
|
d1b797a126
|
fixes after updated pycarl and storm
|
9 years ago |
|
Sebastian Junges
|
e960b41315
|
fixed tests to be compatible with pycarl v2
|
9 years ago |
|
Matthias Volk
|
bab9d366d4
|
Fixed PLA bindings after updates
|
9 years ago |
|
Matthias Volk
|
2e45a11873
|
Gather derivatives for PLA
|
9 years ago |
|
Matthias Volk
|
b913f216b4
|
Smaller bisimulation model which takes less time
|
9 years ago |
|
Matthias Volk
|
ca7f40f975
|
Fixed bisimulation test
|
9 years ago |
|
Matthias Volk
|
1aee92553e
|
Make all arguments available for analyzeRegion
|
9 years ago |
|
Matthias Volk
|
70ddde905f
|
Renaming to PLAChecker
|
9 years ago |
|
Matthias Volk
|
fd1c9a586e
|
Add PLA support
|
9 years ago |
|
Matthias Volk
|
3c7a4b49a5
|
PmcResult is CheckResult + constraints
|
9 years ago |
|
Matthias Volk
|
cc837089aa
|
Small fixes in tests
|
9 years ago |
|
Matthias Volk
|
7342428c5e
|
Improved bisimulation test
|
9 years ago |
Tom Janson
|
56ba8685d5
|
extract parametric prism program parse test
|
9 years ago |
|
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
9 years ago |
|
Matthias Volk
|
20b1b01139
|
Bisimulation takes properties
|
9 years ago |
|
Matthias Volk
|
db86de9443
|
Bindings for importing DRN files
|
9 years ago |
sjunges
|
4bfa6776ed
|
prob01min and prob01max now map on prob01 for dtmcs
|
9 years ago |
|
Sebastian Junges
|
9272bffea4
|
extended test
|
9 years ago |
|
Sebastian Junges
|
93a5346c70
|
Prob 01 states also on MDPs and parametric models
|
9 years ago |
|
Sebastian Junges
|
e7db19154d
|
tests updated
|
9 years ago |
|
Matthias Volk
|
95f83a7224
|
Binding for CheckResult
|
9 years ago |
|
Matthias Volk
|
724de252e4
|
1st version of computing prob01 states
|
9 years ago |
|
Tom Janson
|
2c57642ca0
|
use math.isclose for float comparison asserts
|
9 years ago |
|
Sebastian Junges
|
0c79aba2c7
|
extracted from storm repo, refactored formula
|
9 years ago |
