tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
TimQu	817c5a218b	making the time bound for generated gspn properties real valued	8 years ago
TimQu	17371e756c	generate standard gspn properties automatically	8 years ago
TimQu	8f179217d0	fixes for storm-dft and storm-gspn	8 years ago
sjunges	79bb6734ed	compile and link parsers in seperate binary	8 years ago
Sebastian Junges	8e32d3fa8f	Simplifying index levels	10 years ago
sjunges	488aaeaa58	properties in storm-gspn	10 years ago
sjunges	5b811a916c	refactoring gspn code (moved stuff to cpp) and check all options via helper function now	10 years ago
dehnert	9c183d42b3	adpted jani gspn builder to new template edges	10 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	10 years ago
Sebastian Junges	88e17d423a	updated dft->gspn->jani workflow	10 years ago
Sebastian Junges	f8986fe613	initial support for partitions in translation from gspn to jani	10 years ago
sjunges	5967cdea1e	Moved GSPN code to a separate lib	10 years ago