Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3186 AF3 Phoenix Feature New Normal [OBC-SA]VMIT Generation 01/26/2018 10:30 AM
3185 AF3 Phoenix Feature New Normal [OBC-SA] Create a OBC-SA Technical Architecture 12/04/2017 01:58 AM
3184 AF3 Phoenix Feature New Normal [OBC-SA]Temporal Partitioning 11/22/2017 10:37 PM
3183 AF3 Phoenix Feature New Normal [OBC-SA]Spatial Partitioning (1:1) 11/22/2017 12:41 AM
3180 AF3 Phoenix Support New Normal [FV Transformation] Factorize the first block of the transformation 05/13/2019 02:08 PM
3137 AF3 Phoenix Support New Normal objective dependence 11/07/2017 10:58 AM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 AM
3118 AF3 Phoenix Feature New Normal constraints and process from building a DO-178C compliant set of requirements 01/23/2018 03:59 PM
3117 AF3 Phoenix Feature New Normal constraints and process from building a certification argument 01/23/2018 03:59 PM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
3106 AF3 Phoenix Support New Normal refactor analysis facade 05/13/2019 02:08 PM
3099 AF3 Phoenix Support New Normal bound reached on model checking 05/13/2019 02:08 PM
3089 AF3 Phoenix Support New Normal refactor NuSMVRunner 05/13/2019 02:08 PM
3073 AF3 Phoenix Feature New Normal Nice error when OCRA is missing 05/13/2019 02:08 PM
3072 AF3 Phoenix Bug New Normal Endless loop when OCRA is not installed 10/07/2019 09:46 AM
3057 AF3 Phoenix Feature New Normal Constraint for interface of FMU components 05/13/2019 02:08 PM
3024 AF3 Phoenix Feature New Normal [Constraint] port bound 10/08/2019 09:37 AM
3022 Analysis Feature New Normal Analysis Collection issue 10/02/2019 09:01 AM
2861 AF3 Phoenix Feature New Normal [Constraints] Take functions into account 10/07/2019 09:46 AM
2857 AF3 Phoenix Feature New Normal "Go to definition" Context menu 05/13/2019 02:04 PM
2852 AF3 Phoenix Feature New Normal [OBC-SA] All Issues 11/21/2017 12:50 AM
2850 AF3 Phoenix Feature New Normal [OBC-SA] Einbindung von externen C-Dateien 02/20/2017 02:15 PM
2849 AF3 Phoenix Feature New Normal [OBC-SA] Middleware API File 02/20/2017 02:15 PM
2803 AF3 Phoenix Feature New Normal [FMI] Support Visual Studio for FMI export 05/13/2019 02:09 PM
2736 AF3 Phoenix Support New Normal Timeout is observed while running NuXMV 05/13/2019 02:09 PM
(26-50/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF