Commits · master · af3 / AF3

05 Oct, 2021 11 commits

Merge branch '4159' into 'master' · 997169a4

Simon Barner authored Oct 05, 2021

4159: Add volatile IntegerAttribute and ModelElementReference specifications

Closes #4159

See merge request !68

997169a4

GREEN · a5192888

Tiziano Munaro authored Oct 05, 2021

Issue-Ref: 4159
Issue-Url: #4159

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

a5192888

Add volatile IntegerAttribute and ModelElementReference specifications · 963e32e4

Simon Barner authored Apr 27, 2021

* Used to information from solver to solution exports that cannot be
  encoded directly in SuperSets

Issue-Ref: 4159
Issue-Url: #4159

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

963e32e4

Merge branch '4158' into 'master' · 1e86e32a

Simon Barner authored Oct 05, 2021

[Allocation] Exclude parameter tables when traversing allocation tables

Closes #4158

See merge request !67

1e86e32a

GREEN · 214cd9c2

Simon Barner authored Oct 05, 2021

Issue-Ref: 4158
Issue-Url: #4158

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

214cd9c2

YELLOW · 94689995

Tiziano Munaro authored Oct 05, 2021

Issue-Ref: 4158
Issue-Url: #4158

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

94689995

RED · 5ec10030

Simon Barner authored Oct 05, 2021

Issue-Ref: 4158
Issue-Url: #4158

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

5ec10030

Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4158 · ace8fc6d
Simon Barner authored Oct 05, 2021

ace8fc6d
Exclude parameter tables from being returned as ATs with source element · 2ad223d0
Tiziano Munaro authored Oct 05, 2021
```
Issue-Ref: 4158
Issue-Url: #4158

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
2ad223d0

Merge branch '4130-ports' into 'master' · e68fece6

Simon Barner authored Oct 05, 2021

4130: Export logical (input/output) port->task (input/output) port allocation

Closes #4130

See merge request !64

e68fece6

GREEN · 0b20e727

Simon Barner authored Oct 05, 2021

* Two-line change overlooked in review

Issue-Ref: 4130
Issue-Url: #4130

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

0b20e727

03 Oct, 2021 1 commit
- Changed exploration and task plugin from YELLOW to GREEN · 0a83d83b
  Yuri Gil Dantas authored Oct 03, 2021
```
Issue-Ref: 4130-ports
Issue-Url: #4130

-ports
Signed-off-by: dantas <dantas@fortiss.org>
```
  0a83d83b
01 Oct, 2021 5 commits

Set references for task parameter tables owned by ATC · 574a054a
Simon Barner authored Oct 01, 2021
```
Issue-Ref: 4130
Issue-Url: #4130

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

Merge branch '4155' into 'master' · 80856f79

Simon Barner authored Oct 01, 2021

[FMI] Do not assume task ports are named like the allocated component ports

Closes #4155

See merge request !65

80856f79

GREEN · c51e66d8

Simon Barner authored Oct 01, 2021

Issue-Ref: 4155
Issue-Url: #4155

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

c51e66d8

YELLOW · a0b2ad4c

Tiziano Munaro authored Oct 01, 2021

Issue-Ref: 4155
Issue-Url: #4155

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

a0b2ad4c

RED · 8fae038d

Simon Barner authored Oct 01, 2021

Issue-Ref: 4155
Issue-Url: #4155

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

8fae038d

30 Sep, 2021 3 commits

GREEN · f53191f3

Tiziano Munaro authored Sep 30, 2021

Issue-Ref: 4155
Issue-Url: #4155

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

f53191f3

Changed from YELLOW to GREEN · c3708344

Yuri Gil Dantas authored Sep 30, 2021

Issue-Ref: 4130-ports
Issue-Url: #4130

-ports
Signed-off-by: dantas <dantas@fortiss.org>

c3708344

