Matthias Volk
|
bab9d366d4
|
Fixed PLA bindings after updates
|
8 years ago |
|
Matthias Volk
|
2e45a11873
|
Gather derivatives for PLA
|
8 years ago |
|
Matthias Volk
|
b913f216b4
|
Smaller bisimulation model which takes less time
|
8 years ago |
|
Matthias Volk
|
ca7f40f975
|
Fixed bisimulation test
|
8 years ago |
|
Matthias Volk
|
1aee92553e
|
Make all arguments available for analyzeRegion
|
8 years ago |
|
Matthias Volk
|
70ddde905f
|
Renaming to PLAChecker
|
8 years ago |
|
Matthias Volk
|
fd1c9a586e
|
Add PLA support
|
8 years ago |
|
Matthias Volk
|
3c7a4b49a5
|
PmcResult is CheckResult + constraints
|
8 years ago |
|
Matthias Volk
|
cc837089aa
|
Small fixes in tests
|
8 years ago |
|
Matthias Volk
|
7342428c5e
|
Improved bisimulation test
|
8 years ago |
Tom Janson
|
56ba8685d5
|
extract parametric prism program parse test
|
8 years ago |
|
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
8 years ago |
|
Matthias Volk
|
20b1b01139
|
Bisimulation takes properties
|
8 years ago |
|
Matthias Volk
|
db86de9443
|
Bindings for importing DRN files
|
8 years ago |
sjunges
|
4bfa6776ed
|
prob01min and prob01max now map on prob01 for dtmcs
|
8 years ago |
Sebastian Junges
|
9272bffea4
|
extended test
|
8 years ago |
|
Sebastian Junges
|
93a5346c70
|
Prob 01 states also on MDPs and parametric models
|
8 years ago |
|
Sebastian Junges
|
e7db19154d
|
tests updated
|
8 years ago |
|
Matthias Volk
|
95f83a7224
|
Binding for CheckResult
|
8 years ago |
|
Matthias Volk
|
724de252e4
|
1st version of computing prob01 states
|
8 years ago |
|
Tom Janson
|
2c57642ca0
|
use math.isclose for float comparison asserts
|
8 years ago |
|
Sebastian Junges
|
0c79aba2c7
|
extracted from storm repo, refactored formula
|
8 years ago |
