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

Commit Graph

  • 4c350b3e2d print predicate expressions added Sebastian Junges 2021-06-10 09:47:52 -0700
  • b3a69e24a3
         Update src/storm/storage/prism/OverlappingGuardAnalyser.h Sebastian Junges 2021-06-10 09:56:10 -0700
  • 0d43a55923 Fixed incorrect type of modulo expression with integer inputs Johannes Lehmann 2021-06-09 16:32:27 +0200
  • 996da02efd Remove support for Travis CI Matthias Volk 2021-05-24 17:57:02 +0200
  • f3c54a06a1
         Simplify assertion Sebastian Junges 2021-05-26 10:07:44 -0700
  • 6d7802975f remove compilation error and improve associated feedback to user Sebastian Junges 2021-05-24 08:13:56 -0700
  • a9fbbab447 premerge changelog cleanup Sebastian Junges 2021-05-23 23:03:11 -0700
  • 76bf1049ee test for masking during building Sebastian Junges 2021-05-23 22:58:40 -0700
  • ed25e903b7 exportexplicit test case added Sebastian Junges 2021-05-23 22:19:43 -0700
  • 6ce1f96efc belief support tracking test and cleaning Sebastian Junges 2021-05-23 21:40:24 -0700
  • 796b76b242 jani-belsupmc tests added Sebastian Junges 2021-05-23 20:56:12 -0700
  • 01bd04b170 test cases for iterative qualitative added Sebastian Junges 2021-05-23 19:02:00 -0700
  • 4844573b63 qualitative search: oneshot cleaning and tests Sebastian Junges 2021-05-23 17:56:29 -0700
  • 6b5c7b2672 minimal test cases for qualitative analysis: graphs Sebastian Junges 2021-05-23 17:43:06 -0700
  • f77e8b2dc2 added a minimal test for makecanonic Sebastian Junges 2021-05-23 17:32:43 -0700
  • 9e2bc9b341 testing for writing to global vars from action-labelled models Sebastian Junges 2021-05-22 20:24:36 -0700
  • 271fdb0607 minimalistic test cases for building POMDPs added Sebastian Junges 2021-05-22 20:23:13 -0700
  • 922d6f6572 export of compressed states to json with negative values fixed Sebastian Junges 2021-05-21 21:23:54 -0700
  • f910288aea global command indices may not be from 0 to N, so we have to check for highest command index explicitly Sebastian Junges 2021-05-21 21:23:02 -0700
  • f43cb6a798 fix testfile Sebastian Junges 2021-05-20 22:09:17 -0700
  • c575890229
         Merge pull request #117 from tquatmann/revised-constants-comparator Sebastian Junges 2021-05-20 21:28:36 -0700
  • 31d8fb33e8 Merge remote-tracking branch 'publicdev/almostsurebdd' Sebastian Junges 2021-05-20 14:52:23 -0700
  • b9bd9e2fd4 parser test for nary predicates Sebastian Junges 2021-05-20 14:25:37 -0700
  • a4e8d9ea11 post-merge fix to when substituting predicates and unbounded integers Sebastian Junges 2021-05-20 14:25:21 -0700
  • e1ddb9f9aa
         .clang-format: disabled namespace indentation Tim Quatmann 2021-05-20 13:05:41 +0200
  • 4d674e18db
         Added a .clang-format file. Tim Quatmann 2021-05-20 12:17:04 +0200
  • 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