Commits · master · af3 / af3

03 Jun, 2020 1 commit
- Merge branch '3979' into 'master' · 3e9251f4
  Johannes Eder authored Jun 03, 2020
```
3979

See merge request !333
```
  3e9251f4
02 Jun, 2020 3 commits

Fix merge error: Dropped CLI handler registrations · 2bf23edc
Alexander Diewald authored Jun 02, 2020
```
Issue-Ref: 4008
Issue-Ref: 3994
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
2bf23edc
Merge branch '4008' into 'master' · ab54690d
Alexander Diewald authored Jun 02, 2020
```
Test case generator for DSE problems

See merge request !337
```
ab54690d

Alexander Diewald authored Jun 02, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

892ceb04

01 Jun, 2020 1 commit

exploration.util: GREEN · 92865a38

Marco Volpe authored Jun 01, 2020

*

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Marco Volpe <volpe@fortiss.org>

92865a38

31 May, 2020 1 commit

exploration.testgenerator.*: GREEN · 50d3fdf8

Marco Volpe authored May 31, 2020

* Only fixed a few comments

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Marco Volpe <volpe@fortiss.org>

50d3fdf8

29 May, 2020 6 commits

GREEN · ffab4b20

Marco Volpe authored May 29, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Marco Volpe <volpe@fortiss.org>

ffab4b20

YELLOW · 1896ea09

Alexander Diewald authored May 29, 2020

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

1896ea09

Merge branch 'master' into 4008 · 338c02c3

Alexander Diewald authored May 29, 2020

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

338c02c3

Cleanup wrong import · 37ec5a85
Alexander Diewald authored May 29, 2020
```
Issue-Ref: 3365
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
```
37ec5a85

Code review · 512a5b5c

Carmen Carlan authored May 29, 2020

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

512a5b5c

Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 3979 · 9d63dd9a
Carmen Carlan authored May 29, 2020

9d63dd9a

26 May, 2020 1 commit

Merge remote-tracking branch 'origin/master' into 4008 · 6db0737b

Alexander Diewald authored May 26, 2020

Conflicts:
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/.ratings
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/ExplorationActivator.java
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/cli/.ratings
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/service/internal/.ratings
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

6db0737b

25 May, 2020 2 commits

Merge branch '3994' into 'master' · 771edfd8
Simon Barner authored May 25, 2020
```
CLI: Launch DSE + Validate results

See merge request !332
```
771edfd8

GREEN · 374dee05

Simon Barner authored May 25, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994Signed-off-by: Simon Barner <barner@fortiss.org>

374dee05

20 May, 2020 3 commits

CR: YELLOW · da567c36

Alexander Diewald authored May 20, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994Signed-off-by: Alexander Diewald <diewald@fortiss.org>

da567c36

Merge remote-tracking branch 'origin/master' into 3994 · 60b8a90a

Alexander Diewald authored May 20, 2020

Conflicts:
org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/menu/.ratings
org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/generic/.ratings
org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/perspective/navigator/.ratings
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/lang/.ratings
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/lang/ExplorationExpressionDeploymentValidator.java
org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/util/.ratings
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

60b8a90a

Merge remote-tracking branch 'origin/master' into 4008 · ecb34ab5

Alexander Diewald authored May 20, 2020

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

ecb34ab5

19 May, 2020 9 commits

DSE-TCgen: Add a timing definition · d22708d8

Alexander Diewald authored May 19, 2020

The values for the periodic constraints are added as part of the
annotation value definition as their calculation is based on
potentially present WCET values of tasks.

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

d22708d8

Merge branch '3365' into 'master' · 7f59418c
Alexander Diewald authored May 19, 2020
```
3365

