Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
2398 AF3 Phoenix Change Request New High Improve the export of the DataDictionary (or its subtypes) to libraries 05/13/2019 02:04 PM
3258 Design Space Exploration Feature New High Hardware Platform Exploration Alexander Diewald 01/15/2020 04:26 PM
3434 Design Space Exploration Feature New High [JavaFX] Migration of the DSE Perspective to JavaFX Alexander Diewald 08/24/2020 02:30 PM
3450 Design Space Exploration Feature New High [JavaFX] Migrate the visualization view Alexander Diewald 08/12/2020 02:06 PM
3453 Design Space Exploration Feature New High [JavaFX] Migrate the table visualization Alexander Diewald 04/16/2020 11:22 AM
3707 Design Space Exploration Feature New High Platform exploration for the Hierarchical Platform Alexander Diewald 01/24/2020 11:53 AM
3708 Design Space Exploration Feature In Progress High Exploration of ExecutionUnit numbers as a variance-based exploration Alexander Diewald 01/24/2020 11:54 AM
2183 AF3 Phoenix Support In Progress High [patch] ElementCompositorService: emit custom notification after finalization of compose() / decompose Florian Hölzl 05/13/2019 02:09 PM
4013 AF3 Phoenix Change Request New High [UI] Collection task SWT based views -> JavaFX-based views Johannes Eder 10/26/2020 09:58 AM
4050 AF3 Phoenix Feature New High Reconfiguration: Prediction metamodel Saad bin Abid 09/23/2020 04:21 PM
2864 AF3 Phoenix Bug In Progress Normal [Constraint]bounds constraint failure error message 10/07/2019 09:47 AM
3072 AF3 Phoenix Bug New Normal Endless loop when OCRA is not installed 10/07/2019 09:46 AM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
3133 AF3 Phoenix Bug New Normal Process: there is at least one constraint 10/07/2019 09:42 AM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3342 AF3 Phoenix Bug New Normal UI freezes when contract constraint is enabled and guard is modified 10/07/2019 09:45 AM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 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
3597 AF3 Phoenix Bug New Normal STL OCRA contract verification not working on Windows 10/07/2019 09:44 AM
3637 AF3 Phoenix Bug New Normal [Expression] Exception when running JUnit tests 10/07/2019 09:43 AM
3723 AF3 Phoenix Bug New Normal Using Variables from Sub-componnets for framing Temporal Properties gives error 09/26/2019 02:16 PM
3759 AF3 Phoenix Bug Feedback Normal Nested structures in transformation 10/02/2019 09:00 AM
1762 AF3 Phoenix Feature New Normal Model checking clean components of a not-clean model 05/13/2019 02:09 PM
2128 AF3 Phoenix Feature New Normal [Analyses/Simulation] Looping simulations 05/13/2019 02:09 PM
2145 AF3 Phoenix Feature New Normal Allow C files as a specification 05/13/2019 02:09 PM
(1-25/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF