- Sep 10, 2020
-
-
Simon Barner authored* Unify links to deployment/schedule synthesis to the new unified synthesis.html page Issue-Ref: 4057 Issue-Url: https://af3-developer.fortiss.org/issues/4057 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Jun 24, 2020
-
-
Johannes Eder authoredIssue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Johannes Eder <eder@fortiss.org> -
Saad bin Abid authoredsub-page for behavior modeling as per Johannes's feedback. Review Ready now. Issue-Ref: 4018 Issue-Url: https://af3-developer.fortiss.org/issues/4018 Signed-off-by:
Saad bin Abid <abid@fortiss.org> -
Simon Barner authored
Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Jun 23, 2020
-
-
Simon Barner authored
Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Saad bin Abid authored
Issue-Ref: 4018 Issue-Url: https://af3-developer.fortiss.org/issues/4018 Signed-off-by:
Saad bin Abid <abid@fortiss.org>
-
- Jun 17, 2020
-
-
Simon Barner authored
Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org> -
Simon Barner authored
Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Jun 16, 2020
-
-
Simon Barner authored
Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Jun 15, 2020
-
-
Saad bin Abid authored
Implemented the Java Script for dropdown functionality in sub-menu. Updated all html files where submenu required. Updated ratings from red to yellow to make them review ready. Signed-off-by:Saad bin Abid <abid@fortiss.org>
-
- Jun 08, 2020
-
-
Simon Barner authored
- Indent - Close all HTML tags - Add footer with copyright, contact, imprint - Minor fixes Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Jun 03, 2020
-
-
Saad bin Abid authored
menu item and updated the ratings of all html files. Issue-Ref: 4007 Issue-Url: https://af3-developer.fortiss.org/issues/4007 Signed-off-by:
Saad bin Abid <abid@fortiss.org> -
Saad bin Abid authored
Deployment and Code Generation. Issue-Ref: 4007 Issue-Url: https://af3-developer.fortiss.org/issues/4007 Signed-off-by:
Saad bin Abid <abid@fortiss.org>
-
- May 31, 2020
-
-
Saad bin Abid authored
state_automaton.html and updated the ratings file Issue-Ref: 4007 Issue-Url: https://af3-developer.fortiss.org/issues/4007 Signed-off-by:
Saad bin Abid <abid@fortiss.org> -
Saad bin Abid authored
Issue-Ref: 4007 Issue-Url: https://af3-developer.fortiss.org/issues/4007 Signed-off-by:
Saad bin Abid <abid@fortiss.org>
-
- May 08, 2020
-
-
Saad bin Abid authored
* Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
saadbinabid1 <abid@fortiss.org>
-
- May 02, 2020
-
-
Saad bin Abid authored
Assurance cases still not done * Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
saadbinabid1 <abid@fortiss.org>
-
- Apr 29, 2020
-
-
Saad bin Abid authored
* Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
saadbinabid1 <abid@fortiss.org>
-