Commits · 68d6b0f126b6671c5a773566b10e6b3d1b76b468 · Alexander Diewald / AF3-new

21 Oct, 2020 1 commit

Requirements: Added ID column to overview editor · 68d6b0f1

Andreas Bayha authored Oct 21, 2020

The old and new Requirements overview editor did not have a column for
the requirement id. Now added to the fx column provider.

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

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

68d6b0f1

20 Oct, 2020 11 commits

Merge branch '4014' into 'master' · 3464a774
Johannes Eder authored Oct 20, 2020
```
4014

See merge request af3/af3!377
```
3464a774

GREEN · 1bd7ab4c

Johannes Eder authored Oct 20, 2020

* req table filter fix

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

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

1bd7ab4c

GREEN · ea02538e

Johannes Eder authored Oct 20, 2020

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

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

ea02538e

Merge remote-tracking branch 'origin/master' into 4014 · e80f3793
Johannes Eder authored Oct 20, 2020

e80f3793
Merge branch '4073' into 'master' · 64bd0ba3
Simon Barner authored Oct 20, 2020
```
4073: Update test case models

See merge request af3/af3!379
```
64bd0ba3

Remove deleted source file from .rating · e4d8ef50

Simon Barner authored Oct 20, 2020

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

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

e4d8ef50

Apply migrators to example projects · 84050dc9

Simon Barner authored Oct 20, 2020

* All 154 tests pass (153 successful, 1 skipped)

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

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

84050dc9

Merge branch '4072' into 'master' · 8637c6c1
Simon Barner authored Oct 20, 2020
```
DSE: Add Synthesis Categories to Objectives

See merge request af3/af3!378
```
8637c6c1

GREEN · becc1a14

Simon Barner authored Oct 20, 2020

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

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

becc1a14

GREEN · be235476

Simon Barner authored Oct 20, 2020

* Factorize commonalities between createExplorationObjective()
  and createExplorationConstraint()

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

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

be235476

Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4072 · 50cb0b10
Simon Barner authored Oct 20, 2020

50cb0b10

19 Oct, 2020 3 commits

DSE: Add Synthesis Categories to Objectives · d45f32b8

Alexander Diewald authored Oct 19, 2020

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

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

d45f32b8

Merge branch '4051' into 'master' · d3f79bff
Johannes Eder authored Oct 19, 2020
```
4051

See merge request af3/af3!361
```
d3f79bff

GREEN · 0609e3be

Johannes Eder authored Oct 19, 2020

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

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

0609e3be

18 Oct, 2020 1 commit
- Merge remote-tracking branch 'origin/master' into 4051 · b45c2e30
  Martin Eisenmann authored Oct 18, 2020
  
  b45c2e30
16 Oct, 2020 5 commits

Merge remote-tracking branch 'remotes/origin/master' into 4014 · 26c53f4c
Andreas Bayha authored Oct 16, 2020

26c53f4c

YELLOW · 6b54dc48

Andreas Bayha authored Oct 16, 2020

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

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

6b54dc48

Merge branch '4071' into 'master' · 5f678e7a

Simon Barner authored Oct 16, 2020

Model Library Elements are not Filtered by the Selection any more

See merge request af3/af3!376

5f678e7a

GREEN · bb446935

Andreas Bayha authored Oct 16, 2020

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

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

bb446935

Adapt to API change of DynamicStreamContentProvider · 06df5739

Simon Barner authored Oct 16, 2020

* Override filter() instead of the now private getFilterPredicate()

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

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

06df5739

15 Oct, 2020 2 commits

Merge branch '4068' into 'master' · 8d13008a
Simon Barner authored Oct 15, 2020
```
4068

See merge request af3/af3!375
```
8d13008a

GREEN · 94e03aa1

Simon Barner authored Oct 15, 2020

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

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

94e03aa1

14 Oct, 2020 3 commits

YELLOW · 04492a7f

Alexander Diewald authored Oct 14, 2020

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

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

04492a7f

RED · e3d5e1e5

Simon Barner authored Oct 14, 2020

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

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

e3d5e1e5

GREEN · 735a0862

Simon Barner authored Oct 14, 2020

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

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

735a0862

13 Oct, 2020 6 commits

DSE-CLI: Update Parameters to Produce SAT/UNSAT Test Cases · f34a939d

Alexander Diewald authored Oct 13, 2020

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

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

f34a939d

Merge remote-tracking branch 'origin/master' into 4068 · 2d9067a7
Alexander Diewald authored Oct 13, 2020

2d9067a7
Merge branch 'QuickFix-DSE-CLI-Use-AllTargets' into 'master' · 7388e80a
Alexander Diewald authored Oct 13, 2020
```
DSE-CLI: QuickFix: Consider all ExpTargets

See merge request af3/af3!374
```
7388e80a
DSE-CLI: QuickFix: Consider all ExpTargets · 58db94c7
Alexander Diewald authored Oct 13, 2020
```
Issue-Ref: 0000
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
58db94c7

Allocation: AllocationTable adapted to FX Annotations · 535a617c

Andreas Bayha authored Oct 13, 2020

Minor changes to retrieve background colors for the allocation table
from the new fx implementation of the annotation view.

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

Signed-off-by: Andreas Bayha <bayha@fortiss.org>

535a617c

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

12 Oct, 2020 4 commits
- fixed compile error in filter in dynamic tree content provider · 2eff656f
  Johannes Eder authored Oct 12, 2020
```
Issue-Ref: 4015
Issue-Url: https://af3-developer.fortiss.org/issues/4015

Signed-off-by: Johannes Eder <eder@fortiss.org>
```
  2eff656f
- Merge branch '4067' into 'master' · da09af53
  Simon Barner authored Oct 12, 2020
```
DSE-CLI: Skip Validation if no Solution is Present

See merge request af3/af3!373
```
  da09af53
- Merge branch '4015' into 'master' · 0f5f58bb
  Johannes Eder authored Oct 12, 2020
```
4015

See merge request af3/af3!353
```
  0f5f58bb
- Merge remote-tracking branch 'origin/master' into 4015 · 2daff1b5
  Johannes Eder authored Oct 12, 2020
```
Conflicts:
	org.fortiss.af3.component/src/org/fortiss/af3/component/utils/.ratings
Signed-off-by: Johannes Eder <eder@fortiss.org>
```
  2daff1b5
09 Oct, 2020 4 commits
- GREEN · 1f76bb1c
  Simon Barner authored Oct 09, 2020
```
Issue-Ref: 4067
Issue-Url: https://af3-developer.fortiss.org/issues/4067

Signed-off-by: Simon Barner <barner@fortiss.org>
```
  1f76bb1c
- Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4067 · ee46a17d
  Simon Barner authored Oct 09, 2020
  
  ee46a17d
- Merge branch '4064' into 'master' · 50f6f564
  Simon Barner authored Oct 09, 2020
```
4064

See merge request af3/af3!372
```
  50f6f564
- GREEN · d8598fb5
  Simon Barner authored Oct 09, 2020
```
Issue-Ref: 4064
Issue-Url: https://af3-developer.fortiss.org/issues/4064

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