- 19 Nov, 2019 4 commits
-
-
Alexander Diewald authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
- 18 Nov, 2019 1 commit
-
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
- 14 Nov, 2019 3 commits
-
-
Alexander Diewald authored
Issue-Ref: 3815 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3815 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3815 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
- 11 Nov, 2019 3 commits
-
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
- 08 Nov, 2019 11 commits
-
-
Alexander Diewald authored
3861: Remove deprecated plugins See merge request af3/af3!259
-
Alexander Diewald authored
Conflicts: org.fortiss.af3.component/META-INF/MANIFEST.MF org.fortiss.af3.expression/META-INF/MANIFEST.MF Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3859 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Simon Barner authored
3791 See merge request af3/af3!258
-
Simon Barner authored
Issue-Ref: 3791 Issue-Url: https://af3-developer.fortiss.org/issues/3791 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3791 Issue-Url: https://af3-developer.fortiss.org/issues/3791 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3791 Issue-Url: https://af3-developer.fortiss.org/issues/3791 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Alexander Diewald authored
Conflicts: org.fortiss.af3.safety/META-INF/MANIFEST.MF Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
- 07 Nov, 2019 8 commits
-
-
Simon Barner authored
Issue-Ref: 3791 Issue-Url: https://af3-developer.fortiss.org/issues/3791 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Alexander Diewald authored
3859 See merge request af3/af3!257
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Marco Volpe authored
Issue-Ref: 3859 Issue-Url: https://af3-developer.fortiss.org/issues/3859 Signed-off-by:
Marco Volpe <volpe@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Alexander Diewald authored
* Introduce a new Enumerator for the SafetyIntegrityLevel annotation that allows to specify unset values by pointing to null. In case a value is set for an IModelElement, the attribute points to the standard specific enum. * Update the haveDirectChildsSpecifiedSIL(...) method to consider only directly set safety levels of IModelElements. Issue-Ref: 3859 Issue-Url: https://af3-developer.fortiss.org/issues/3859 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
Simon Barner authored
* Moved to https://git.fortiss.org/af3/verification org.fortiss.af3.msc org.fortiss.af3.msc.ui 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 * Moved to https://git.fortiss.org/af3/beaglebone org.fortiss.af3.beaglebone org.fortiss.af3.beaglebone.ui Issue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- 06 Nov, 2019 3 commits
-
-
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
* Affected plugins * 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 * In most of the cases, move integration of remaining plugins (e.g., commands, actions, ...) to one of the know optional plugins * A few code sections had to be commented. This is further tracked in #3863 and #3864 Issue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Alexander Diewald authored
Issue-Ref: 3791 Issue-Url: https://af3-developer.fortiss.org/issues/3791 Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
-
- 05 Nov, 2019 2 commits
-
-
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
* org.fortiss.af3.component.generator.nusmv * org.fortiss.af3.expression.generator.nusmv * org.fortiss.af3.state.generator.nusmv Issue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- 04 Nov, 2019 5 commits
-
-
Simon Barner authored
Issue-Ref: 3791 Issue-Url: https://af3-developer.fortiss.org/issues/3791 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
Simon Barner authored
exploration.ecore - Add comment to InstanceOfElement and ContainedByElement that they are temporary specifications to control the export of the synthesized solution that is not to be saved to the model. - Potentially, introduce an intermediate type, e.g. ITransformationControlSpecification, that contains the above documentation. Issue-Ref: 3791 Issue-Url: https://af3-developer.fortiss.org/issues/3791 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Florian Hölzl authored
Issue-Ref: 3815 Issue-Url: https://af3-developer.fortiss.org/issues/3815 Signed-off-by:
Florian Hoelzl <hoelzl@fortiss.org>
-
https://git.fortiss.org/af3/af3.gitSimon Barner authored
Conflicts: org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/util/.ratings org.fortiss.af3.task/src/org/fortiss/af3/task/util/.ratings Signed-off-by:
Simon Barner <barner@fortiss.org>
-