sjunges
|
53238f43f7
|
fixed some missing includes due to updated API
|
7 years ago |
|
sjunges
|
79bb6734ed
|
compile and link parsers in seperate binary
|
7 years ago |
Matthias Volk
|
99e5619952
|
Export storm targets
|
7 years ago |
|
Matthias Volk
|
e6090d2d2c
|
Removed unused code
|
7 years ago |
|
Matthias Volk
|
a67b1a73da
|
Fixed issues in storm-gspn cmdline
|
7 years ago |
|
Matthias Volk
|
853901af45
|
Introduced api dir in storm-gspn
|
7 years ago |
|
Matthias Volk
|
8ba365fee9
|
Fixed includes after moving files
|
7 years ago |
|
sjunges
|
e718acffba
|
move cli stuff from storm lib to an own small lib
|
8 years ago |
Sebastian Junges
|
07fe0a8e3a
|
new target: binaries, compiles all the storm binaries, but not the tests etc
|
8 years ago |
dehnert
|
ad1fdd41ea
|
fixed some wrong capitalizations
|
8 years ago |
|
dehnert
|
a323d21751
|
fixed some wrong capitalization
|
8 years ago |
|
Matthias Volk
|
5d79eff2cd
|
Wrapper for file opening
|
8 years ago |
|
dehnert
|
a85f4fdc89
|
replaced some StoRMs and Storms by storm, reworked version output a bit
|
8 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)
|
8 years ago |
|
sjunges
|
488aaeaa58
|
properties in storm-gspn
|
8 years ago |
|
sjunges
|
5b811a916c
|
refactoring gspn code (moved stuff to cpp) and check all options via helper function now
|
8 years ago |
|
dehnert
|
ad18fee1dc
|
commit to switch workplace
|
8 years ago |
|
Matthias Volk
|
de96f4444a
|
Return exit code > 0 for exceptions
|
8 years ago |
|
sjunges
|
fa204dc584
|
gspn working again
|
8 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
|
8 years ago |
|
sjunges
|
5967cdea1e
|
Moved GSPN code to a separate lib
|
8 years ago |