Export logical (input/output) port->task (input/output) port allocation · dc2e5e36
Simon Barner authored Sep 30, 2021
```
Issue-Ref: 4130
Issue-Url: #4130

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

29 Sep, 2021 3 commits

Merge branch '4154' into 'master' · ae93f6c5

Simon Barner authored Sep 29, 2021

4154: Resolve "DSE Synthesis View: Remember currently selected synthesis type"

Closes #4154

See merge request !63

ae93f6c5

GREEN · 2e194220

Tiziano Munaro authored Sep 29, 2021

Issue-Ref: 4154
Issue-Url: #4154

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

2e194220

DSE Converter: Export TaskArchitecture before Ca2Ta allocation · 5381b09a

Simon Barner authored Sep 29, 2021

* Order of converters must respect dependencies of artifacts
* Fixes export of Ca2Ta allocation

Issue-Ref: 4134
Issue-Url: #4134

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

5381b09a

28 Sep, 2021 12 commits

Use Set instead of List to avoid caching synthesis type multiple times · ac308005

Simon Barner authored Sep 28, 2021

* Avoids bug that exploration targets that do not match the current
  synthesis type are erroneously displayed (until the view is closed)

Issue-Ref: 4154
Issue-Url: #4154

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

ac308005

Remember previously selected synthesis type(s) · 129cc9dd
Simon Barner authored Sep 28, 2021
```
Issue-Ref: 4154
Issue-Url: #4154

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

Do not register Z3Backend for platform synthesis · fd085bf4

Simon Barner authored Sep 28, 2021

* The Z3 backend in its current form actually does not support it,
  see createSolverRun()

Issue-Ref: 4154
Issue-Url: #4154

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

fd085bf4

Merge branch '4148' into 'master' · 13cd51c4

Simon Barner authored Sep 28, 2021

Enable to allocate logical ports to more than one task port

Closes #4148

See merge request !61

13cd51c4

GREEN · 862934f4

Simon Barner authored Sep 28, 2021

Issue-Ref: 4148
Issue-Url: #4148

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

862934f4

GREEN · 686dd295

Tiziano Munaro authored Sep 28, 2021

Issue-Ref: 4148
Issue-Url: #4148

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

686dd295

YELLOW · a5936498

Tiziano Munaro authored Sep 28, 2021

Issue-Ref: 4148
Issue-Url: #4148

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

a5936498

YELLOW · af50abe2

Simon Barner authored Sep 28, 2021

* Remove erroneous and superfluous assertion

Issue-Ref: 4148
Issue-Url: #4148

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

af50abe2

GREEN & RED · ff706bff

Simon Barner authored Sep 28, 2021

Issue-Ref: 4148
Issue-Url: #4148

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

ff706bff

Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4148 · 5d772d01
Simon Barner authored Sep 28, 2021

5d772d01
Merge branch '4128' into 'master' · ff2b430f
Simon Barner authored Sep 28, 2021
```
MIRA: Fixed refresh behavior on model changes

See merge request !49
```
ff2b430f

Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4128 · c6edcfe3

Simon Barner authored Sep 28, 2021



Conflicts:
	org.fortiss.af3.mira.ui/src/org/fortiss/af3/mira/ui/editor/overview/fx/.ratings
Signed-off-by: Simon Barner <barner@fortiss.org>

c6edcfe3

27 Sep, 2021 4 commits
- GREEN & RED · fffbc883
  Tiziano Munaro authored Sep 27, 2021
```
Issue-Ref: 4148
Issue-Url: #4148

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  fffbc883
- Merge remote-tracking branch 'origin/master' into 4148 · 701f4a2a
  Tiziano Munaro authored Sep 27, 2021
  
  701f4a2a
- Refactor task-based FMU export · 970c0123
  Tiziano Munaro authored Sep 27, 2021
```
Issue-Ref: 4148
Issue-Url: #4148

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  970c0123
- Adapt the FMU export to for the one-to-many allocation of logical ports · d8f55957
  Tiziano Munaro authored Sep 27, 2021
```
Issue-Ref: 4148
Issue-Url: #4148

Signed-off-by: Tiziano Munaro <munaro@fortiss.org>
```
  d8f55957
24 Sep, 2021 1 commit

Merge branch '4134' into 'master' · a6307457

Simon Barner authored Sep 24, 2021

4134: Architecture synthesis related adaptation DSE implementation

See merge request !54

a6307457