Commits · 25ff6657b3e5ba083da40265ba13a46d3114e94e · Alexander Diewald / AF3-new

13 Oct, 2020 1 commit

DSE-TCgen: Cleanup & Include Failing TCs · 25ff6657

Alexander Diewald authored Oct 13, 2020

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

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

25ff6657

08 Oct, 2020 1 commit

DSE-CLI: Skip Validation if no Solution is Present · 0df6f54b

Alexander Diewald authored Oct 08, 2020

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

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

0df6f54b

05 Oct, 2020 1 commit
- Merge branch '4054' into 'master' · 8241650a
  Johannes Eder authored Oct 05, 2020
```
4054

See merge request af3/af3!368
```
  8241650a
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

12 Sep, 2020 1 commit

Code review: green · 167db2d7

Carmen Carlan authored Sep 12, 2020



Issue-ref: 4054
Signed-off-by: Carmen Carlan <carlan@fortiss.org>

167db2d7

11 Sep, 2020 8 commits

Safety Patterns delete · c0e6d03d
Liana Soima authored Sep 11, 2020
```
Signed-off-by: Liana Soima <soima@fortiss.org>
Issue-Ref: 4054
```
c0e6d03d

YELLOW · 682877db

Liana Soima authored Sep 11, 2020



Code review.
Signed-off-by: Liana Soima <soima@fortiss.org>
Issue-Ref: 4054

682877db

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

Relationship between ArgumentElements · 09005ac1
Liana Soima authored Sep 11, 2020
```
Signed-off-by: Liana Soima <soima@fortiss.org>
Issue-Ref: 4054
```
09005ac1
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