Commits · e9cbd0a427a0a42a257c476691224455ad1cc201 · 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 28, 2020

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

Saad bin Abid authored 5 years ago

done

*

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



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

5a9167c2

Mar 30, 2020

Fix link to the refactoring page in the table of contents · 6ee9866e

Tiziano Munaro authored 5 years ago

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



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

6ee9866e

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
Mar 23, 2020

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

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

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

Oct 10, 2019
- deleting irrelevant information, a small correction of the text · f521477f
  Tatiana Chuprina authored 5 years ago
  
  Signed-off-by: Tatiana Chuprina <chuprina@fortiss.org>
  f521477f
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

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