Commits · 599dc963b65530d46b07a2596f98ee9424b26865 · af3 / af3-rcp

Apr 01, 2020

Johannes Eder authored 5 years ago

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



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

599dc963

GREEN · c5fac8d3

Johannes Eder authored 5 years ago

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



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

c5fac8d3

Updated images and minor changes to help pages · 0b422d28
Martin Eisenmann authored 5 years ago
```
Signed-off-by: Eisenmann <eisenmann@fortiss.org>
```
0b422d28

Mar 30, 2020

GREEN · e3b4d70f

Johannes Eder authored 5 years ago

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



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

e3b4d70f

Fixed html errors. · 6b5ce800
Martin Eisenmann authored 5 years ago
```
Signed-off-by: Eisenmann <eisenmann@fortiss.org>
```
6b5ce800

removed unused tag · 0cf9b1d1

Johannes Eder authored 5 years ago

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



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

0cf9b1d1

removed warnings in allocation description · ee7f4248

Johannes Eder authored 5 years ago

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



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

ee7f4248

Mar 28, 2020
- New maintenance figures · d14b611b
  Carmen Carlan authored 5 years ago
  
  Issue-ref: 3950 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  d14b611b
- Changed figures for maintenance · 8dca3ad9
  Carmen Carlan authored 5 years ago
  
  Issue-ref: 3950 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  8dca3ad9
Mar 26, 2020
- Updated Code Generation pictures · e8c0c1df
  Martin Eisenmann authored 5 years ago
  
  Signed-off-by: Eisenmann <eisenmann@fortiss.org>
  e8c0c1df
Mar 24, 2020

Added raspberrypi architecture to toc, minor changes · 14d744e5
Martin Eisenmann authored 5 years ago
```
Signed-off-by: Eisenmann <eisenmann@fortiss.org>
```
14d744e5

MIRA: Updated screenshot · 0ecd8ff8

Andreas Bayha authored 5 years ago

Updated the "New Requirement" screenshot.

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



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

0ecd8ff8

GREEN · 6c15c43e

Johannes Eder authored 5 years ago

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



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

6c15c43e

added new figures · cbd30058

Carmen Carlan authored 5 years ago


Issue-ref: 3950

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

cbd30058

updated almost all figures. maintenance missing · 2ee97dd7
Carmen Carlan authored 5 years ago
```
Issue-ref: 3950

Signed-off-by: Carmen Carlan <carlan@fortiss.org>
```
2ee97dd7

Mar 23, 2020

Added RaspberryPi code generation · c8e532ce
Martin Eisenmann authored 5 years ago
```
Signed-off-by: Eisenmann <eisenmann@fortiss.org>
```
c8e532ce

First iteration · f8f4a0b1

Carmen Carlan authored 5 years ago


Issue-ref: 3950

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

f8f4a0b1

First iteration · dae788d4

Carmen Carlan authored 5 years ago


Issue-ref: 3950

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

dae788d4

MIRA: Removed unused Pictures · f444fbe5

Andreas Bayha authored 5 years ago

Removed pictures, that were unused (already before)

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



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

f444fbe5

MIRA: Updated help · 461b307b

Andreas Bayha authored 5 years ago

Replaced more outdated pictures.

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



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

461b307b

MIRA: Updated help · 11f9151f

Andreas Bayha authored 5 years ago

Updated screenshots and removed outdated (removed) parts.

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



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

11f9151f

Updated some of the architecture/code generation help pages · 465ae3c0
Martin Eisenmann authored 5 years ago
```
Signed-off-by: Eisenmann <eisenmann@fortiss.org>
```
465ae3c0

Mar 18, 2020

Removed unused files · f9bc926c

Johannes Eder authored 5 years ago

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



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

f9bc926c

removed mira pages · 82c9dc91

Johannes Eder authored 5 years ago

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



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

82c9dc91

Mar 17, 2020

Refactored requirements · 5280f629

Johannes Eder authored 5 years ago

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



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

5280f629

Removed component library · d61db18b

Johannes Eder authored 5 years ago

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



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

d61db18b

removed outdated aspects pictures · 4c105239

Johannes Eder authored 5 years ago

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



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

4c105239

removed outdated table pictures · a0e58c10

Johannes Eder authored 5 years ago

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



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

a0e58c10

removed testing · 579836ce

Johannes Eder authored 5 years ago

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



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

579836ce

Removed FOCUSer pictures · 0bbc9c33

Johannes Eder authored 5 years ago

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



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

0bbc9c33

Removed FOCUSer help · 7f136e0a

Johannes Eder authored 5 years ago

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



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

7f136e0a

Nov 25, 2019

GREEN · 7fc65db5

Simon Barner authored 5 years ago

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



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

7fc65db5

YELLOW · 324e0386

Johannes Eder authored 5 years ago

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



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

324e0386

merged website FAQs · 35ceb298

Johannes Eder authored 5 years ago

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



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

35ceb298

Nov 07, 2019

Remove dependency to beaglebone platform · f675e290

Simon Barner authored 5 years ago

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



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

f675e290

Nov 06, 2019

Remove dependency to Message Sequence Charts (af3.msc) · 15cf6c98

Simon Barner authored 5 years ago

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



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

15cf6c98

Remove online help for refinement, testing, and formal verification · 2df1cb40

Simon Barner authored 5 years ago

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



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

2df1cb40

Remove af3.refinement documentation · 77b5d50d

Simon Barner authored 5 years ago

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



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

77b5d50d

Oct 18, 2019

Fix broken links · 141068c1

Simon Barner authored 5 years ago

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



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

141068c1

Fix HTML image links (case sensitive on Linux/MacOS) · b7d74d03

Simon Barner authored 5 years ago

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



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

b7d74d03