sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • d1a39e48fe removed unused template instantiations Stefan Pranger 2021-03-01 18:30:45 +0100
  • 750efef3b5 made shielding printout prettier Stefan Pranger 2021-03-01 18:28:43 +0100
  • 0f7555a8e0 fetch choice values from until vi computation Stefan Pranger 2021-03-02 09:32:06 +0100
  • 8943b01df5 added shield handling header Stefan Pranger 2021-02-23 17:49:25 +0100
  • 359f20b17d init first shield implementation Stefan Pranger 2021-02-23 17:49:13 +0100
  • c9d5e2959a let MDP helper return type store choiceValues Stefan Pranger 2021-02-23 17:48:22 +0100
  • 0c619c097c WIP: init shielding for SMGs Stefan Pranger 2021-02-23 17:48:04 +0100
  • 5051b9f9f7 fixed typo Stefan Pranger 2021-02-23 17:46:11 +0100
  • dccb9e5f8b changed some debug output Stefan Pranger 2021-02-23 17:45:56 +0100
  • 72baec5ec1 substituteFormula now respects shieldExpression Stefan Pranger 2021-02-23 09:44:31 +0100
  • a3da5642f1 removed unused member of checkTask Stefan Pranger 2021-02-23 09:44:16 +0100
  • d9db7d57b3 parsing ShieldExpression into shared_ptr Stefan Pranger 2021-02-17 20:18:42 +0100
  • 102b26b933 CheckTask may now hold info about shielding query Stefan Pranger 2021-02-17 20:17:41 +0100
  • d4d3c0d9ea Jani Props may now hold info about shielding query Stefan Pranger 2021-02-17 20:17:02 +0100
  • 00479b4877 added printout for shielding queries Stefan Pranger 2021-02-17 20:15:17 +0100
  • 283f4ea6a2 added toString method for ShieldExpression Stefan Pranger 2021-02-17 20:13:49 +0100
  • 66a8e472e3 added ostream for ShieldExpression Stefan Pranger 2021-02-17 08:07:36 +0100
  • fa47742a14 added checks for multiplicative factor parsing Stefan Pranger 2021-02-17 08:06:39 +0100
  • f6b341168d added formula parser grammar for shields Stefan Pranger 2021-02-16 17:17:14 +0100
  • 16fafbcfcc properties now hold information about shield query Stefan Pranger 2021-02-16 17:16:47 +0100
  • 5a2657346b added shield expression class Stefan Pranger 2021-02-16 17:16:18 +0100
  • 6f39d431a3 Github Actions: only run doxygen and deploy on master branch of original repository (and not on forks or pull requests). Matthias Volk 2021-03-12 13:45:42 +0100
  • 7ef70401ed Merge pull request 'boundedGlobally' (#19) from next_formulae into main Stefan Pranger 2021-03-13 08:58:28 +0000
  • 027ed523cd added constrainedChoiceValues for boundedGloballyFormulas Lukas Posch 2021-03-11 11:49:35 +0100
  • 168b5fabd6
         Silenced several warnings Tim Quatmann 2021-03-11 08:03:42 +0100
  • 45a7db8222
         LpMinMaxLinearEquationSolver: Fixed an issue when using glpk occurring when the lower bound of a variable matches the upper bound. Also revamped retrieving of lower/upper bounds. Tim Quatmann 2021-03-10 06:31:18 +0100
  • e59918668e
         AbstractEquationSolver: Added more convenient getters for the most appropriate lower/upper bound of a given variable Tim Quatmann 2021-03-10 06:26:59 +0100
  • 59c5aeadea changed message for boundedGloballyFormula Lukas Posch 2021-03-09 18:32:23 +0100
  • f6829dd109 clean up BoundedGloballyGameViHelper Lukas Posch 2021-03-09 18:14:49 +0100
  • 0fd952c6f7 removed b Lukas Posch 2021-03-09 18:00:20 +0100
  • bcd67c63f7 removed "...Reachability" from GameViHelper and BoundedGloballyGameViHelper Lukas Posch 2021-03-09 17:41:19 +0100
  • 5e040553a6 changed error message Lukas Posch 2021-03-09 17:32:01 +0100
  • 0ea549864f fixed assert for using lowerBounds Lukas Posch 2021-03-09 17:29:10 +0100
  • 02bc7f3f69 added assert for using lowerBounds Lukas Posch 2021-03-09 16:39:30 +0100
  • 6df0efcd3e
         Set result correctly for reachability rewards in MdpInstantiationChecker Matthias Volk 2021-03-09 13:03:17 +0100
  • 64861445fe bug fix bounded globally Lukas Posch 2021-03-09 12:59:47 +0100
  • eaff65ef27 LinearCoefficientVisitor: Fixed translation of division expressions. Tim Quatmann 2021-03-09 07:15:22 +0100
  • 5d45514af2 avoid parsing jani after creating model - fix in lvalue to allow this Sebastian Junges 2021-03-08 21:21:14 -0800
  • 3355b21b72 add timing info to storm-pomdp Sebastian Junges 2021-03-08 16:28:17 -0800
  • d6ab421cb7 add belief-support-mdp generator Sebastian Junges 2021-03-08 16:27:28 -0800
  • 3c58b5b2f7 case split for MDPs actually checks for MDPs Sebastian Junges 2021-03-08 16:19:18 -0800
  • 08f928456c fix guard for code that considers transient assignments to also consider only transient assignments Sebastian Junges 2021-03-08 16:18:24 -0800
  • 6b6f44100e allow building parametric models of the form s --p-->, s--q--> Sebastian Junges 2021-03-08 16:16:39 -0800
  • 8df4a99770 small changes, but did not fix the bug Lukas Posch 2021-03-08 17:54:46 +0100
  • 489d8a5fd2 added bounds to model checker and parse it for probability calculation of bounded globally formulas Lukas Posch 2021-03-08 12:42:23 +0100
  • 50c7a69f94 added bounds to computeBoundedGlobally Probabilities and parse upperBound to the game vi helper, additional little changes Lukas Posch 2021-03-08 12:41:14 +0100
  • 66f893edcb changed globally formula grammar and added the case for bounded globally formulas for createGloballyFormula Lukas Posch 2021-03-08 12:39:27 +0100
  • 023e067c59 added bounded globally formulas to other classes Lukas Posch 2021-03-08 12:37:50 +0100
  • e1599efc6f added upperBound to valueIteration of BoundedGloballyGameViHelper Lukas Posch 2021-03-08 12:34:19 +0100
  • ef415d4347 added needed methods to class BoundedGloballyFormula Lukas Posch 2021-03-08 12:33:20 +0100
  • dbc0cacb45 added bounded globally to AbstractModelChecker Lukas Posch 2021-03-08 12:31:20 +0100
  • 7beb999219 label unlabelled commands Sebastian Junges 2021-03-07 23:03:29 -0800
  • 71f60e812c more precise analysis of whether commands will synchronize Sebastian Junges 2021-03-07 23:02:57 -0800
  • c4187b03eb fixed error messages Sebastian Junges 2021-03-07 22:58:47 -0800
  • a5842e4a61 nasty bug where some sync action indices where not reflected in one of the data structures Sebastian Junges 2021-03-06 11:22:04 -0800
  • 7daa5e2ab7 fixed error message Sebastian Junges 2021-03-06 11:20:59 -0800
  • 52f88bca4d Merge branch 'master' into prismlang-sim Sebastian Junges 2021-03-05 22:50:45 -0800
  • 9fea07542a
         Fixed warning Matthias Volk 2021-03-05 11:52:02 +0100
  • c9841b71a0
         Const reference for splittingThreshold Matthias Volk 2021-03-05 11:51:14 +0100
  • 78b0bc9749 Merge branch 'main' into next_formulae Lukas Posch 2021-03-04 15:40:17 +0000
  • 5ace260ecb set up SparseSmgRpatlModelChecker for bounded globally Lukas Posch 2021-03-04 16:15:28 +0100
  • 4aee59a15a set up SparseSmgRpatlHelper for bounded globally Lukas Posch 2021-03-04 16:15:04 +0100
  • ff8c520808 added class BoundedGloballyGameViHelper Lukas Posch 2021-03-04 16:14:28 +0100
  • 9976b927f9 small changes and added TODOs in class BoundedGloballyFormula Lukas Posch 2021-03-04 16:14:01 +0100
  • 1fb1368a14 Set up BoundedGloballyFormula to methods of FragmentChecker.* Lukas Posch 2021-03-04 16:13:22 +0100
  • 5030efd363 Set up BoundedGloballyFormula to methods of FormulaInformationVisitor.* Lukas Posch 2021-03-04 16:13:09 +0100
  • c142922182 Set up BoundedGloballyFormula to methods of Formula.* Lukas Posch 2021-03-04 16:12:48 +0100
  • c1ab2ca8d9 created class BoundedGloballyFormula Lukas Posch 2021-03-04 14:31:30 +0100
  • 56e70c3417 setBoundedGloballyFormulasAllowed in FragmentSpecification.* Lukas Posch 2021-03-04 13:57:18 +0100
  • 8d17a0362d Fix extremal value computation Jip Spel 2021-03-04 11:41:57 +0100
  • 49dff36512
         Github Actions: clone complete history to support version extraction Matthias Volk 2021-03-03 22:51:43 +0100
  • 3437d76a55 Merge pull request 'next formulae' (#18) from next_formulae into main Stefan Pranger 2021-03-03 17:30:01 +0000
  • a86426211c changed statesOfCoalition Lukas Posch 2021-03-03 17:52:33 +0100
  • 2f39eab91e reduced the calculation part to a call to multiplyAndReduce in SparseSmgRpatlHelper.cpp Lukas Posch 2021-03-02 15:41:41 +0100
  • 5738701a2d removed scheduler handling from next (except a warning) Lukas Posch 2021-03-02 14:49:48 +0100
  • 2e27e32622 start with next formulae Lukas Posch 2021-03-01 19:13:45 +0100
  • 4514ed76d6 Merge branch 'master' into prismlang-sim Sebastian Junges 2021-03-02 21:45:55 -0800
  • d25cd1d636
         Enable Github Actions for pull requests (without deployment) Matthias Volk 2021-03-02 11:43:49 +0100
  • 2a86bfa14c Merge pull request 'globally formulae' (#17) from globally_formulae into main Stefan Pranger 2021-03-02 08:30:01 +0000
  • 60ce89872c fixed another small typo Lukas Posch 2021-03-01 19:15:33 +0100
  • 50087994f7 fixed typo Lukas Posch 2021-03-01 18:12:07 +0100
  • 3f9616d3e0
         Added documentation about integrating Github pull requests Matthias Volk 2021-03-01 18:10:26 +0100
  • 5b9319ee58 clean up computeGloballyProbabilities Lukas Posch 2021-03-01 18:00:57 +0100
  • 0ed64b6257 Add == and != ops to RelevantEvents Daniel Basgöze 2021-02-25 15:33:09 +0100
  • 7a2b060afc Remove allowDCForRelevant from RelevantEvents Daniel Basgöze 2021-02-25 15:27:24 +0100
  • 972ef8b14c Break inclusion loop in DFT.h Daniel Basgöze 2021-02-25 15:08:14 +0100
  • 7fc4046fbc
         Fix DftSimulatorTest for older Boost versions Matthias Volk 2021-02-23 19:36:13 +0100
  • 734599c114 correction of globally functionality Lukas Posch 2021-02-22 12:11:21 +0100
  • 76afd5e3de
         Implemented basis for handling invalid traces during simulation Matthias Volk 2021-02-08 20:37:41 +0100
  • 6eec25de6c
         Typos Matthias Volk 2021-02-08 20:35:04 +0100
  • 7111674ec8
         Support for simulation of PDEP Matthias Volk 2021-02-08 12:31:56 +0100
  • 9e3e2c02fe
         Handle PDEP in createSuccessorState as well Matthias Volk 2021-02-08 12:28:20 +0100
  • 6c025f13d2
         Added more tests for DFT simulation Matthias Volk 2021-01-25 20:55:57 +0100
  • 344ba353e0
         Use template for DFTTraceSimulator Matthias Volk 2021-01-25 20:50:48 +0100
  • fb2f55d804
         Fixed bug where POR was changed to PAND during transformation to binary FDEPs Matthias Volk 2021-01-25 20:14:42 +0100
  • d74558e0cb changelog update Sebastian Junges 2021-02-20 00:29:33 -0800
  • 42ec9ec60d state lookup does not crash when state does not exist Sebastian Junges 2021-02-20 00:28:30 -0800
  • c1fbe3c194 Merge branch 'master' into prismlang-sim Sebastian Junges 2021-02-19 23:56:05 -0800
  • bfd03bc9ce Merge branch 'rubicon' into prismlang-sim Sebastian Junges 2021-02-19 21:15:44 -0800
  • c1ec3032fa reset to state Sebastian Junges 2021-02-18 23:21:54 -0800