mdeutschen
|
d4cb41a4cf
|
Improved VOTE. Removed unused methods
Former-commit-id: d8a832b33b
|
8 years ago |
mdeutschen
|
f3fa6351bd
|
Nested SPAREs working. Hence, SPARE is completely implemented
Former-commit-id: 443ddc971a
|
8 years ago |
mdeutschen
|
d17f3a0368
|
Implementation for SPAREs with shared spare children finished. Nested SPAREs still slightly buggy
Former-commit-id: 3a325b657a
|
8 years ago |
mdeutschen
|
e6d1b13718
|
Again some progress
Former-commit-id: 3b3dd48ea8
|
8 years ago |
mdeutschen
|
e5a485a930
|
Further progress in SPARE implementation
Former-commit-id: 6a5d3d13d0
|
8 years ago |
mdeutschen
|
675b05144c
|
Progress with SPARE implementation
Former-commit-id: 18343684fa
|
8 years ago |
mdeutschen
|
321a65c5a3
|
Implementation of simple and incomplete isBEActive()
Former-commit-id: 13ae5b0f31
|
8 years ago |
mdeutschen
|
1341b9545f
|
Added transformation for FDEP/PDEP
Former-commit-id: df092b4e02
|
8 years ago |
mdeutschen
|
42c71f30c9
|
Generalized transformation of PAND
Former-commit-id: 20cc0960b7
|
8 years ago |
mdeutschen
|
496d138eac
|
Generalized transformation of POR
Former-commit-id: f9895c1319
|
8 years ago |
mdeutschen
|
1ad93df2bb
|
Extended SEQ to support children which are not BEs
Former-commit-id: 2ed806b4ba
|
8 years ago |
mdeutschen
|
07baef9a7c
|
Added transformation for 2-input-POR
Former-commit-id: 890be90f62
|
8 years ago |
mdeutschen
|
c80bcf8f6b
|
Use map to avoid recalculation of VOTE associations
Former-commit-id: 2c680f89b6
|
8 years ago |
mdeutschen
|
222c59a939
|
Implementation of VOTE transformation
Former-commit-id: 177525ba36
|
8 years ago |
mdeutschen
|
b7baa39383
|
Full implementation for (non-dynamic) Fault Tree transormation
Former-commit-id: e77586a3f2
|
9 years ago |
sjunges
|
df690536c6
|
Remove old files
Former-commit-id: 8b56862e89 [formerly 0400fc8546 ]
Former-commit-id: ca12a5d35d
|
8 years ago |
sjunges
|
a6a8784e5a
|
general crowds dtmc added
Former-commit-id: c2a9dd68fa [formerly b95a014e01 ]
Former-commit-id: 4cd7ebe441
|
8 years ago |
sjunges
|
61d5a7f81e
|
coin 8
Former-commit-id: 5d499ef88e [formerly 4d43d40a21 ]
Former-commit-id: 272d9d4ff1
|
8 years ago |
sjunges
|
277d70bc16
|
moved pgcl to own example repo
Former-commit-id: 97dbffbf94 [formerly e020a1148b ]
Former-commit-id: 310b7dd18d
|
8 years ago |
sjunges
|
cb8189d171
|
move gspn examples to their own repo
Former-commit-id: 99e36ce3f2 [formerly d9c76c7cd8 ]
Former-commit-id: d1598e7192
|
8 years ago |
sjunges
|
dbc105f9ee
|
dft examples moved to an example-repo
Former-commit-id: 676f77f698 [formerly e761775639 ]
Former-commit-id: 167d474c8a
|
8 years ago |
TimQu
|
ca1fe4ccb5
|
deleted weird shell script files from pla evaluation
Former-commit-id: cbf19340be
|
8 years ago |
sjunges
|
1ed5581a1d
|
removed old examples
Former-commit-id: 9611fcfe4a [formerly 56da087130 ]
Former-commit-id: a4afe1fd18
|
8 years ago |
TimQu
|
4e26b60b78
|
More cleanup
Former-commit-id: c532688514
|
8 years ago |
TimQu
|
3d24f25fbc
|
cleaning up
Former-commit-id: 1d33b0c600
|
8 years ago |
TimQu
|
71e181bd93
|
some quick and dirty optimizations (that need to be reviewed)
Former-commit-id: 86fbc66c90
|
8 years ago |
sjunges
|
ce9d7db67a
|
fixed knuths die in pdtmc
Former-commit-id: f52f34571d [formerly 20c9ef124a ]
Former-commit-id: f6d23f46eb
|
8 years ago |
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
|
3ffc93f9b2
|
label
Former-commit-id: 88b6ce4560 [formerly d698b1b83c ]
Former-commit-id: c119304243
|
8 years ago |
sjunges
|
40ea6eeecd
|
pctmc example
Former-commit-id: 22aa41bdd1 [formerly ea552f454c ]
Former-commit-id: 5231d96db5
|
8 years ago |
sjunges
|
ec830adb19
|
added labels for error in pdtmc/brp
Former-commit-id: 94e0376aa6 [formerly a58bf3787e ]
Former-commit-id: c525fd395d
|
8 years ago |
Mavo
|
d3d360b50a
|
First version of DFT approximation
Former-commit-id: 1d95ad4914
|
8 years ago |
ThomasH
|
c5bbceebda
|
fix project file
Former-commit-id: 881bc69056
|
8 years ago |
ThomasH
|
3a63d2d3b2
|
add pnpro example
Former-commit-id: 914058a711
|
8 years ago |
Mavo
|
fba2071e9f
|
Dft exploration via NextStateGenerator
Former-commit-id: f81ac4e7fc
|
8 years ago |
dehnert
|
99badd02c5
|
more work towards JANI reward models
Former-commit-id: 4be9f840c4 [formerly be67354311 ]
Former-commit-id: b8ea6172e7
|
8 years ago |
sjunges
|
0f6a741276
|
pgcl
Former-commit-id: 63d52fc706 [formerly 90b7939792 ]
Former-commit-id: 04e29e8c41
|
8 years ago |
TimQu
|
b362047e4f
|
mutex example
Former-commit-id: 6e249da594
|
8 years ago |
TimQu
|
ee59f772b0
|
fixed prism code for polling example
Former-commit-id: fe8443626c
|
8 years ago |
TimQu
|
e1aca37c86
|
some minor tweaks plus polling example
Former-commit-id: eebe4ca6d6
|
8 years ago |
Mavo
|
495b42ff4c
|
Temporarily split new approximating state generation into own builder
Former-commit-id: 70be02f2ae
|
8 years ago |
ThomasH
|
3854feae87
|
add priorities to the parser and an example
Former-commit-id: 1b072a730e
|
9 years ago |
TimQu
|
0760e2a7f9
|
tiny MA example, small fix and test cases for MAs
Former-commit-id: 9fe2b7cc76
|
9 years ago |
Mavo
|
12f7c08bac
|
New class for DftStateGenerator
Former-commit-id: 5d7f798de1
|
9 years ago |
TimQu
|
bf7a86b650
|
fixed lower time bounds for MAs
Former-commit-id: 98ca60c52c
|
9 years ago |
TimQu
|
c765e60eda
|
uploading some mdp benchmark logs...
Former-commit-id: 55d4171f6c
|
9 years ago |
TimQu
|
45434556e2
|
changed a property that makes more sense this way
Former-commit-id: 96d471107d
|
9 years ago |
TimQu
|
90ae65ffa9
|
computation of digitization constant
Former-commit-id: cd75d84566
|
9 years ago |
sjunges
|
88af02e723
|
towards new jani version
Former-commit-id: 0c5e6825ca [formerly b98985e8eb ]
Former-commit-id: 9f5ef53aec
|
9 years ago |