See merge request !336
```
7f59418c

GREEN · a4c71a67

Johannes Eder authored May 19, 2020

Issue-Ref: 3365
Issue-Url: https://af3-developer.fortiss.org/issues/3365Signed-off-by: Johannes Eder <eder@fortiss.org>

a4c71a67

DSE-UI: Move fxml to correct package · 850e7601

Alexander Diewald authored May 19, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

850e7601

Merge remote-tracking branch 'origin/3365' into 4008 · 04c82761
Alexander Diewald authored May 19, 2020

04c82761

DSE-TCgen: Use FQN to avoid random code-gen bug · aca05e95

Alexander Diewald authored May 19, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

aca05e95

CR: Resolve missing issue refs · cefe2f60

Alexander Diewald authored May 19, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

cefe2f60

RED · 28aad705

Simon Barner authored May 19, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994Signed-off-by: Simon Barner <barner@fortiss.org>

28aad705

GREEN · 799a020b

Simon Barner authored May 19, 2020

Issue-Ref: 3994
Issue-Url: https://af3-developer.fortiss.org/issues/3994Signed-off-by: Simon Barner <barner@fortiss.org>

799a020b

18 May, 2020 6 commits

DSE-TCgen: Do not mark all components strongly causal · 80c8b94b

Alexander Diewald authored May 18, 2020

* Marking all Components as strongly causal would create non-realistic
  test cases for scheduling problems.
* Heuristically mark one component of each strongly connected cycle of
  each component architecture as strongly causal. This eliminates most
  cycles. To be safe, the weak cycle checker is executed afterwards and
  all violating components are marked as strongly causal, too, at the
  risk of marking few more components as strongly causal than needed.

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

80c8b94b

DSE-TCgen: Fix the CA graph gen in to avoid bad bound errors · 4a67aeff

Alexander Diewald authored May 18, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

4a67aeff

DSE-TCgen: Move the metrics calculation code · 7d21b778

Alexander Diewald authored May 18, 2020

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

7d21b778

Instantiate missing annotations · f8e44a4b

Alexander Diewald authored May 18, 2020

* Speedup when loading the generated TCs.
* Avoid warnings when loading the generated TCs. IDs are generated after
  instantiating the missing annotations.

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

f8e44a4b

Code review (to green) · 946eabd4
Carmen Carlan authored May 18, 2020
```
Issue-ref: 3979
Signed-off-by: Carmen Carlan <carlan@fortiss.org>
```
946eabd4
Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 3979 · 4d755cc7
Carmen Carlan authored May 18, 2020

4d755cc7

15 May, 2020 7 commits

DSE-TCgen: Add DSE project · 789d7a36

Alexander Diewald authored May 15, 2020

* A DSE project is added to the AF3 project.
* Flash Memory and Fix Allocation Constraints are added.
* Return Unmodifiable ELists from EOperation methods in the DSE
  process handling to avoid some stupid mistakes.

Issue-Ref: 4008
Issue-Url: https://af3-developer.fortiss.org/issues/4008Signed-off-by: Alexander Diewald <diewald@fortiss.org>

789d7a36

Merge branch '3365' into 4008 · 423e7166
Alexander Diewald authored May 15, 2020

423e7166

DSE EMM: Add missing containment for problem dimensions · 0f0485ea

Alexander Diewald authored May 15, 2020

Issue-Ref: 3365
Issue-Url: https://af3-developer.fortiss.org/issues/3365Signed-off-by: Alexander Diewald <diewald@fortiss.org>

0f0485ea

Merge remote-tracking branch 'origin/master' into 3994 · ee2335e0

Alexander Diewald authored May 15, 2020

Conflicts:
	org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/cli/.ratings
	org.fortiss.af3.exploration.ui/src/org/fortiss/af3/exploration/ui/menu/.ratings
Signed-off-by: Alexander Diewald <diewald@fortiss.org>

ee2335e0

Merge branch '3365' into 4008 · ef7a0869

Alexander Diewald authored May 15, 2020

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

ef7a0869

Merge branch '3900' into 'master' · 7d5b92e5
Alexander Diewald authored May 15, 2020
```
3900

See merge request !335
```
7d5b92e5

Remove outdated library documentation · 3b1262b2

Alexander Diewald authored May 15, 2020

Issue-Ref: 3900
Issue-Url: https://af3-developer.fortiss.org/issues/3900Signed-off-by: Alexander Diewald <diewald@fortiss.org>

3b1262b2