6343 Commits (6449dee6263fd9a8768fe6ebadfa26650ebd00c2)
 

Author SHA1 Message Date
TimQu 6449dee626 fixed typo 6 years ago
TimQu e7eb80184e fixed wrong include.. 6 years ago
Matthias Volk c9cea88047 Export Storm-gspn headers as well 6 years ago
TimQu 910b6e6b22 fixed wrong include 6 years ago
TimQu b3be56588f fixing time operator formulas 6 years ago
TimQu 066facf3f1 fixed respecting the --globalvars option correctly... 6 years ago
TimQu 611428c01f allowing constants in property bounds 6 years ago
TimQu 9487223dc1 --globalvars option no longer requires a module prefix 6 years ago
TimQu b4a1244d01 correct parsing of bounded until formulas with multiple bounds 6 years ago
TimQu 56a5dcf7cb added setting in storm-conv to make variables global 6 years ago
TimQu 5937131ff2 fixed and extended parsing of jani formulas with Emin or Emax operator 6 years ago
TimQu fe71dfdf9b added export of reward-bounded until formulas 6 years ago
TimQu 01549dfdea fixed segfaults when lifting transient destination assignments to the edge 6 years ago
TimQu 8f179217d0 fixes for storm-dft and storm-gspn 6 years ago
TimQu 52fc8c8e35 removed unused setting 6 years ago
TimQu 41645c3f9a including the correct .h file in storm-parsers api 6 years ago
TimQu 9563cb44cb made storm-pgcl use storm-conv 6 years ago
TimQu d9ec0f8fcf removed include of old janiexportsettings 6 years ago
TimQu f0d11afdb8 fixed compilation of tests 6 years ago
TimQu 4a7a82627f storm-gspn and storm-dft now use functionalities of storm-conv 6 years ago
TimQu c268926568 storm-pars no longer uses export settings 6 years ago
TimQu 30d30a063c setting jani conversion options from settings 6 years ago
TimQu 51c5c42319 Fixed export of expected time properties to jani 6 years ago
TimQu 0fa361c393 displaying property name together with the property 6 years ago
TimQu d343943cbd storm-conv should not fail if no input arguments were given 6 years ago
TimQu 636d92894c Fixed an issue with time bounded properties specified in jani 6 years ago
TimQu 31efde52c2 fixed case where no location variables were provided 6 years ago
TimQu 35aa166f5b added possibility to check all available jani properties 6 years ago
TimQu a4864f3c3d Using JaniExportSettings in storm-conv 6 years ago
TimQu fbb734fbe2 Fixed using settings without the 'general' module 6 years ago
TimQu 86f0195b18 removed jani conversion in cli of main binary 6 years ago
TimQu e5e6e1bd79 worked on prism to jani converter 6 years ago
TimQu 2e035f3957 started working on conversion binary 6 years ago
TimQu db72a05358 fixed log output 6 years ago
Sebastian Junges 6051363782 initial support for multi-reward structures in counterexample generation 6 years ago
Sebastian Junges 6e2e3d452d minor fixes in counterexample generation 6 years ago
dehnert 85671ef6f1 fixing segfault pointed out by Paul Gainer 6 years ago
dehnert abe7510ae9 added clearing requirements 6 years ago
Matthias Volk b895911c7d New storm version containing fix for version parsing 6 years ago
Matthias Volk 9902bb9dff Fixed version parsing for 'commits ahead' 6 years ago
Matthias Volk 2cfdb56450 Storm version 1.2.2 6 years ago
TimQu 41c20c7b63 updated changelog 6 years ago
TimQu e1047e787f handled case where no threshold for the number of iterations is provided 6 years ago
TimQu 274d51795c removed default value for maximal iteration count 6 years ago
Matthias Volk 6a1ab53e35 Use carl version 18.06 if building from within Storm 6 years ago
Matthias Volk 7a5b93bdfa Updated changelog 6 years ago
Sebastian Junges f0c451aae9 fixed a case where time path propreties were not identified as such, and ensured for debugging that time operators now get a time path formula 6 years ago
Sebastian Junges 93da59fa04 fixed an issue with jani properties for expected time not being parsed as requested 6 years ago
dehnert 264d9158c8 bugfix for dd-based MA building from JANI 6 years ago
dehnert cc1fc8a7be adding exact sampling for parametric systems 6 years ago