Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4080 AF3 Phoenix Bug Feedback Normal Help-Button in DSE Perspective does not work Alexander Diewald 10/28/2020 09:02 AM
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
4067 AF3 Phoenix Bug Resolved Normal NPE in few cases if the CLI DSE is used Alexander Diewald 10/12/2020 10:24 AM
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
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
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
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
3954 AF3 Phoenix Bug New Normal Model elements view unpredictably collapses and unfolds subtrees Johannes Eder 10/27/2020 04:51 PM
3952 AF3 Phoenix Bug New Normal Color contrast in some JavaFX diagram editors is very low Johannes Eder 10/27/2020 04:50 PM
3942 AF3 Phoenix Bug New Low MIRA UI: Usability Issues Andreas Bayha 10/27/2020 04:50 PM
3941 AF3 Phoenix Bug New Normal Allocations editor: Creating a mapping in one tab removes all targets in the other tabs. Johannes Eder 10/27/2020 04:50 PM
3928 AF3 Phoenix Bug New Normal [safety] The connectors on circle figures (solutions) do not work well Carmen Carlan 10/27/2020 04:49 PM
3926 AF3 Phoenix Bug New Normal [Cosimulation] Complete re-implementation of the cosimulation logic required Tiziano Munaro 10/27/2020 04:48 PM
3923 AF3 Phoenix Bug New Normal [Kernel / AF3 Component] Fix content to content link creation Florian Hölzl 10/27/2020 04:48 PM
3868 AF3 Phoenix Bug New Normal [Kernel] LayoutDataUtils.setConnectorOffsetOrientation() causes NPE in LayoutDataUIUtils.getConnectorOrientation() Florian Hölzl 10/27/2020 04:47 PM
3862 AF3 Phoenix Bug New Normal [Variability] PresenceConditionLiterals are not checked not to contain Keywords Andreas Bayha 10/27/2020 04:46 PM
3851 AF3 Phoenix Bug New Normal [3D simulation] Composite issue for 3D simulation related bugs Florian Hölzl 10/27/2020 04:46 PM
3850 AF3 Phoenix Bug New Normal [eCar Example] OpenGL native call stuck on Win64 Florian Hölzl 10/27/2020 04:46 PM
3849 AF3 Phoenix Bug New Normal [eCar Example] NPE when opening vehicel panel in simulation Florian Hölzl 10/27/2020 04:45 PM
3848 AF3 Phoenix Bug New Normal [eCar Example] NPE when starting simulation with already opened user panel Florian Hölzl 10/27/2020 04:46 PM
3831 AF3 Phoenix Bug New Normal Some model elements are not referenced by ID Simon Barner 10/27/2020 04:43 PM
3759 AF3 Phoenix Bug Feedback Normal Nested structures in transformation 10/02/2019 09:00 AM
3723 AF3 Phoenix Bug New Normal Using Variables from Sub-componnets for framing Temporal Properties gives error 09/26/2019 02:16 PM
3642 AF3 Phoenix Bug In Progress Normal Avoid missing and duplicated IDs Simon Barner 10/27/2020 04:42 PM
3637 AF3 Phoenix Bug New Normal [Expression] Exception when running JUnit tests 10/07/2019 09:43 AM
3597 AF3 Phoenix Bug New Normal STL OCRA contract verification not working on Windows 10/07/2019 09:44 AM
3527 AF3 Phoenix Bug Feedback Low Data Dictionary: Erroneous error marker for duplicated enumeration values Florian Hölzl 10/27/2020 04:46 PM
3497 AF3 Phoenix Bug Feedback Normal FV does not work when array index is a variable 10/02/2019 09:00 AM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
3342 AF3 Phoenix Bug New Normal UI freezes when contract constraint is enabled and guard is modified 10/07/2019 09:45 AM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3290 Design Space Exploration Bug New Normal Axis selection in the DSE visualization is not kept when switching visualizations Johannes Eder 01/24/2020 12:10 PM
3253 Design Space Exploration Bug Feedback Normal Implement hashCode methods for DSML elements implementing "equals" Johannes Eder 10/28/2020 09:03 AM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 AM
3121 AF3 Phoenix Bug In Progress Normal Flushing out the constraint instances from XMI file Saad bin Abid 10/02/2019 11:20 AM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
3072 AF3 Phoenix Bug New Normal Endless loop when OCRA is not installed 10/07/2019 09:46 AM
2864 AF3 Phoenix Bug In Progress Normal [Constraint]bounds constraint failure error message 10/07/2019 09:47 AM
2774 AF3 Phoenix Bug New Normal [Expression] Structural equality for expressions Florian Hölzl 03/05/2018 10:33 AM
2667 AF3 Phoenix Bug New Normal ConstraintCheckerService does not perform all registered ConstaintChecks Andreas Bayha 10/27/2020 04:37 PM
2347 AF3 Phoenix Bug In Progress Normal [UI] Avoid that copied model elements are added as children of the original selection Simon Barner 10/27/2020 04:37 PM
1912 AF3 Phoenix Bug New Normal Property window disappears Saad bin Abid 10/02/2019 11:23 AM
1536 AF3 Phoenix Bug New Normal Sorting of Data Dictionary element. Saad bin Abid 10/27/2020 04:36 PM
1508 AF3 Phoenix Bug New Normal Text Display Reactions does not check the guards Tatiana Chuprina 10/27/2020 04:36 PM
1491 AF3 Phoenix Bug New Normal Intuitive binding of (undo/redo) actions Florian Hölzl 10/27/2020 04:35 PM
1028 AF3 Phoenix Bug In Progress Normal Bad identifier for data state variables possible (was: Data State Variables Exception) Florian Hölzl 10/27/2020 04:35 PM
4081 AF3 Phoenix Feature Resolved Normal Add Drag and Drop support for the Glossary Johannes Eder 10/27/2020 02:59 PM
4065 AF3 Phoenix Feature New Normal Creating a No Migration Constraint - RISE Saad bin Abid 10/01/2020 04:54 PM
(1-50/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF