Commit Graph

Select branches

Hide Pull Requests

tempestpy_adaptions

Mono Color

• f419c3aac0 Merge branch 'master' of https://github.com/sjunges/storm Sebastian Junges 2021-05-19 18:56:13 -0700
• 60ed3c74e7 update changelog to reflect branch merge Sebastian Junges 2021-05-19 18:54:32 -0700
• f0378363bb
  ConstantsComparator: reduced code duplications, fixed a potentially div by 0, and silenced a warning Tim Quatmann 2021-05-10 09:57:20 +0200
• c5bbf68eaf
  Removed several unnecessary forward declarations of ConstantsComparator. Tim Quatmann 2021-05-10 09:48:01 +0200
• decd3e0ad8
  Merge pull request #115 from AlexBork/master Tim Quatmann 2021-04-29 08:39:17 +0200
• db9097be8c Fix for CUDD Alex Bork 2021-04-28 16:20:24 +0200
• cf63ea6767 eliminate nonstandard predicates early on Sebastian Junges 2021-04-27 19:14:40 -0700
• 58e1cc6af0 extend prism maze example with bad state Sebastian Junges 2021-04-26 10:01:35 -0700
• bc506d24f1
  Merge pull request #114 from tquatmann/prism-unbounded-integers Tim Quatmann 2021-04-26 11:09:04 +0200
• bbbe178572 Cleaning and support for linux platforms Sebastian Junges 2021-04-25 21:00:06 -0700
• f841e75679 Merge branch 'prismlang-sim' into almostsurebdd Sebastian Junges 2021-04-25 18:03:20 -0700
• 85b676ff57 better output Sebastian Junges 2021-04-25 15:37:29 -0700
• 65ba87dbd0 removed debug output Sebastian Junges 2021-04-23 17:13:41 -0700
• 1218991e6a can switch off producing schedulers in the instantiation model checker Sebastian Junges 2021-04-21 10:34:40 -0700
• a7a10136fa
  Cmake: Marking two options as advanced. Tim Quatmann 2021-04-19 13:22:16 +0200
• b3a6d91d58
  CMake: Changed github address of Carl. Tim Quatmann 2021-04-19 13:17:48 +0200
• a07ee8a018
  Updated Changelog Tim Quatmann 2021-04-19 12:28:55 +0200
• bdd89d87b2
  Prism next state generator now deals with unbounded integer variables. Tim Quatmann 2021-04-19 12:28:41 +0200
• 1fe0254f5d
  DdPrismModelBuilder now errors in case it has a program with unbounded integer variables as input Tim Quatmann 2021-04-19 12:27:35 +0200
• 9f1c540f05
  Counterexamples:making minimal label set generator aware of unbounded integer variables Tim Quatmann 2021-04-19 12:26:51 +0200
• 171ff270e0
  Prism to Jani conversion now supports unbounded integer variables Tim Quatmann 2021-04-19 12:25:56 +0200
• 8f9ff95531
  Added Test cases for parsing/processing prism programs that use unbounded integer variables Tim Quatmann 2021-04-19 12:25:18 +0200
• 5c2b9c503c
  prism/Program: Integer variables can now have no lower and/or upper bound. Tim Quatmann 2021-04-19 12:25:02 +0200
• aa5bb9cb7d
  PrismParser: Parsing unbounded integer variables Tim Quatmann 2021-04-19 12:21:45 +0200
• e52775279b changed shieldFilename and construction of OptSh Stefan Pranger 2021-04-19 11:48:34 +0200
• 97b4f1f939 adapted PostScheduler output format Stefan Pranger 2021-04-19 11:44:56 +0200
• 1c03b4680a made member of Scheduler protected Stefan Pranger 2021-04-19 11:43:40 +0200
• cab3339ad6 added OptimalShield Stefan Pranger 2021-04-19 11:43:20 +0200
• 7f84acf1dd added PreScheduler and adapted PreShield Stefan Pranger 2021-04-19 11:43:01 +0200
• e1f49ee1f0 added OptimalShield Stefan Pranger 2021-04-19 11:42:26 +0200
• 9ad15ffbe4 moved choice values from abstract shield Stefan Pranger 2021-04-19 11:42:10 +0200
• 0479b58472 added names and optimal shield to parsing Stefan Pranger 2021-04-19 11:39:21 +0200
• 789ee27cea added creation of optimal shields to SMG LRA Stefan Pranger 2021-04-19 11:38:32 +0200
• 7eb5cd98a5 statesOfCoalition are now part of LRAViHelper Stefan Pranger 2021-04-19 11:37:31 +0200
• 8b73f0a0d1 added util functions to shieldExpression Stefan Pranger 2021-04-19 11:33:44 +0200
• 2e2665a5cc dirOverride should be const Stefan Pranger 2021-04-19 11:33:16 +0200
• 05c2111e61 statesOfCoalition should be complemented Stefan Pranger 2021-04-19 11:30:47 +0200
• 871efc0d8c
  Fixed TerminalStatesGetter with multi-bounded formulae. Tim Quatmann 2021-04-14 16:30:13 +0200
