Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3663 AF3 Phoenix Change Request New Normal Clean constraints in the component group 03/01/2019 02:57 PM
3662 AF3 Phoenix Support New Normal Timing Specification: Documentation Simon Barner 05/11/2020 03:41 PM
3650 AF3 Phoenix Feature New Normal [New DSE project - #3482] The WCET table of TaskArchitectures is not available for DSE-generated Task->Partition->ExecutionUnit allocations Alexander Diewald 04/16/2020 04:57 PM
3647 AF3 Phoenix Support New Normal refactor the classes for the transformation to flatten structures 09/26/2019 02:30 PM
3642 AF3 Phoenix Bug In Progress Normal Avoid missing and duplicated IDs Simon Barner 10/27/2020 04:42 PM
3638 AF3 Phoenix Change Request New Normal Improve error reporting if a transformation chain fails Florian Hölzl 04/16/2020 05:28 PM
3637 AF3 Phoenix Bug New Normal [Expression] Exception when running JUnit tests 10/07/2019 09:43 AM
3628 Design Space Exploration Feature New Normal Z3: Implement progress heuristics Simon Barner 01/24/2020 11:52 AM
3619 AF3 Phoenix Change Request New Normal [code refactoring] create an interface for variables to values map 09/26/2019 02:31 PM
3616 AF3 Phoenix Change Request New Normal Introduce IRootElementContainer and avoid misuse of FileProject Simon Barner 05/11/2020 10:47 AM
3609 AF3 Phoenix Feature New Normal Extend MCDC analysis to support structures 09/26/2019 02:31 PM
3607 AF3 Phoenix Change Request New Normal Review CurrentObjectiveContributionItem class in RCP Plug-in Saad bin Abid 05/11/2020 10:47 AM
3597 AF3 Phoenix Bug New Normal STL OCRA contract verification not working on Windows 10/07/2019 09:44 AM
3595 Design Space Exploration Change Request New Normal Create a DSML interface for Set references Alexander Diewald 04/16/2020 05:28 PM
3586 AF3 Phoenix Change Request New Normal [Property Sections] Improve the advanced type editor Johannes Eder 04/16/2020 05:18 PM
3585 AF3 Phoenix Change Request New Normal [Property Sections] Validate the syntax of complex expression or disallow direct editing Johannes Eder 04/16/2020 05:17 PM
3567 Design Space Exploration Feature Feedback Normal Implementation of Platform Exploration for the generic platform Johannes Eder 01/24/2020 11:51 AM
3554 Design Space Exploration Change Request New Normal Cleanup DSML w.r.t. newly added Functions Johannes Eder 08/06/2020 09:04 PM
3551 Design Space Exploration Change Request New Normal In the formulation of a scheduling problem, replace ResourceAllocations with Tasks and Signals Johannes Eder 08/06/2020 09:02 PM
3547 Design Space Exploration Change Request New Normal Check/fix identifier names generation in Z3 Johannes Eder 08/06/2020 09:04 PM
3543 AF3 Phoenix Feature New Normal Merge Quantitative with GSN to ADT Vivek Nigam 05/11/2020 10:47 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
3522 AF3 Phoenix Feature New Normal Security Simulator Vivek Nigam 05/11/2020 10:47 AM
3509 AF3 Phoenix Support New Normal rework OCRA refinement 05/13/2019 02:10 PM
3507 AF3 Phoenix Support In Progress Normal [documentation] Add developer documentation for af3.mode, af3.operatorpanel, af3.application Johannes Eder 02/04/2020 04:07 PM
(126-150/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF