tempest

fded9732d2 Updated CHANGELOG Matthias Volk 2021-02-18 16:00:47 +0100
fcc1762595 Github actions: run doxygen daily instead of on push to prevent race condition Matthias Volk 2021-02-18 15:01:09 +0100
08ea706cb4 Merge branch 'master' of origin Matthias Volk 2021-02-18 14:58:58 +0100
e7ca4dc0c9 start with globally formulae - definitions of methods and functionality (not checked) Lukas Posch 2021-02-17 22:31:39 +0100
6d24ea9606 Silenced many 'loop variable is always a copy' warnings Tim Quatmann 2021-02-17 21:30:54 +0100
481d23b904 Replaced storm::expressions::Expression::operator^ by storm::expressions::pow. An optional flag indicates if we should allow power expressions of integer type (PRISM semantics) or whether it is always a real (JANI semantics). Tim Quatmann 2021-02-17 20:56:08 +0100
46462d6556 Z3Adapter: Fixing translation of XOR operators - expression's operator^ is supposed to be power, not xor. Tim Quatmann 2021-02-17 20:55:04 +0100
d863fe4156 Jani Export: Power expressions of integer type need to be type casted. Tim Quatmann 2021-02-17 19:54:44 +0100
0d54b80ba5 Merge pull request 'until formulae' (#14) from until_formulae into main Stefan Pranger 2021-02-17 16:11:00 +0000
94cd2e7fbd Apply rewriting only for modularisation Matthias Volk 2021-02-17 12:52:02 +0100
afa0c07947 introduced schedulerSize, removed empty for-loop Lukas Posch 2021-02-17 11:24:48 +0100
aa2489cb36 added some comments to expansion of scheduler Stefan Pranger 2021-02-16 17:29:20 +0100
e48f3d0705 added notPhiStates to expandScheduler Lukas Posch 2021-02-16 16:09:46 +0100
646181c533

Merge pull request #103 from ArashPartow/master Tim Quatmann 2021-02-16 15:10:00 +0100
f39538763f Reverted Fix for CUDD (fixes #104) Tim Quatmann 2021-02-16 14:14:28 +0100
7807c8a143 changed variable names to camelCase Lukas Posch 2021-02-15 20:16:06 +0100
5473966cd1 changed clippedStatesOfCoalition with size and values from relevantStates Lukas Posch 2021-02-15 20:04:14 +0100
5dfe48e51e changed description of submatrix Lukas Posch 2021-02-15 19:18:52 +0100
e1cbf08749 Removed DEBUG messages, changed description of submatrix Lukas Posch 2021-02-15 19:06:35 +0100
86bf1a0d89 small clean up Lukas Posch 2021-02-15 16:51:08 +0100
318544a940 refactor computation of relevantStates from BitVector method to logical AND Lukas Posch 2021-02-15 16:45:14 +0100
7a25fb7881 small code clean up, added todo for refactoring bitvector method Lukas Posch 2021-02-15 16:03:34 +0100
37d36c52b3 fill up the result vector for ~relevantStates Lukas Posch 2021-02-15 15:46:07 +0100
58ec5b89e9 set direction overrides Lukas Posch 2021-02-15 14:55:04 +0100
781f105ca1 introduced name relevantStates, moved methods to Bitvector class Lukas Posch 2021-02-11 17:42:39 +0100
2bf6402725 implemented until formulae Lukas Posch 2021-02-09 22:14:47 +0100
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

Commit Graph Select branches Hide Pull Requests main tempestpy_adaptions Mono Color

Commit Graph

Select branches

Hide Pull Requests

main

tempestpy_adaptions