Commits · 15c17c276dd9de8ab2a8bdec3c89c172e04a2e88 · Alexander Diewald / AF3-new

29 Sep, 2020 3 commits
- Merge branch '4063' into 'master' · 15c17c27
  Simon Barner authored Sep 29, 2020
```
Extended exploration.ecore and ExplorationCLIUtils for Reconfiguration

See merge request af3/af3!371
```
  15c17c27
- GREEN · 920889d5
  Simon Barner authored Sep 29, 2020
```
Issue-Ref: 4063
Issue-Url: https://af3-developer.fortiss.org/issues/4063

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  920889d5
- Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4063 · 3fd69b8b
  Simon Barner authored Sep 29, 2020
  
  3fd69b8b
28 Sep, 2020 3 commits

Merge branch '4022' into 'master' · 4cf97247
Johannes Eder authored Sep 28, 2020
```
4022

See merge request af3/af3!338
```
4cf97247

GREEN · 5eff3135

Johannes Eder authored Sep 28, 2020


Issue-Ref: 4022
Issue-Url: https://af3-developer.fortiss.org/issues/4022

Signed-off-by: Johannes Eder <eder@fortiss.org>

5eff3135

Merge branch 'master' into 4022 · 7c7b092f

Johannes Eder authored Sep 28, 2020

Conflicts:
org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/dashboard/projectwizard/.ratings
org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/dashboard/projectwizard/DashboardWizardSelectPlatformArchitecture.java
org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/targetdef/constraint/pattern/.ratings
org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/targetdef/constraint/pattern/SafetyPatternFXController.java
Signed-off-by: Johannes Eder <eder@fortiss.org>

7c7b092f

25 Sep, 2020 1 commit

Extended exploration.ecore and ExplorationCLIUtils for Reconfiguration · 912aa441

Saad bin Abid authored Sep 25, 2020

Extended exploration.ecore with new EClasses and EOperations for
IReconfigurationSynthesis. Also extend the ExplorationCLIUtils.java to
incorporate Reconfiguration synthesis.

Issue-Ref: 4063
Issue-Url: https://af3-developer.fortiss.org/issues/4063

Signed-off-by: Saad bin Abid <abid@fortiss.org>

912aa441

16 Sep, 2020 2 commits

Merge branch '4059' into 'master' · 7c7c6d67

Simon Barner authored Sep 16, 2020

Project: Fix Internal References for Imported Projects

See merge request af3/af3!369

7c7c6d67

GREEN · 38b840f2

Simon Barner authored Sep 16, 2020

Issue-Ref: 4059
Issue-Url: https://af3-developer.fortiss.org/issues/4059

Signed-off-by: Simon Barner <barner@fortiss.org>

38b840f2

15 Sep, 2020 8 commits
- Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4059 · d32266dd
  Simon Barner authored Sep 15, 2020
  
  d32266dd
- Merge branch '4048' into 'master' · fee1eb05
  Simon Barner authored Sep 15, 2020
```
4048

See merge request af3/af3!356
```
  fee1eb05
- Include test case ID in DSE root element and initial import step · 330c39dc
  Simon Barner authored Sep 15, 2020
```
Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  330c39dc
- GREEN · 7a6bfbc1
  Simon Barner authored Sep 15, 2020
```
Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  7a6bfbc1
- Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4048 · d17d364d
  Simon Barner authored Sep 15, 2020
  
  d17d364d
- DSE-TCgen: Reference the Correct PlatArch in the Alloc Tables · 618a054b
  Alexander Diewald authored Sep 15, 2020
```
Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  618a054b
- Merge branch '4062' into 'master' · 99ee765f
  Alexander Diewald authored Sep 15, 2020
```
4062

See merge request af3/af3!370
```
  99ee765f
- GREEN · 06075ff7
  Tiziano Munaro authored Sep 15, 2020
```
Issue-Ref: 4062
Issue-Url: https://af3-developer.fortiss.org/issues/4062

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  06075ff7
14 Sep, 2020 11 commits

DSE.UI: Sort synth category names alphabetically · 6c431b53

Alexander Diewald authored Sep 14, 2020

Issue-Ref: 4062
Issue-Url: https://af3-developer.fortiss.org/issues/4062

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

6c431b53

DSE.UI: Register the Pattern Editors to Listen for Events · 66f5c928

Alexander Diewald authored Sep 14, 2020

Issue-Ref: 4059
Issue-Url: https://af3-developer.fortiss.org/issues/4059

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

66f5c928

Merge branch '4058' into 'master' · 1afa8a0d
Simon Barner authored Sep 14, 2020
```
4058

