Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4011 AF3 Phoenix Bug Feedback Normal reaction field in the text display in operator panel not setting correctly Saad bin Abid 08/10/2020 04:11 PM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 PM
3767 AF3 Phoenix Support Feedback Normal Cleanup dependencies by consistently using re-export. Alexander Diewald 04/16/2020 05:14 PM
3759 AF3 Phoenix Bug Feedback Normal Nested structures in transformation 10/02/2019 09:00 AM
3734 AF3 Phoenix Bug Feedback Normal [AF3 modes automata] Composite issue for bugs of mode automata Florian Hölzl 05/11/2020 03:19 PM
3712 AF3 Phoenix Change Request Feedback Normal Extend image export functionality from component architectures only to task and platform architectures Tiziano Munaro 05/11/2020 11:42 AM
3694 Design Space Exploration Feature Feedback Normal Update and integrate the DseML text editor Johannes Eder 08/12/2020 01:50 PM
3567 Design Space Exploration Feature Feedback Normal Implementation of Platform Exploration for the generic platform Johannes Eder 01/24/2020 11:51 AM
3527 AF3 Phoenix Bug Feedback Low Data Dictionary: Erroneous error marker for duplicated enumeration values Florian Hölzl 05/11/2020 03:22 PM
3497 AF3 Phoenix Bug Feedback Normal FV does not work when array index is a variable 10/02/2019 09:00 AM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3253 Design Space Exploration Bug Feedback Normal Implement hashCode methods for DSML elements implementing "equals" Johannes Eder 05/11/2020 03:26 PM
3231 Analysis Feature Feedback Normal include all subcontracts for refinement 06/03/2019 03:48 PM
3181 AF3 Phoenix Feature Feedback Normal [OBC-SA] Code and Config Generation for PikeOS 12/04/2017 02:10 AM
3157 AF3 Phoenix Support Feedback Normal [safety-documentation] Documentation for safety cases Saad bin Abid 06/09/2020 06:04 PM
2284 AF3 Phoenix Change Request Feedback Normal [Kernel] Provide generic keyboard shortcut facility Andreas Bayha 05/11/2020 11:35 AM
4078 Design Space Exploration Bug Resolved Normal DSE Solution Validator Produces Wrong Results for Transformed Artifacts Johannes Eder 10/23/2020 02:47 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
4064 Design Space Exploration Bug Resolved Normal Synthesis View: Crash when opening without an imported project Alexander Diewald 10/09/2020 05:11 PM
4053 AF3 Phoenix Bug Resolved Normal Add missing raspberry pi platform fx Martin Eisenmann 08/18/2020 02:39 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
4020 AF3 Phoenix Change Request Resolved Normal KISS View to JavaFX Johannes Eder 08/13/2020 09:33 AM
4015 AF3 Phoenix Change Request Resolved Normal SimulationViews to JavaFX Andreas Bayha 07/20/2020 11:49 AM
4014 AF3 Phoenix Change Request Resolved Normal AnnotationView to JavaFX Johannes Eder 10/21/2020 10:23 AM
3737 Design Space Exploration Change Request Resolved Normal Generate problem-specific constraint sets in the derived SolverRun constructors 09/11/2020 01:25 PM
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF