6900 Commits (e5049c67dafae064633385f8a2f1e85fde834a5c)
 

Author SHA1 Message Date
dehnert 59a81831f3 fixing bug in relevant states computation of menu-game-based abstraction 6 years ago
Matthias Volk 785dbbdcdb CMake version parsing of z3 without z3 binary 6 years ago
dehnert 943de2e17c changing abstraction options slightly 6 years ago
dehnert 5706831ad6 fixing settings/tests 6 years ago
Sebastian Junges 53e9179722 CMake more stable in case z3 version is not obtained 6 years ago
Sebastian Junges 8ab3ea991d fix in drn parser 6 years ago
Matthias Volk 66a956e121 Fixed return 6 years ago
Matthias Volk 1279e9714e Merge branch 'master' into dft_gspn_new 6 years ago
TimQu a9274d841c Merge branch 'master' into jani-arrays 6 years ago
TimQu 617f3798c3 Merge branch 'master' into janiTests 6 years ago
TimQu 539b3230eb when exporting jani, eliminate reward accumulation kinds whenever they do not have any effect 6 years ago
TimQu 8050f8fc67 eliminate reward accumulations on jani level 6 years ago
TimQu 6cc0369a1c added JaniTraverser to conveniently traverse all components of a jani model. 6 years ago
TimQu 1714126a6f traverser for jani models 6 years ago
TimQu a739ce38f1 export of reward accumulations 6 years ago
TimQu 831f07e867 eliminate reward accumulations whenever possible 6 years ago
TimQu 701f3832b1 parsing reward accumulations 6 years ago
TimQu ee1dcbd483 fragment checker checks reward accumulations 6 years ago
TimQu 4302aa0be0 added missing include 6 years ago
TimQu 76b2eb2ee9 added reward accumulation to formulas 6 years ago
Matthias Volk 1c20abc1b5 Fixed return 6 years ago
Matthias Volk 454f9350d7 Export proprties in DFT->GSPN->Jani file 6 years ago
Matthias Volk 8c2a44494b More general method for building GSPN-Jani properties 6 years ago
TimQu 234ddb7cff fixed compilation of JaniParser 6 years ago
TimQu a012539323 cleared some TODOs in the Jani Parser 6 years ago
Matthias Volk cbd3880d87 General method for adding transient variables in GSPN->Jani conversion 6 years ago
TimQu 953d570ff0 fix in syntacticalEquality checker 6 years ago
Matthias Volk ce3b63da12 Fixed json export settings 6 years ago
Matthias Volk a7ffafb7d7 Merge from master 6 years ago
Matthias Volk c136b9c628 Removed old jani file settings 6 years ago
TimQu ad88992ba2 export gspns to ctmcs/mdps if no intermediate/timed transitions occur. 6 years ago
TimQu 251c9e2141 added option to make the json export more compact 6 years ago
TimQu e038fb64be Jani: export the correct accumulation parameters for expected reward properties 6 years ago
TimQu 0f97eb89db binary storm-gspn now exits with 0 if no gspnfile is given 6 years ago
TimQu 4861b8d4b4 More robust parsing of capacities and allowing constants in GSPN properties 6 years ago
TimQu c124ebcc93 Fixed a Jani-related issue when adding assignments to OrderedAssignments 6 years ago
TimQu 5f201da6da correctly parse templates, weights, priorities 6 years ago
TimQu 1f40a56ed8 updated changelog 6 years ago
TimQu a44eed65e8 allowing constant definitions for gspns via cli 6 years ago
TimQu 3215af6fc0 Implemented single- infinite- and k- server semantics for timed gspn transitions 6 years ago
TimQu 49930ebc9e fixed help text 6 years ago
TimQu 7f601058a1 flatten option should not require module prefix 6 years ago
TimQu f9f6b90cc2 updated changelog 6 years ago
TimQu 4b3e7849ed jani parser parses array variables 6 years ago
TimQu 8202f77943 array expressions 6 years ago
TimQu 8da922e4d5 started to include array support 6 years ago
TimQu 5b78393425 Fixed issues related to allowing local variables when converting from prism to jani 6 years ago
TimQu 817c5a218b making the time bound for generated gspn properties real valued 6 years ago
TimQu bd475e99eb fixed flattening models with constants 6 years ago
TimQu 394ef9f5b3 writing the correct model name into the jani file 6 years ago