tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
TimQu	f453b2bddd	storm-conv: also don't print the help message in case of errors in storm-conv.	7 years ago
TimQu	7038858379	storm-conv: Added ability to make global variables of a jani model local (or vice versa)	8 years ago
TimQu	8c37d4eade	conversion input settings now properly take a jani property filter	8 years ago
TimQu	ee9e6354a3	removed standard-compliant option: storm-conv now produces standard compliant jani code by default	8 years ago
TimQu	274bfef652	started to extend storm-conv for array elimination	8 years ago
Matthias Volk	c136b9c628	Removed old jani file settings	8 years ago
TimQu	251c9e2141	added option to make the json export more compact	8 years ago
TimQu	49930ebc9e	fixed help text	8 years ago
TimQu	7f601058a1	flatten option should not require module prefix	8 years ago
TimQu	066facf3f1	fixed respecting the --globalvars option correctly...	8 years ago
TimQu	9487223dc1	--globalvars option no longer requires a module prefix	8 years ago
TimQu	56a5dcf7cb	added setting in storm-conv to make variables global	8 years ago
TimQu	31efde52c2	fixed case where no location variables were provided	8 years ago
TimQu	a4864f3c3d	Using JaniExportSettings in storm-conv	8 years ago
TimQu	e5e6e1bd79	worked on prism to jani converter	8 years ago