dehnert
|
8b06e4fa6e
|
added missing IOSettings module to storm-dft-cli
|
9 years ago |
|
dehnert
|
a85f4fdc89
|
replaced some StoRMs and Storms by storm, reworked version output a bit
|
9 years ago |
sjunges
|
8fc0033bb2
|
fix dft-to-gspn regarding properties, now compiles again, and changed settings: Properties are now in IOSettings (should not change usage)
|
9 years ago |
|
dehnert
|
64ddf12558
|
fixed two issues in jit builder: a) respect environment variable (instead of c++); b) casting integer variables to doubles when evaluating label expressions to avoid integer division
|
9 years ago |
Matthias Volk
|
de96f4444a
|
Return exit code > 0 for exceptions
|
9 years ago |
|
Matthias Volk
|
21cc2df4ca
|
ResourceSettings needed
|
9 years ago |
Sebastian Junges
|
9851100602
|
mttf
|
9 years ago |
|
Sebastian Junges
|
87b6182ea3
|
build n-ary pdeps for transformation
|
9 years ago |
|
sjunges
|
31efb4f0c9
|
prep for more formulas
|
9 years ago |
|
Matthias Volk
|
63d594fb45
|
Rudimentary DFT parser from Cytoscape's JSON
|
9 years ago |
|
Sebastian Junges
|
5c900e4e14
|
stats for gspn
|
9 years ago |
|
Sebastian Junges
|
18383f5220
|
several fixes in dft->gspn->jani code path: Most notably, mas are closed, successor nodes failed places keep intact and tb property is added
|
9 years ago |
|
Sebastian Junges
|
88e17d423a
|
updated dft->gspn->jani workflow
|
9 years ago |
|
Sebastian Junges
|
b9e46cf8c1
|
gspn transformation related changes
|
9 years ago |
|
Sebastian Junges
|
d4f7088cfd
|
updates to dft->gspn
|
9 years ago |
|
sjunges
|
b2b04fa76b
|
moving dfts to their own lib and cli
|
10 years ago |
|
Sebastian Junges
|
faee1dfeee
|
updated dft->gspn translation to now have basis support for spares
|
10 years ago |
|
Sebastian Junges
|
a8b6e6e188
|
added some stub for dft->gspn translation in cli
|
9 years ago |
|
Sebastian Junges
|
82a740a74e
|
storm-dft running again
|
10 years ago |
|
sjunges
|
112fb8f61e
|
moving dfts to their own lib and cli
|
10 years ago |
