Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3495 AF3 Phoenix Feature New Low [safety-creation] SACM compliance Carmen Carlan 10/27/2020 09:18 AM
4079 AF3 Phoenix Bug New Immediate Build fixes Johannes Eder 10/26/2020 11:49 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
3170 AF3 Phoenix Feature In Progress Normal [safety-creation] Revival of safety case typed patterns Liana Soima 10/23/2020 01:28 PM
4076 AF3 Phoenix Change Request New Normal Reintegrate the Tutorial Service Johannes Eder 10/22/2020 06:15 PM
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
4069 AF3 Phoenix Support New Normal Refresh AF3 examples for release Johannes Eder 10/21/2020 05:32 PM
4075 AF3 Phoenix Change Request New Normal Rework the ContextMenu- and the ActionService Johannes Eder 10/21/2020 05:01 PM
4014 AF3 Phoenix Change Request Resolved Normal AnnotationView to JavaFX Johannes Eder 10/21/2020 10:23 AM
4045 AF3 Phoenix Feature In Progress Normal Function Architecture Saad bin Abid 10/20/2020 05:55 PM
4067 AF3 Phoenix Bug Resolved Normal NPE in few cases if the CLI DSE is used Alexander Diewald 10/12/2020 10:24 AM
3922 AF3 Phoenix Change Request In Progress Normal ModelNavigatorView to JavaFX Alexander Diewald 10/06/2020 02:19 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
4050 AF3 Phoenix Feature New High Reconfiguration: Prediction metamodel Saad bin Abid 09/23/2020 04:21 PM
3744 AF3 Phoenix Feature In Progress Normal [safety-maintenance] Automatic challenge detection (change in GSN) Liana Soima 09/19/2020 09:01 AM
3784 AF3 Phoenix Feature New Normal [safety-creation] Creating and manipulating safety cases Carmen Carlan 09/12/2020 10:02 AM
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
3797 Design Space Exploration Feature New Normal Enable editing DSE projects from the DSE navigator Alexander Diewald 09/11/2020 05:03 PM
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 PM
4047 AF3 Phoenix Feature In Progress Normal Reconfiguration synthesis related parameters for platform architecture Saad bin Abid 09/11/2020 09:33 AM
3731 Design Space Exploration Feature New Normal Support multicast message deployment and scheduling Simon Barner 09/10/2020 09:29 AM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 PM
3434 Design Space Exploration Feature New High [JavaFX] Migration of the DSE Perspective to JavaFX Alexander Diewald 08/24/2020 02:30 PM
4051 AF3 Phoenix Feature Resolved Normal Add support for parameters that can be read from a configuration file Johannes Eder 08/20/2020 11:28 AM
(26-50/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF