Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
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
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
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
3140 AF3 Phoenix Bug New High @SuppressWarnings("restriction") in ApplicationActionBarAdvisor 05/11/2020 02:36 PM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 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
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
3942 AF3 Phoenix Bug New Normal MIRA UI: Usability Issues Andreas Bayha 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
2667 AF3 Phoenix Bug New Normal ConstraintCheckerService does not perform all registered ConstaintChecks Andreas Bayha 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
3985 AF3 Phoenix Bug New Normal Removal of sticky ports does not work Florian Hölzl 04/02/2020 02:33 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
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
(1-25/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF