tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
Matthias Volk	8ba365fee9	Fixed includes after moving files	8 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	9 years ago
dehnert	a323d21751	fixed some wrong capitalization	9 years ago
Matthias Volk	5d79eff2cd	Wrapper for file opening	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
sjunges	488aaeaa58	properties in storm-gspn	9 years ago
sjunges	5b811a916c	refactoring gspn code (moved stuff to cpp) and check all options via helper function now	9 years ago
dehnert	ad18fee1dc	commit to switch workplace	9 years ago
Matthias Volk	de96f4444a	Return exit code > 0 for exceptions	9 years ago
sjunges	fa204dc584	gspn working again	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
sjunges	5967cdea1e	Moved GSPN code to a separate lib	9 years ago