See merge request af3/af3!365
```
1afa8a0d

GREEN · e56fb20f

Simon Barner authored Sep 14, 2020

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>

e56fb20f

GREEN · f01eab82

Simon Barner authored Sep 14, 2020

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>

f01eab82

Fix warnings · 4f4c2536

Simon Barner authored Sep 14, 2020

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>

4f4c2536

Change type of FLASH_MAX_UTIL to double (for more readable code) · 99cf5f9a

Simon Barner authored Sep 14, 2020

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Simon Barner <barner@fortiss.org>

99cf5f9a

YELLOW: Fix merge errors · 9a736bd1

Alexander Diewald authored Sep 14, 2020

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

9a736bd1

YELLOW · 1fe806b8

Alexander Diewald authored Sep 14, 2020

Issue-Ref: 4048
Issue-Url: https://af3-developer.fortiss.org/issues/4048

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

1fe806b8

Merge remote-tracking branch 'origin/master' into 4048 · 10dd6868

Alexander Diewald authored Sep 14, 2020

Conflicts:
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/testgenerator/util/.ratings
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/testgenerator/util/DseUtils.java
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

10dd6868

Project: Fix Internal References for Imported Projects · e1ad7a01

Alexander Diewald authored Sep 14, 2020

Issue-Ref: 4059
Issue-Url: https://af3-developer.fortiss.org/issues/4059

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

e1ad7a01

11 Sep, 2020 10 commits

DSE.Validation: Dump Results in a JSON File · e6959da7

Alexander Diewald authored Sep 11, 2020

Issue-Ref: 4058
Issue-Url: https://af3-developer.fortiss.org/issues/4058

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

e6959da7

Merge remote-tracking branch 'origin/master' into 4058 · adab45c9

Alexander Diewald authored Sep 11, 2020



Conflicts:
	org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/modeltransformation/.ratings
	org.fortiss.af3.exploration/model/.ratings
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

adab45c9

DSE-CLI: Avoid exceptions in the validator · ed9768f4

Alexander Diewald authored Sep 11, 2020

Issue-Ref: 4058
Issue-Url: https://af3-developer.fortiss.org/issues/4058

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

ed9768f4

Merge branch '4057' into 'master' · db8810ae
Alexander Diewald authored Sep 11, 2020
```
4057

See merge request af3/af3!364
```
db8810ae
Merge branch '3541' into 'master' · 72e48dd1
Simon Barner authored Sep 11, 2020
```
3541

See merge request af3/af3!363
```
72e48dd1

Merge remote-tracking branch 'origin/3541' into 4058 · 1c09226f

Alexander Diewald authored Sep 11, 2020

Conflicts:
org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/backend/.ratings
org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/modeltransformation/.ratings
org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/solver/.ratings
org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/solver/SolverRun.java
org.fortiss.af3.exploration/model/.ratings
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

1c09226f

GREEN · 688c122a

Simon Barner authored Sep 11, 2020

* With a few additional comments provided by Alexander Diewald

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Simon Barner <barner@fortiss.org>

688c122a

DSE-MM: Doc for DSE solver settings · 6585f4f9

Alexander Diewald authored Sep 11, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

6585f4f9

DSE.SMT: Avoid warning · 99b3ada6

Alexander Diewald authored Sep 11, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

99b3ada6

SMT-Transf: Use reals as defaults for SMT opt variables · 1b1e4d8c

Alexander Diewald authored Sep 11, 2020

We are now using reals by default! If relations between model elements
are expressed, we cannot directly determine the value type. Therefore,
two equivalently named functions would be created, one for ints, one
for reals. The function that is defined last dominates the other such
that the resulting specification is incomplete. Fixed with this commit.


Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

1b1e4d8c

10 Sep, 2020 2 commits

DSE.UI JFX: Enable/Disable RS Buttons. · 5fe287cb

Alexander Diewald authored Sep 10, 2020

Issue-Ref: 3541
Issue-Url: https://af3-developer.fortiss.org/issues/3541

Signed-off-by: Alexander Diewald <diewald@fortiss.org>

5fe287cb

GREEN · a183241e

Simon Barner authored Sep 10, 2020

Issue-Ref: 4057
Issue-Url: https://af3-developer.fortiss.org/issues/4057

Signed-off-by: Simon Barner <barner@fortiss.org>

a183241e