- Apr 05, 2022
-
-
Andreas Bayha authored
Issue-Ref: 4216 Issue-Url: af3#4216 Signed-off-by:
Andreas Bayha <bayha@fortiss.org>
-
Sebastian Bergemann authored
Issue-Ref: 4216 Issue-Url: af3#4216 Signed-off-by:
Sebastian Bergemann <bergemann@fortiss.org>
-
Andreas Bayha authored
Issue-Ref: 4216 Issue-Url: af3#4216 Signed-off-by:
Andreas Bayha <bayha@fortiss.org>
-
Andreas Bayha authored
Issue-Ref: 4216 Issue-Url: af3#4216 Signed-off-by:
Andreas Bayha <bayha@fortiss.org>
-
Andreas Bayha authored
Issue-Ref: 4216 Issue-Url: af3#4216 Signed-off-by:
Andreas Bayha <bayha@fortiss.org>
-
Andreas Bayha authored
Issue-Ref: 4216 Issue-Url: af3#4216 Signed-off-by:
Andreas Bayha <bayha@fortiss.org>
-
- Mar 16, 2022
-
-
Sebastian Bergemann authored
Issue-Ref: 4216 Issue-Url: af3#4216 Signed-off-by:
Sebastian Bergemann <bergemann@fortiss.org>
-
- Oct 29, 2020
-
-
Johannes Eder authored
Issue-Ref: 4069 Issue-Url: https://af3-developer.fortiss.org/issues/4069 Signed-off-by:
Johannes Eder <eder@fortiss.org>
-
Simon Barner authored
Issue-Ref: 4069 Issue-Url: https://af3-developer.fortiss.org/issues/4069 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 4069 Issue-Url: https://af3-developer.fortiss.org/issues/4069 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 4069 Issue-Url: https://af3-developer.fortiss.org/issues/4069 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Oct 20, 2020
-
-
Johannes Eder authored
* adapted toc.xml to match html content Issue-Ref: 4070 Issue-Url: https://af3-developer.fortiss.org/issues/4070 Signed-off-by:
Johannes Eder <eder@fortiss.org>
-
- Oct 13, 2020
-
-
Simon Barner authored
* Move getting started to top in overview page * Adapt navigation menu (including further minor fixes) Issue-Ref: 4031 Issue-Url: https://af3-developer.fortiss.org/issues/4031 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
* Contact, imprint and fortiss homepage are still opened in the same browser window * Update download link for GCC and two referenced papers * Update outdated links where possible, remove otherwise Issue-Ref: 4031 Issue-Url: https://af3-developer.fortiss.org/issues/4031 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
Simon Barner authored
Issue-Ref: 4031 Issue-Url: https://af3-developer.fortiss.org/issues/4031 Signed-off-by:
Simon Barner <barner@fortiss.org>
-
- Sep 17, 2020
-
-
Tiziano Munaro authored
Issue-Ref: 4031 Issue-Url: https://af3-developer.fortiss.org/issues/4031 Signed-off-by:
Tiziano Munaro <munaro@fortiss.org>
-
- 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 authored
Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
Johannes Eder <eder@fortiss.org>
-
Saad bin Abid authored
sub-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>
-