Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
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
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
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 05/11/2020 02:36 PM
3952 AF3 Phoenix Bug New Normal Color contrast in some JavaFX diagram editors is very low Johannes Eder 05/11/2020 02:36 PM
3942 AF3 Phoenix Bug New Normal MIRA UI: Usability Issues Andreas Bayha 05/11/2020 02:36 PM
3941 AF3 Phoenix Bug New Normal Allocations editor: Creating a mapping in one tab removes all targets in the other tabs. Johannes Eder 05/11/2020 02:36 PM
3928 AF3 Phoenix Bug New Normal [safety] The connectors on circle figures (solutions) do not work well Carmen Carlan 05/11/2020 03:39 PM
3926 AF3 Phoenix Bug New Normal [Cosimulation] Complete re-implementation of the cosimulation logic required Tiziano Munaro 05/11/2020 02:36 PM
3923 AF3 Phoenix Bug New Normal [Kernel / AF3 Component] Fix content to content link creation Florian Hölzl 05/11/2020 02:36 PM
3868 AF3 Phoenix Bug New Normal [Kernel] LayoutDataUtils.setConnectorOffsetOrientation() causes NPE in LayoutDataUIUtils.getConnectorOrientation() Florian Hölzl 05/11/2020 02:36 PM
3862 AF3 Phoenix Bug New Normal [Variability] PresenceConditionLiterals are not checked not to contain Keywords Andreas Bayha 05/11/2020 02:36 PM
3851 AF3 Phoenix Bug New Normal [3D simulation] Composite issue for 3D simulation related bugs Florian Hölzl 05/11/2020 02:36 PM
3850 AF3 Phoenix Bug New Normal [eCar Example] OpenGL native call stuck on Win64 Florian Hölzl 05/11/2020 02:36 PM
3849 AF3 Phoenix Bug New Normal [eCar Example] NPE when opening vehicel panel in simulation Florian Hölzl 05/11/2020 02:36 PM
3848 AF3 Phoenix Bug New Normal [eCar Example] NPE when starting simulation with already opened user panel Florian Hölzl 05/11/2020 02:36 PM
3831 AF3 Phoenix Bug New Normal Some model elements are not referenced by ID Simon Barner 05/11/2020 02:36 PM
3723 AF3 Phoenix Bug New Normal Using Variables from Sub-componnets for framing Temporal Properties gives error 09/26/2019 02:16 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
3563 AF3 Phoenix Bug New Normal Concurrency and background tasks in constraint checker Saad bin Abid 05/11/2020 02:36 PM
3515 AF3 Phoenix Bug New Normal Cursor "jumping" when using "undo" in the Code Spec editor Saad bin Abid 05/11/2020 02:36 PM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF