- Nov 06, 2019
-
-
Simon Barner authored
Issue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3746 Issue-Url: https://af3-developer.fortiss.org/issues/3746 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
* Affected plugins (non-UI plugins are referenced indirectly) * org.fortiss.af3.ocra * org.fortiss.af3.refinement * org.fortiss.af3.refinement.ui * org.fortiss.af3.specification * org.fortiss.af3.specification.ui * org.fortiss.af3.testing * org.fortiss.af3.testing.ui * org.fortiss.af3.tools * org.fortiss.pragmatictransformation * Move semantic alignment test to org.fortiss.af3.testing Issue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Oct 18, 2019
-
-
Simon Barner authored
Issue-Ref: 3852 Issue-Url: https://af3-developer.fortiss.org/issues/3852 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3852 Issue-Url: https://af3-developer.fortiss.org/issues/3852 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Oct 17, 2019
-
-
Simon Barner authored
* Fixes images and links in binary product Issue-Ref: 3852 Issue-Url: https://af3-developer.fortiss.org/issues/3852 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
* For some reason, it already worked on Linux, but the dependency to org.eclipse.ui.ide.application restores this feature on Windows Issue-Ref: 3852 Issue-Url: https://af3-developer.fortiss.org/issues/3852 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Oct 16, 2019
-
-
Simon Barner authored
Issue-Ref: 3852 Issue-Url: https://af3-developer.fortiss.org/issues/3852 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3834 Issue-Url: https://af3-developer.fortiss.org/issues/3834 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3834 Issue-Url: https://af3-developer.fortiss.org/issues/3834 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3834 Issue-Url: https://af3-developer.fortiss.org/issues/3834 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3834 Issue-Url: https://af3-developer.fortiss.org/issues/3834 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3834 Issue-Url: https://af3-developer.fortiss.org/issues/3834 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
* Move to "ta" folder Issue-Ref: 3834 Issue-Url: https://af3-developer.fortiss.org/issues/3834 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Alexander Diewald authored
Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Alexander Diewald authored
Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Alexander Diewald authored
Split the assurance case documentation into different pages See merge request !16
-
Alexander Diewald authored
Issue-Ref: 3854 Issue-Url: https://af3-developer.fortiss.org/issues/3854 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Carmen Carlan authored
Issue-ref: 3854 Signed-off-by:
Carmen Carlan <carlan@fortiss.org>
-
Carmen Carlan authored
Issue-ref: 3854 Signed-off-by: carlan
-
- Oct 15, 2019
-
-
Carmen Carlan authored
Issue-Ref: 3854 Signed-off-by:
Carmen Carlan <carlan@fortiss.org>
-
Carmen Carlan authored
Issue-Ref: 3854 Signed-off-by:
Carmen Carlan <carlan@fortiss.org>
-
Simon Barner authored
Issue-Ref: 3845 Issue-Url: https://af3-developer.fortiss.org/issues/3845 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3852 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3852 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
- Oct 14, 2019
-
-
Simon Barner authored
Issue-Ref: 3216 Issue-Url: https://af3-developer.fortiss.org/issues/3216 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
DSE: Document import wizard See merge request !15
-
Alexander Diewald authored
Issue-Ref: 3829 Issue-Url: https://af3-developer.fortiss.org/issues/3829 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
- Oct 11, 2019
-
-
Simon Barner authored
* 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>
-
Simon Barner authored
Issue-Ref: 3834 Issue-Url: https://af3-developer.fortiss.org/issues/3834 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
* 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>
-
Simon Barner authored
Issue-Ref: 3845 Issue-Url: https://af3-developer.fortiss.org/issues/3845 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Oct 10, 2019
-
-
Alexander Diewald authored
deleting irrelevant information, a small correction of the text See merge request !14
-
Alexander Diewald authored
Issue-Ref: 3839 Issue-Url: https://af3-developer.fortiss.org/issues/3839 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Tatiana Chuprina authored
Signed-off-by:
Tatiana Chuprina <chuprina@fortiss.org>
-
- Oct 09, 2019
-
-
Simon Barner authored
Dev Objectives: Fix layout in toolbar See merge request !7
-
Simon Barner authored
Issue-Ref: 3672 Issue-Url: https://af3-developer.fortiss.org/issues/3672 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Oct 08, 2019
-
-
Simon Barner authored
* 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>
-
Simon Barner authored
Issue-Ref: 3835 Issue-Url: https://af3-developer.fortiss.org/issues/3835 Signed-off-by:
Simon Barner <barner@fortiss.org>