sjunges
|
bd2e7b075c
|
one can never have enough labels in prism files
Former-commit-id: ec1751b34a [formerly 7f1a1b2944 ]
Former-commit-id: af5e22c01e
|
8 years ago |
sjunges
|
489fd4f780
|
Die and TwoDie as in the Qapl talk
Former-commit-id: 93f21ffea3 [formerly 88343ceb7b ]
Former-commit-id: 1595b7eaac
|
8 years ago |
sjunges
|
ecc74595ba
|
several jani related fixes: IsInitialRestrictionSet(), FormulaContext, minor things
Former-commit-id: f1a5b2edcf [formerly 6a9cb0a988 ]
Former-commit-id: 11bf234fcc
|
8 years ago |
sjunges
|
435b3084cb
|
Finally, Globally
Former-commit-id: fa2ff942de [formerly 105d3af631 ]
Former-commit-id: 1560f7cfce
|
8 years ago |
sjunges
|
2549b30f3e
|
erge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
Former-commit-id: c4a6042b8c [formerly 1327672467 ]
Former-commit-id: 9a84bbb5d5
|
8 years ago |
sjunges
|
9faa7539c5
|
parser
Former-commit-id: 6e1af26d2f [formerly 995647eeb7 ]
Former-commit-id: 0865990abf
|
8 years ago |
Mavo
|
1bfd974795
|
Minor fixes
Former-commit-id: 9344ebe5aa
|
8 years ago |
Mavo
|
4a6f53031e
|
Choose different approximation heuristics
Former-commit-id: e9ddae066b
|
8 years ago |
dehnert
|
0796eea632
|
implemented the extended filter functions of JANI for the symbolic/hybrid check results
Former-commit-id: 236ae3ea7f [formerly c2418a22c7 ]
Former-commit-id: 1a6a075921
|
8 years ago |
Mavo
|
26d0a3a7a4
|
Fixed smaller bugs
Former-commit-id: 4c9c22bca1
|
8 years ago |
sjunges
|
aa1bdaa9ea
|
Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
Former-commit-id: a2ec4961a4 [formerly 247172ff46 ]
Former-commit-id: 5189ac56c4
|
8 years ago |
sjunges
|
3daa725bb5
|
Merge branch 'jani_support' into export_explicit
Former-commit-id: 4a5dc499e8 [formerly 7dca599712 ]
Former-commit-id: 65c17bb14e
|
8 years ago |
sjunges
|
ed970d78b1
|
property support for jani -- several changes throughout code, parser currently only supports probability properties
Former-commit-id: d5db0cda02 [formerly 66d55d7e43 ]
Former-commit-id: 1672b21b12
|
8 years ago |
sjunges
|
3626c044d3
|
several improvements towards jani-property support
Former-commit-id: 3d56f22d99 [formerly 1f527643ab ]
Former-commit-id: 75e40a9b69
|
8 years ago |
dehnert
|
342356ceb1
|
minor fixes to make storm work with boost 1.62
Former-commit-id: 8d17816efa [formerly f15df8c906 ]
Former-commit-id: 6030612d78
|
8 years ago |
Mavo
|
8e1e61c4f2
|
Changed datastructures and made handling of pseudo states easier
Former-commit-id: a0e0324fe6
|
8 years ago |
dehnert
|
1eed49aa38
|
Merge remote-tracking branch 'origin/jani_support' into jani_explicit_jit
Former-commit-id: c1326199f8 [formerly 5037cdd8b7 ]
Former-commit-id: c52ecdd86c
|
8 years ago |
dehnert
|
299b2d7a56
|
some start on JIT-based model builder
Former-commit-id: b0bffd4908 [formerly 95829c4970 ]
Former-commit-id: 8e98da5dd4
|
8 years ago |
sjunges
|
88ecb60906
|
numbered actions
Former-commit-id: 3b1e903ff9 [formerly df745fb192 ]
Former-commit-id: 4700ce2d70
|
8 years ago |
sjunges
|
3ffc93f9b2
|
label
Former-commit-id: 88b6ce4560 [formerly d698b1b83c ]
Former-commit-id: c119304243
|
8 years ago |
dehnert
|
6f663bde0e
|
fixing hwloc entry in CMakeLists.txt
Former-commit-id: 1359cb4b14 [formerly 9a108db302 ]
Former-commit-id: ab87e2002e
|
8 years ago |
dehnert
|
282be9612e
|
fixed typo in header inclusion
Former-commit-id: 7039fe5a35 [formerly 4050360481 ]
Former-commit-id: 266f1e0659
|
8 years ago |
sjunges
|
b18516668a
|
Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
Former-commit-id: f31e92df70 [formerly 2524c29fca ]
Former-commit-id: 84ff6b58d7
|
8 years ago |
sjunges
|
744216d5d2
|
export formulae
Former-commit-id: 4932938e38 [formerly 95b3269c75 ]
Former-commit-id: 974a891cb6
|
8 years ago |
Mavo
|
e05c4dab0d
|
Use custom DynamicPriorityQueue
Former-commit-id: b4b552a84d
|
8 years ago |
dehnert
|
ccfcbc0c69
|
fixed hwloc issue even harder
Former-commit-id: 5768663ab4 [formerly 47af70ccf3 ]
Former-commit-id: ef788dbb6a
|
8 years ago |
sjunges
|
6a80319c18
|
another Hwloc script
Former-commit-id: cc5efdeb85 [formerly 295c0c994e ]
Former-commit-id: fcaf78b967
|
8 years ago |
Mavo
|
faadf19228
|
Approximation error is relative to mean of lower and upper bound
Former-commit-id: f01c027a3a
|
8 years ago |
sjunges
|
691ed406d0
|
Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
Former-commit-id: 2ae1483c69 [formerly 264860a3db ]
Former-commit-id: ff24a83736
|
8 years ago |
sjunges
|
aee1956950
|
progress towards JANI formula support, fix for gcc
Former-commit-id: 66d87dbe8c [formerly ac7ce466a1 ]
Former-commit-id: ec11ee9831
|
8 years ago |
Mavo
|
ea00abc35e
|
Fixed problems with approximation while using symred
Former-commit-id: df12c037e7
|
8 years ago |
dehnert
|
ba0d81ca52
|
bugfix for PRISM program: only check initial values of variables if they have one
Former-commit-id: c5c548bd62 [formerly c27c72bd59 ]
Former-commit-id: 97acb66693
|
8 years ago |
sjunges
|
40ea6eeecd
|
pctmc example
Former-commit-id: 22aa41bdd1 [formerly ea552f454c ]
Former-commit-id: 5231d96db5
|
8 years ago |
sjunges
|
afb01572b9
|
support for ctmcs
Former-commit-id: 114aff76bb [formerly da14316bc6 ]
Former-commit-id: 51558945d4
|
8 years ago |
sjunges
|
fb1c738acb
|
Merge branch 'jani_support' into export_explicit
Former-commit-id: 0b6b74a119 [formerly d85b3972a1 ]
Former-commit-id: d7237021f8
|
8 years ago |
sjunges
|
61dc090fa8
|
gspn export settings (currently only dot output) and better gspn to jani support
Former-commit-id: 38f41a581f [formerly e1909eca6d ]
Former-commit-id: 88b71b0f0a
|
8 years ago |
sjunges
|
4f1f71ffae
|
fix in getPlace; add capacities, GSPN settings and main file updated
Former-commit-id: 375172b307 [formerly b8c1466633 ]
Former-commit-id: efaeb8b238
|
8 years ago |
Mavo
|
a419cb0d80
|
Fixed computing rates for lower and upper bound
Former-commit-id: 89846a9788
|
8 years ago |
dehnert
|
91e6bb2999
|
fixed bug in DD-based JANI model generation related to transient edge assignments
Former-commit-id: b2cf168189 [formerly 0c50ca2d16 ]
Former-commit-id: 05686fd6f1
|
8 years ago |
Mavo
|
6faa7f0429
|
Abort when getting infinity in approximation
Former-commit-id: 8bfda3656a
|
8 years ago |
dehnert
|
011e3fbaa6
|
fixed bug that introduced transient variables in the state space
Former-commit-id: b335cf0c0d [formerly 84339f7943 ]
Former-commit-id: 6f64020873
|
8 years ago |
Mavo
|
3d083a1719
|
Fixed bug with wrong row in case of nondeterminism
Former-commit-id: 24d7bd672c
|
8 years ago |
Mavo
|
2f765a9a95
|
Expand states reached be dependencies
Former-commit-id: ab22162ed5
|
8 years ago |
Mavo
|
53821d3d84
|
Added settings for approximation heuristic
Former-commit-id: 40267add31
|
8 years ago |
Mavo
|
6b7bf3bba7
|
Introduced heuristic depth with distance from initial state
Former-commit-id: 1b94ebc4f9
|
8 years ago |
sjunges
|
1951e1e79a
|
Merge branch 'jani_support' into jani_gspn_support
Former-commit-id: 9a786ed9eb [formerly 9b75f8283d ]
Former-commit-id: 7bfa89666e
|
8 years ago |
sjunges
|
12a5258a45
|
second time is a charm
Former-commit-id: 9af436c843 [formerly 0594ee49f8 ]
Former-commit-id: db0f6c4dc3
|
8 years ago |
sjunges
|
0c4b52cfa9
|
Merge branch 'jani_support' into jani_gspn_support
Former-commit-id: a46ffbd26e [formerly 16eebe0176 ]
Former-commit-id: c22a869cc1
|
8 years ago |
sjunges
|
a265bc49ce
|
check if transient values are actually given before looping over them
Former-commit-id: 60e15907ad [formerly 15cbc28a4f ]
Former-commit-id: a3ed467329
|
8 years ago |
sjunges
|
f20e9107ba
|
Merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support
Former-commit-id: f7a8ed9e92 [formerly d56c6434d4 ]
Former-commit-id: 3c94be0ffa
|
8 years ago |