7814 Commits (abdbef06f667f4a443031f334801b1c99028aa52)
 

Author SHA1 Message Date
Matthias Volk 5c13fe624f Fixed JSON parser 7 years ago
Matthias Volk d9d29eeea4 More detailed DFT statistics 7 years ago
Matthias Volk 909c035c52 Dot export can insert linebreaks between labels 7 years ago
Matthias Volk d4f4961eb0 Merge branch 'master' 7 years ago
Matthias Volk 9656d2c253 Supporting export of generated Markov chain from DFT 7 years ago
TimQu 208ee76edb storm-pars: Added possibility to compute the extremal value within a given region using parameter lifting. 7 years ago
Matthias Volk b5f37cb8eb Fixed json export for pdep 7 years ago
Matthias Volk 6444bc7c5e Better error message 7 years ago
Matthias Volk 7697254635 Fixed computation of dormancy factor for lambda=0 7 years ago
Matthias Volk 463f873c04 Fixed json export for restrictions and dependencies 7 years ago
TimQu f5ad8398db Allow to add properties to a PGCL program. 7 years ago
TimQu ece2a93f37 Fixed a warning 7 years ago
TimQu c622f463ad JaniNextStateGenerator: Fixed an issue related to CTMCs without state-action rewards 7 years ago
Matthias Volk 425eb4b1a9 Made version check for master14 branch of carl more robust 7 years ago
Matthias Volk d94e1ca275 Fixed warning 7 years ago
Matthias Volk 9ef0c07db5 Removed unused variable 7 years ago
Matthias Volk 6fcebed10e More robust handling of BE arguments in Galileo format 7 years ago
Matthias Volk c0a51c6704 Better error message in GalileoParser 7 years ago
Matthias Volk a15a0072de Better debug output 7 years ago
Matthias Volk 106508fcac Fixed adding of DerivedOperators 7 years ago
Matthias Volk d6d2d96a92 Added JaniExportSettings to storm-dft 7 years ago
Jip Spel 55eab08ed5 Allow non constant derivatives in monotonicity analysis 7 years ago
Matthias Volk cb2b01b7ee Fixed compile issue 7 years ago
Jip Spel 5a05a2ac33 Merge remote-tracking branch 'origin/master' into storm-pars-analysis-monotonicity 7 years ago
Jip Spel 748098e891 Output to results.txt file 7 years ago
Matthias Volk d9dbf8706b Merge branch 'master' into dft_gspn_new 7 years ago
Matthias Volk bd02460aef Merge from master 7 years ago
Sebastian Junges ca3b878654 do not add rate 0 edges to jani (but print a warning) 7 years ago
Jip Spel b04a853319 Check on number of set bits instead of vector size 7 years ago
Sebastian Junges 43688d09ea reward infinity scheduler extraction is now correct 7 years ago
Jip Spel af23545a7b Clean up Lattice Extender 7 years ago
Jip Spel dd1540b4c6 Update lattice 7 years ago
Sebastian Junges 93ca559c83 additional sanity checks for scheduler extraction 7 years ago
Jip Spel 7563d168e4 Make sure statesAbove/Below are set correctly 7 years ago
Jip Spel ae7d334171 Extend test 7 years ago
Jip Spel 9efea2969b Change implementation of Lattice 7 years ago
TimQu 6b09411122 Fixed an error in the jani location expander. 7 years ago
TimQu b3987b178c Explicit model builder: Give an error if no initial state is found. 7 years ago
Jip Spel e0cc7525b5 Extend Lattice Test 7 years ago
Jip Spel 9fa297b2aa Fix test 7 years ago
Jip Spel 78e5108e42 Extend Lattice test 7 years ago
TimQu ca828729ff Fixed a few warnings 7 years ago
TimQu 602d18d844 Fixed parsing of edge assignments. 7 years ago
Sebastian Junges 16d7dccb4e I am utterly stupid. Fixed an assertion that I changed yesterday 7 years ago
Sebastian Junges 5d0ec15ad4 clarified error message, as the reward models are present (according to output) but simply empty 7 years ago
Sebastian Junges 07588df137 operators to remove bounds / optimality types from a formula 7 years ago
Sebastian Junges 9a0794fca1 refined error message wrt unexpected type of scheduler 7 years ago
Sebastian Junges f601405d55 set edge color default to zero 7 years ago
TimQu 9be488b969 Enabling expected time queries for ctmcs in the hybrid engine. 7 years ago
TimQu 003922a9e4 Fixed optimization direction when exporting standard petri net properties to jani 7 years ago