Commit Graph

Select branches

Hide Pull Requests

tempestpy_adaptions

Mono Color

• 5a37a40cea Monotonicity for computing extremal value and parameter space partitioning Jip Spel 2021-02-08 13:19:21 +0100
• 8901f9c88c Merge pull request 'Fix Output of Player Coalitions' (#12) from fix_coalition_outstream into main Stefan Pranger 2021-02-07 14:29:39 +0000
• 1c9d3b7529 fixed output of player coalitions Stefan Pranger 2021-02-07 15:21:43 +0100
• 6a90aa2d1c Merge pull request 'Adapting Multipliers for Games' (#8) from gmmxx_refactoring into main Stefan Pranger 2021-02-07 08:45:11 +0000
• 868c9fb0fd
  Fixed activation for failed nested SPAREs. Matthias Volk 2021-02-05 14:05:36 +0100
• f438473c9e Update the ExprTk library Arash Partow 2021-01-31 12:22:11 +1100
• 47bc2ae677 removed default parameter Stefan Pranger 2021-01-29 19:24:38 +0100
• 7c31774678 removed residual function calls Stefan Pranger 2021-01-29 19:19:20 +0100
• 790c57898c adapted virtual multiplier functions for opt dir Stefan Pranger 2021-01-29 19:17:29 +0100
• 7063928d2f refactored gmm opt dir overrides Stefan Pranger 2021-01-29 19:16:54 +0100
• b698a7cfcb native multiplying now supports optdir overrides Stefan Pranger 2021-01-29 19:15:17 +0100
• 6559a3554a pass bitvector of coal states to helper Stefan Pranger 2021-01-29 10:33:10 +0100
• 8b74f49806 fixup after merging PRs Stefan Pranger 2021-01-29 10:30:32 +0100
• f3a2f89b7a Merge pull request 'Merge simple reachability for SMG' (#5) from smg_reachability into main Stefan Pranger 2021-01-29 07:49:11 +0000
• 8e2ec23c94 Merge branch 'main' into smg_reachability Stefan Pranger 2021-01-29 08:46:42 +0100
• fd87e0ef2d Merge pull request 'Merge SMG LRA MC' (#4) from smg_lra_model_checking into main Stefan Pranger 2021-01-29 07:38:44 +0000
• fae507c902 removed residual loc from rebase Stefan Pranger 2021-01-29 08:37:31 +0100
• 44378ac9a1 fix for playerIndex in Choice Stefan Pranger 2021-01-29 08:32:29 +0100
• ff8a0cc655 removed old Coalition files Stefan Pranger 2021-01-29 08:27:29 +0100
• ee22a4ae65 adaptations for lra computation in GMMXXMultiplier Stefan Pranger 2021-01-19 17:25:21 +0100
• 7bebfb91a0 smg lra debug commit Stefan Pranger 2021-01-29 08:26:34 +0100
• 3fd83c8b25 added GameMECDecomposition for testing purposes Stefan Pranger 2021-01-19 17:06:34 +0100
• 0ee383390d fixed call of inherited function and Stefan Pranger 2020-12-23 11:02:42 +0100
• df8b893417 change optimization direction if overridden Stefan Pranger 2020-12-22 17:38:56 +0100
• 705105988b check convergence with weighted values Stefan Pranger 2020-12-22 17:11:34 +0100
• ec35868634 set optdir overrides from multiplier env Stefan Pranger 2020-12-22 17:05:05 +0100
• 33b78d5a6f nondetTs may also be gameNondetTs in LraViHelper Stefan Pranger 2020-12-22 17:02:21 +0100
• 60d71416b0 added method for lra game transition type Stefan Pranger 2020-12-22 16:57:42 +0100
• 28eb89f6ac added and finalized NondetGamehelper methods Stefan Pranger 2021-01-29 08:24:46 +0100
• 72da4ba12e added and finalized methods for rpatlMC Stefan Pranger 2021-01-29 08:24:05 +0100
• 14ab06fbae computeLongRunAverageValues is now virtual Stefan Pranger 2020-12-22 16:34:00 +0100
• 7abc84449b added opt dir override bitvector to multiplier Stefan Pranger 2020-12-22 16:07:02 +0100
• 972df05683 store tuples of player name and index Stefan Pranger 2021-01-29 08:17:14 +0100
• ba9c0dd2ea added transition type for games to LraViHelper Stefan Pranger 2020-12-16 12:45:36 +0100
• 8738060410 init helper for games Stefan Pranger 2020-12-16 12:15:16 +0100
• 82edb7ca91 AbstractMC passes game formula to the rpatl MC Stefan Pranger 2020-12-16 11:47:01 +0100
• 42bc77f275 verification now handles SMGs Stefan Pranger 2021-01-29 08:13:58 +0100
• 22c92e2485 buildMatrices handles playerIndices via reference Stefan Pranger 2021-01-29 08:12:38 +0100
• f6edcc4ddf engine now checks smg models Stefan Pranger 2020-12-16 11:27:48 +0100
• e998cb669b smg model now stores the player action indices Stefan Pranger 2021-01-29 08:11:25 +0100
• 844062c58e gameForumlas now gather referenced variables Stefan Pranger 2021-01-29 08:09:48 +0100
• 40f5fc04a9 rpatl smg formulas now accept operatorFormulas Stefan Pranger 2020-11-24 16:05:13 +0100
• f9368be970 refactor Coalition to use boost variant Stefan Pranger 2021-01-29 08:08:15 +0100
• de38996b4e add assertion for module indices in second Stefan Pranger 2021-01-29 08:06:32 +0100
• 6a0fa46634 added Coalition default ctor Stefan Pranger 2020-11-23 13:44:46 +0100
• 8e31f49468 add STORM_DEVELOPER ALL_WARNINGS GCC case Stefan Pranger 2020-11-23 13:20:46 +0100
• 07d7ca9189 WIP added grammar rules for gameFormula Stefan Pranger 2021-01-29 08:04:20 +0100
• 0d7e763b00 added rPATL to FragmentSpecifitcations Stefan Pranger 2021-01-29 08:03:24 +0100
• a93a8ed0b0 added multiple Visitor methods for gameFormulas Stefan Pranger 2021-01-29 08:02:24 +0100
• 3a3cd96614 added GameFormula class Stefan Pranger 2021-01-29 08:01:19 +0100
• bf7d30690a added Coalition class Stefan Pranger 2020-11-19 18:13:20 +0100
• 0519a3955c fix reorder warning Stefan Pranger 2021-01-29 08:00:40 +0100
• 97838515b4 switch cases in engine now feature SMG case Stefan Pranger 2020-11-23 14:24:48 +0100
• 4c1b0d77f6 init rpatl mc and helper Stefan Pranger 2021-01-28 18:27:16 +0100
• 2a88a3e95f fix backwards multiplier Stefan Pranger 2021-01-28 18:26:06 +0100
• 4a018c0ca7 added override to LESolver Stefan Pranger 2021-01-28 18:24:58 +0100
• 9a8e8fec5f renamed function argument Stefan Pranger 2021-01-28 18:20:08 +0100
• 433666eb8b removed github actions folder Stefan Pranger 2021-01-28 17:57:38 +0100
• e156d7b8e7
  Prevent problems with different random values on older Boost versions Matthias Volk 2021-01-27 10:21:39 +0100
• 6a48fc9e2e
  Fixed variables in Github Actions Matthias Volk 2021-01-27 10:09:52 +0100
• d19d1bc367
  Added email notification for Github Actions Matthias Volk 2021-01-26 19:46:02 +0100
• 5b053fa59c
  Tests for DFT simulator Matthias Volk 2021-01-24 23:23:20 +0100
• 54e665aff1
  First version of simulator for failure traces in DFTs Matthias Volk 2021-01-24 23:18:44 +0100
• d6d36ee557
  Support for sampling from exponential distribution Matthias Volk 2021-01-24 22:20:36 +0100
• 656e823287
  Refactored DFT Api Test Matthias Volk 2021-01-24 22:18:55 +0100
• d04268a294
  Added const qualifiers Matthias Volk 2021-01-24 22:18:21 +0100
• fe014aaceb
  Fixed typo Matthias Volk 2021-01-19 20:40:54 +0100
• 2d092abdfa
  Untangled creating of DFT successor state and refactored FailableElements Matthias Volk 2021-01-19 20:40:16 +0100
• c2fc1218b7 JaniParser: Make warning disappear when assigning an int expression to a real-valued function. Tim Quatmann 2021-01-19 13:26:37 +0100
• 8b68fbf948 JaniBuilder: Fixed checks for transient variable assignments Tim Quatmann 2021-01-19 13:25:41 +0100
• 9b05861324 JaniParser: Fixed a syntax check. Tim Quatmann 2021-01-18 14:11:13 +0100
• 1cdfb6b5d4 allowing reachability prob formulas in rpatl Stefan Pranger 2021-01-20 10:42:49 +0100
• d1f99e0548 refactored canHandle check in rpatl model checker Stefan Pranger 2021-01-20 10:42:00 +0100
• a7caae93cd Merge remote-tracking branch 'rwth/smg-merge' into smg_lra_model_checking Stefan Pranger 2021-01-20 10:04:15 +0100
• 7b59f4c755 adaptations for lra computation in GMMXXMultiplier Stefan Pranger 2021-01-19 17:25:21 +0100
• c6c5c5cc13 smg lra debug commit Stefan Pranger 2021-01-19 17:16:37 +0100
• 432fef0a45 added GameMECDecomposition for testing purposes Stefan Pranger 2021-01-19 17:06:34 +0100
• e63faa485f changed format of player parsing exceptions Stefan Pranger 2021-01-19 17:01:59 +0100
• b0f6a192d4
  Added missing include Matthias Volk 2021-01-18 10:20:48 +0100
• 9568fcae54
  CI: use newest Ubuntu version Matthias Volk 2021-01-17 23:31:08 +0100
• d306e25bef Merge branch 'smg-merge' Tim Quatmann 2021-01-13 15:45:46 +0100
• 44be19f274 Added missing treatment of SMGs in API method. Tim Quatmann 2021-01-13 15:44:49 +0100
• ab9eb9f870 Updated list of contributors. Tim Quatmann 2021-01-13 15:35:13 +0100
• eec8e407c8 Updated Changelog. Tim Quatmann 2021-01-13 15:34:46 +0100
• d82f5353ad Fixed includes of RPATL model checker. Tim Quatmann 2021-01-13 15:27:38 +0100
• 579ab274e6 Fixed computing coalition states in SMG. Tim Quatmann 2021-01-13 15:09:20 +0100
• a0a1bb629c Fixing call of checkGameFormula Tim Quatmann 2021-01-13 13:28:37 +0100
• 792956deb9 Fixing output of player construct. Tim Quatmann 2021-01-13 13:27:48 +0100
• e0977ebb81 Fixed buildActionIndexToPlayerIndexMap Tim Quatmann 2021-01-13 13:15:39 +0100
• efce929c5f Potentially allow verification of SMGs over RationalNumbers Tim Quatmann 2021-01-13 13:09:54 +0100
• 6701c61178 verification now handles SMGs Stefan Pranger 2020-12-16 11:42:54 +0100
• 6473645802 engine: changed order in enumeration for consistency Tim Quatmann 2021-01-13 12:59:40 +0100
• 2cfe0fa5d8 handle model description ostream case for SMGs Stefan Pranger 2020-12-16 11:36:41 +0100
• c8fd980544 engine now checks smg models Stefan Pranger 2020-12-16 11:27:48 +0100
• 6c0cbe622f Polished SparseSmgRpatlModelChecker Tim Quatmann 2021-01-13 12:55:04 +0100
• fe4ef46f6b CheckTask now stores player coalition. Tim Quatmann 2021-01-13 12:54:44 +0100
• d1b068eddf specified supported rpatl fragment a bit more precisely Tim Quatmann 2021-01-13 12:51:19 +0100
• 01ed518ab3 AbstractMC passes game formula to the rpatl MC Stefan Pranger 2020-12-16 11:47:01 +0100
• 8dee62cbdd added sparse MC templates for SMGs Stefan Pranger 2020-12-16 11:35:50 +0100
• ace401f120 added smg rpatl model checker Stefan Pranger 2020-12-16 11:25:05 +0100