• b58addcf50 Github Actions: fix PR testing originating from different branches Daniel Basgöze 2021-04-13 12:53:17 +0200
• b6c8ab1cf6 Github Actions: use current ref instead of hardcoded master Daniel Basgöze 2021-04-12 14:08:03 +0200
• aac792bd1d
  Updated list of contributers in Readme Tim Quatmann 2021-04-12 16:38:44 +0200
• c3859ec021 Add merge operation to RelevantEvents Daniel Basgöze 2021-04-02 15:04:27 +0200
• 8bccb7ffa1 Fix const correctness in RelevantEvents Daniel Basgöze 2021-04-02 15:02:46 +0200
• 7cd2394078 Make RelevantEvents independent of std::vector Daniel Basgöze 2021-04-02 14:53:32 +0200
• d5c6a509a2
  JaniNextStateGenerator: Fixed evaluation of terminal states using expressions over transient variables Tim Quatmann 2021-04-06 06:54:33 +0200
• 95d53e444b
  Fixed an issue with jani::VariablSet using different kinds of variable names when adding and deleting variables. Tim Quatmann 2021-04-06 06:53:35 +0200
• 66e6938d20
  added a few clarifying comments in JaniNextStateGenerator Tim Quatmann 2021-03-30 10:43:20 +0200
• 5421b98aa5 major changes in safety shield creation Stefan Pranger 2021-03-27 22:37:41 +0100
• 98bbde8c73 smg vi methods now return all choice values Stefan Pranger 2021-03-27 22:09:00 +0100
• e7fa826fe4 Compare *equal now correctly compare Stefan Pranger 2021-03-27 22:07:10 +0100
• e3251c7500 reset reward from last action upon reset Sebastian Junges 2021-03-26 12:44:09 -0700
• a7f9a6e4c6 use state rewards (upon entry) Sebastian Junges 2021-03-26 12:43:43 -0700
• 53abe31580 enabled shield computation for different queries Stefan Pranger 2021-03-17 16:01:10 +0100
• 076a0ce77b fixed check for presence of shielding expressions Stefan Pranger 2021-03-16 18:46:38 +0100
• a51b7a132c fixed ChoiceFilter comparison Stefan Pranger 2021-03-16 13:51:51 +0100
• 1c3e669efa introduced choiceFilter for PostSafetyShields Stefan Pranger 2021-03-16 13:29:48 +0100
• be9450d1cb removed debug output Stefan Pranger 2021-03-16 13:20:31 +0100
• 814498ada2 fix output of prob choice labels in scheduler Stefan Pranger 2021-03-16 13:19:37 +0100
• 4801173505 refactored preSafetyShield to use ChoiceFilter Stefan Pranger 2021-03-15 23:47:54 +0100
• 2275a83466 init ChoiceFilter as shielding util Stefan Pranger 2021-03-15 23:47:36 +0100
• 1c2f120a76 added optimization direction to shields Stefan Pranger 2021-03-15 23:46:23 +0100
• 1b19b28a0d added less-/greater-equal utility functions Stefan Pranger 2021-03-15 23:43:58 +0100
• 514dfb8ce6 refactored allowedValue method Stefan Pranger 2021-03-15 21:23:47 +0100
• a147552be0 warn the user of no shielding action is possible Stefan Pranger 2021-03-15 14:23:47 +0100
• dc430a3213 possibly skip undefined choices in schedulers Stefan Pranger 2021-03-15 14:01:38 +0100
• c78981dc1a adapted smg helper returns to use new helper type Stefan Pranger 2021-03-15 13:24:36 +0100
• 38783af858 changed arg list of smg helper return type Stefan Pranger 2021-03-15 13:24:04 +0100
• 222a8fd5af changed return type of helper method Stefan Pranger 2021-03-15 09:47:49 +0100
• 2b32f7c043 adapted to new shield creation routine Stefan Pranger 2021-03-15 09:45:42 +0100
• 5562007866 introduced PostScheduler Stefan Pranger 2021-03-15 09:43:52 +0100
• 4b2e7e020f restructured shield creation Stefan Pranger 2021-03-15 09:42:40 +0100
• 3decad58b9 introduced shield export Stefan Pranger 2021-03-15 09:20:10 +0100
• f605ec28e3 fixed bug in safety shield creation Stefan Pranger 2021-03-01 19:50:56 +0100
• caf855e1a4 added first version of pre safety shield Stefan Pranger 2021-03-01 18:31:44 +0100
• 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