6820 Commits (425eb4b1a9ede69edcd00eaa5c420b713dba1911)
 

Author SHA1 Message Date
Matthias Volk 425eb4b1a9 Made version check for master14 branch of carl more robust 6 years ago
Matthias Volk d94e1ca275 Fixed warning 6 years ago
Matthias Volk 9ef0c07db5 Removed unused variable 6 years ago
Matthias Volk 6fcebed10e More robust handling of BE arguments in Galileo format 6 years ago
Matthias Volk c0a51c6704 Better error message in GalileoParser 6 years ago
Matthias Volk a15a0072de Better debug output 6 years ago
Matthias Volk 106508fcac Fixed adding of DerivedOperators 6 years ago
Matthias Volk d6d2d96a92 Added JaniExportSettings to storm-dft 6 years ago
Matthias Volk cb2b01b7ee Fixed compile issue 6 years ago
Matthias Volk d9dbf8706b Merge branch 'master' into dft_gspn_new 6 years ago
Matthias Volk bd02460aef Merge from master 6 years ago
Sebastian Junges ca3b878654 do not add rate 0 edges to jani (but print a warning) 6 years ago
Sebastian Junges 43688d09ea reward infinity scheduler extraction is now correct 6 years ago
Sebastian Junges 93ca559c83 additional sanity checks for scheduler extraction 6 years ago
TimQu 6b09411122 Fixed an error in the jani location expander. 6 years ago
TimQu b3987b178c Explicit model builder: Give an error if no initial state is found. 6 years ago
TimQu ca828729ff Fixed a few warnings 6 years ago
TimQu 602d18d844 Fixed parsing of edge assignments. 6 years ago
Sebastian Junges 16d7dccb4e I am utterly stupid. Fixed an assertion that I changed yesterday 6 years ago
Sebastian Junges 5d0ec15ad4 clarified error message, as the reward models are present (according to output) but simply empty 6 years ago
Sebastian Junges 07588df137 operators to remove bounds / optimality types from a formula 6 years ago
Sebastian Junges 9a0794fca1 refined error message wrt unexpected type of scheduler 6 years ago
Sebastian Junges f601405d55 set edge color default to zero 6 years ago
TimQu 9be488b969 Enabling expected time queries for ctmcs in the hybrid engine. 6 years ago
TimQu 003922a9e4 Fixed optimization direction when exporting standard petri net properties to jani 6 years ago
TimQu c27b8af90f Display the time required for parsing the prism/jani input 6 years ago
TimQu 7038858379 storm-conv: Added ability to make global variables of a jani model local (or vice versa) 6 years ago
TimQu e6fc962e5e In exact mode, use LP as LRA Method for nondeterministic models. 6 years ago
TimQu e94b37d2f5 instantaneous reward properties for continuous time models can not be handled in exact mode. 6 years ago
Michael Raitza cff6fdd8c6 nix-scripts: Update scripts and add documentation 6 years ago
Michael Raitza c91005534c nix-scripts: storm -> 02.10.2018 6 years ago
Michael Raitza 88e24fb981 nix-scripts: carl 17.12 -> 18.06 6 years ago
Michael Raitza 7205e46c80 Add Nix overlay that builds storm and its dependencies 6 years ago
TimQu 29e22f6de3 Jani JSONExporter: Fixed export of reward accumulation. 6 years ago
TimQu bbe9253777 JaniParser: Actually fixed parsing of long run average reward formulas 6 years ago
TimQu 082d624174 Jani: import/export of steady-state properties 6 years ago
TimQu d9279a72ab Fixed an issue where jani formulas using conjunctions of boolean transient variables could not be parsed. 6 years ago
TimQu aba1856786 JaniParser: fixed an issue related to using constants in the definition of other constants. 6 years ago
TimQu 0434d9f83a fixed issue when checking whether transition rewards can be lifted 6 years ago
Sebastian Junges 8fe3b7b1f8 give edges a color to mark them from user side 6 years ago
Sebastian Junges f2850f9e6f verification api now takes (optionally) the environment as a first parameter, to make code less dependent on global setttings objects 6 years ago
TimQu 87fa9908bf Fixed an issue where scheduler generation in MDPs was not possible due to end components even if there actually were no end components. 6 years ago
TimQu 2b1ef118d3 fixed a few cases where an exportet jani file may contain 'null' 6 years ago
TimQu 90e9d91530 add undefined constants in properties to the jani model when converting 6 years ago
TimQu fccd9851e7 Merge branch 'ptas' 6 years ago
TimQu d7ec0b65e8 Conversion of Prism PTAs to Jani PTAs 6 years ago
TimQu c5ef182002 added PTA features (clock variables, location invariants) for jani 6 years ago
TimQu 2b90975525 parsing prism PTAs 6 years ago
TimQu 37eb90bc82 better check whether transition rewards can be scaled and lifted to action rewards 6 years ago
TimQu e3c0a49ed3 New RewardModelInformation now compiles... 6 years ago