Commits · master · af3 / af3-backup

23 Nov, 2020 1 commit
- QuickFix: DSE: Correct Namespace for Volatile Specifications · ba8d5391
  Alexander Diewald authored Nov 23, 2020
```
Issue-Ref: 0000
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
  ba8d5391
10 Nov, 2020 3 commits

Merge branch '4077' into 'master' · 44eefb42
Johannes Eder authored Nov 10, 2020
```
DSE-CLI: Place the (check-sat) Statement Correctly

See merge request af3/af3!386
```
44eefb42

GREEN · e887769e

Johannes Eder authored Nov 10, 2020

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

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

e887769e

DSE-CLI: Place the (check-sat) Statement Correctly · 87bb9872

Alexander Diewald authored Nov 10, 2020

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

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

87bb9872

28 Oct, 2020 6 commits

Merge branch '4080' into 'master' · aa191a5a
Johannes Eder authored Oct 28, 2020
```
DSE: Fix absence of help page

See merge request af3/af3!385
```
aa191a5a

GREEN · 538b7f2d

Johannes Eder authored Oct 28, 2020

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

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

538b7f2d

Merge branch '4081' into 'master' · f77199c8

Johannes Eder authored Oct 28, 2020

Requirements: Drag 'n Drop support for overview editor

See merge request af3/af3!384

f77199c8

GREEN · 21253760

Johannes Eder authored Oct 28, 2020

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

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

21253760

DSE: Fix Help Button of the Visualization View · 927ed0f6

Alexander Diewald authored Oct 28, 2020

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

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

927ed0f6

DSE: Fixup · c33ddfe4

Alexander Diewald authored Oct 28, 2020

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

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

c33ddfe4

27 Oct, 2020 2 commits

DSE: Fix absence of help page · 64e4d04d

Alexander Diewald authored Oct 27, 2020

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

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

64e4d04d

Requirements: Drag 'n Drop support for overview editor · 6fc41305

Andreas Bayha authored Oct 27, 2020

In the requirements/glossary overview editor, it is now possible to add
Requirements/Glossary entries via drag and drop.

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

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

6fc41305

26 Oct, 2020 5 commits

2.17 -> 2.18 · 09dc14ad

Johannes Eder authored Oct 26, 2020

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

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

09dc14ad

Merge branch '4079' into 'master' · dac2570c
Johannes Eder authored Oct 26, 2020
```
fixed build properties: added res folder

See merge request af3/af3!383
```
dac2570c

fixed build properties: added res folder · 19b02816

Johannes Eder authored Oct 26, 2020


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

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

19b02816

Merge branch '4016' into 'master' · e6364dd0
Johannes Eder authored Oct 26, 2020
```
4016

See merge request af3/af3!381
```
e6364dd0

GREEN · e8b0ef7e

Johannes Eder authored Oct 26, 2020

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

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

e8b0ef7e

23 Oct, 2020 6 commits

Merge branch '4078' into 'master' · ede784ad

Simon Barner authored Oct 23, 2020

DSE Sol-Transformation/Validation : Fixup Object References

See merge request af3/af3!382

ede784ad

GREEN · a87897c5

Simon Barner authored Oct 23, 2020

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

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

a87897c5

YELLOW · 274a72ea

Alexander Diewald authored Oct 23, 2020

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

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

274a72ea

RED · 0b124c1c

Simon Barner authored Oct 23, 2020

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

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

0b124c1c

GREEN · 4c44d0c3

Simon Barner authored Oct 23, 2020

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

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

4c44d0c3

DSE Sol-Transformation/Validation : Fixup Object References · c1e4cc9d

Alexander Diewald authored Oct 23, 2020

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

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

c1e4cc9d

21 Oct, 2020 8 commits

Merge branch '4016' of https://git.fortiss.org/af3/af3.git into 4016 · eba39e86
Martin Eisenmann authored Oct 21, 2020

eba39e86

YELLOW · 6b67c74f

Martin Eisenmann authored Oct 21, 2020

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

Signed-off-by: Martin Eisenmann <eisenmann@fortiss.org>

6b67c74f

Merge remote-tracking branch 'origin/master' into 4016 · 159c5294
Johannes Eder authored Oct 21, 2020

159c5294
Merge branch '4074' into 'master' · c134d828
Johannes Eder authored Oct 21, 2020
```
Requirements: Added ID column to overview editor

See merge request af3/af3!380
```
c134d828

GREEN · 5c25ffb6

Johannes Eder authored Oct 21, 2020

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

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

5c25ffb6

YELLOW · 8a54603e

Martin Eisenmann authored Oct 21, 2020

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

Signed-off-by: Martin Eisenmann <eisenmann@fortiss.org>

8a54603e

Requirements: Fixed requirements overview title bar · d0f2d786

Andreas Bayha authored Oct 21, 2020

The column for the requirement title had "name" as a heading instead of
"title".

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

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

d0f2d786

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 9 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

YELLOW · 092a2e24

Martin Eisenmann authored Oct 20, 2020

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

Signed-off-by: Martin Eisenmann <eisenmann@fortiss.org>

092a2e24

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