tempest

Author	SHA1	Message	Date
TimQu	404ec63f6c	storm-conv: Added support for transformations on prism programs (such as flattening of modules).	6 years ago
TimQu	b6a5fcfd84	Settings: Do not hard-code executable name in help message.	6 years ago
TimQu	f453b2bddd	storm-conv: also don't print the help message in case of errors in storm-conv.	6 years ago
TimQu	bf40fb54f2	added api call that directly applies a given jani-property filter	7 years ago
TimQu	c3837968dd	nicer output for storm-conv and fixed an issue in storm-conv related to substituting constants before translating the functions	7 years ago
TimQu	aa6fd3cbb2	fixed compilation of storm-conv	7 years ago
TimQu	28d4dd481d	simplified processing of janiConversionOptions	7 years ago
TimQu	b5bb87404c	replaced occurrences of 'substituteConstants' by 'substituteConstantsFormulas'	7 years ago
TimQu	e119131f78	storm-conv compiles	7 years ago
TimQu	7ee196bdbb	jani2jani conversions in storm-conv	7 years ago
TimQu	274bfef652	started to extend storm-conv for array elimination	7 years ago
TimQu	251c9e2141	added option to make the json export more compact	7 years ago
TimQu	394ef9f5b3	writing the correct model name into the jani file	7 years ago
TimQu	fc453143c2	missing includes..	7 years ago
TimQu	56a5dcf7cb	added setting in storm-conv to make variables global	7 years ago
TimQu	30d30a063c	setting jani conversion options from settings	7 years ago
TimQu	d343943cbd	storm-conv should not fail if no input arguments were given	7 years ago
TimQu	a4864f3c3d	Using JaniExportSettings in storm-conv	7 years ago
TimQu	e5e6e1bd79	worked on prism to jani converter	7 years ago
TimQu	2e035f3957	started working on conversion binary	7 years ago

20 Commits (0d58ea529123e96f4a3e9156ba61f7c7fccad4c3)