Commits · 20d1b0c2294dee927ee2d51d28557d6c56c1a947 · af3 / af3-rcp

May 02, 2020

committed yellow ratings, fixed DSE and completed/toc.xml. However, · e9cbd0a4

Saad bin Abid authored 4 years ago

Assurance cases still not done

*

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



Signed-off-by: saadbinabid1 <abid@fortiss.org>

e9cbd0a4

Apr 29, 2020

<Sub-system>: <Summary> · 5bd752ae

Saad bin Abid authored 4 years ago

*

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



Signed-off-by: saadbinabid1 <abid@fortiss.org>

5bd752ae

Apr 28, 2020

Initial Commit with Requirements done and Model and Simulation partially · 5a9167c2

Saad bin Abid authored 4 years ago

done

*

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



Signed-off-by: saadbinabid1 <abid@fortiss.org>

5a9167c2

Apr 01, 2020

GREEN · d70c3c7c

Johannes Eder authored 5 years ago

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



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

d70c3c7c

Mar 23, 2020

First iteration · f8f4a0b1

Carmen Carlan authored 5 years ago


Issue-ref: 3950

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

f8f4a0b1

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

fixed wrong <p> tag · 906b9a89

Johannes Eder authored 5 years ago

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



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

906b9a89

Mar 18, 2020

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

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

Oct 16, 2019

Online help: Synchronize TOC and overview page · aaddd2d7

Simon Barner authored 5 years ago

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



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

aaddd2d7

Update documentation for hardware platforms · 67acc479

Simon Barner authored 5 years ago

* Move to "ta" folder

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



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

67acc479

CR: GREEN · efe18222

Alexander Diewald authored 5 years ago

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


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

efe18222

Oct 15, 2019
- Added docu for quantitative assessment · b79aa8a1
  Carmen Carlan authored 5 years ago
  
  Issue-Ref: 3854 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  b79aa8a1
- Split the assurance case documentation into different pages · 89763097
  Carmen Carlan authored 5 years ago
  
  Issue-Ref: 3854 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  89763097
Oct 11, 2019

Polish introduction and online help · 1645a9b3

Simon Barner authored 5 years ago

* Synchronize Eclipse help TOC
* Update help getting started page
* Move FAQ from introduction to online help (and update it)
* Ensure that all links open from Eclipse


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



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

1645a9b3

Partial cleanup of welcome content · db2a1c4f

Simon Barner authored 5 years ago

* TODO: Move FAQ to homepage

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



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

db2a1c4f

Oct 08, 2019

Add further resources section / Improve image quality · 64aa72ab

Simon Barner authored 5 years ago

* List some resources for users and developers
* Better version of AF3 logo and FOCUSer teaser image

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



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

64aa72ab

Add dedicated box for DSE · a5ffa9a6

Simon Barner authored 5 years ago

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



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

a5ffa9a6

Move DSE online documentation to org.fortiss.af3.rcp.help · 9ac7ebf8

Simon Barner authored 5 years ago

* Move DSE documentation to "dse" sub-folder
* Remove outdated images

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



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

9ac7ebf8

Oct 07, 2019

Move user documentation to org.fortiss.af3.rcp.help · 6b9b0de5

Simon Barner authored 5 years ago

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



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

6b9b0de5

Polish start page · c26a9148

Simon Barner authored 5 years ago

* Canonical capitalization of headings
* Update copyright
* Base background on CSS: avoid scroll issues

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



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

c26a9148

Oct 04, 2019
- Added MCDC documentation · b5c2dccf
  Hernan Ponce de Leon authored 5 years ago
  
  Issue-Ref: 3833 Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>
  b5c2dccf
Sep 12, 2019
- Edited the assurance case exporter feature · cf3975b9
  Carmen Carlan authored 5 years ago
  
  Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  cf3975b9
Feb 28, 2019
- Extract the RCP plugin to a separate repository · 0e3fd620
  Alexander Diewald authored 6 years ago
  
  Issue-Ref: 3620 Signed-off-by: Alexander Diewald <diewald@fortiss.org>
  0e3fd620