Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4079 AF3 Phoenix Bug New Immediate Build fixes Johannes Eder 10/26/2020 11:49 AM
4077 Design Space Exploration Bug New Normal Z3 solver produces contradicting solution states with the Java API and the smtlib interface Johannes Eder 10/22/2020 11:28 AM
4076 AF3 Phoenix Change Request New Normal Reintegrate the Tutorial Service Johannes Eder 10/22/2020 06:15 PM
4075 AF3 Phoenix Change Request New Normal Rework the ContextMenu- and the ActionService Johannes Eder 10/21/2020 05:01 PM
4069 AF3 Phoenix Support New Normal Refresh AF3 examples for release Johannes Eder 10/21/2020 05:32 PM
4066 AF3 Phoenix Bug New Normal Binary Windows (x64) product: problems to resolve dependencies of Z3 DLLs Johannes Eder 10/05/2020 11:52 AM
4065 AF3 Phoenix Feature New Normal Creating a No Migration Constraint - RISE Saad bin Abid 10/01/2020 04:54 PM
4055 AF3 Phoenix Feature New Normal [safety-use-case] Create safety case for ADAS in Rovers Liana Soima 08/13/2020 04:40 AM
4050 AF3 Phoenix Feature New High Reconfiguration: Prediction metamodel Saad bin Abid 09/23/2020 04:21 PM
4044 AF3 Phoenix Change Request New Normal Simulation OperatorPanels to JavaFX 07/20/2020 02:32 PM
4041 AF3 Phoenix Change Request New Normal Hardware optimization pattern: only list meaningful attributes Johannes Eder 07/01/2020 01:29 PM
4040 AF3 Phoenix Feature New Low CPU load constraint. Simon Barner 08/10/2020 04:56 PM
4039 AF3 Phoenix Feature New Low Bus load constraint Simon Barner 08/10/2020 04:56 PM
4038 AF3 Phoenix Feature New Normal RAM Utilization Pattern Johannes Eder 07/01/2020 01:18 PM
4037 AF3 Phoenix Bug New Normal Memory Utilization Pattern erroneously uses task RAM instead of Flash requirements Johannes Eder 09/11/2020 06:15 PM
4036 AF3 Phoenix Support New Low Online help: improve header layout and navigation Johannes Eder 07/01/2020 12:03 PM
4023 AF3 Phoenix Change Request New Normal Add type arguments to IConverters and IValidators Alexander Diewald 05/15/2020 03:42 PM
4019 AF3 Phoenix Change Request New Normal LibraryView to JavaFX Liana Soima 08/16/2020 09:48 AM
4013 AF3 Phoenix Change Request New High [UI] Collection task SWT based views -> JavaFX-based views Johannes Eder 10/26/2020 09:58 AM
4002 AF3 Phoenix Feature New Normal [FMI] Usability improvements Tiziano Munaro 04/20/2020 10:42 AM
4001 AF3 Phoenix Change Request New Low [FMI] Redirect COE output / Hide COE output from the AF3 console Tiziano Munaro 04/16/2020 09:37 AM
3996 AF3 Phoenix Feature New Normal Import capability for library elements Johannes Eder 04/09/2020 05:51 PM
3988 AF3 Phoenix Feature New Normal MIRA: Validator duplicated IDs in FX editor Andreas Bayha 04/03/2020 02:32 PM
3985 AF3 Phoenix Bug New Normal Removal of sticky ports does not work Florian Hölzl 04/02/2020 02:33 PM
3982 AF3 Phoenix Bug New Normal Hier. Platform: At the tile level, the elements of the upper level are shown Simon Barner 03/30/2020 08:02 PM
(1-25/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF