Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
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
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
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
3495 AF3 Phoenix Feature New Low [safety-creation] SACM compliance Carmen Carlan 10/27/2020 09:18 AM
3494 AF3 Phoenix Feature New Low [safety-interoperability] Button to export xml file of SACM-compliant safety case Carmen Carlan 07/28/2019 10:03 PM
3493 AF3 Phoenix Feature New Low [safety-interoperability] Button to import xml file of SACM-compliant safety case Carmen Carlan 07/28/2019 10:03 PM
3487 AF3 Phoenix Change Request New Normal Refresh editor when creating a behavior 05/13/2019 02:11 PM
3477 AF3 Phoenix Feature New Normal MCDC implementation Ludwig Dickmanns 10/09/2019 02:29 PM
3476 AF3 Phoenix Feature New Normal implement gestTestCases() for MCDC Ludwig Dickmanns 05/13/2019 02:11 PM
3469 AF3 Phoenix Support New Normal Cleanup Constraint metamodel Saad bin Abid 06/03/2019 11:48 AM
3468 AF3 Phoenix Change Request New Normal Unify the emptyOrAlreadyExists in several aspects Saad bin Abid 05/13/2019 02:08 PM
3462 AF3 Phoenix Feature New Normal Fault Tree Analysis (FTA) for Safety and Security Plugin 05/13/2019 02:04 PM
(101-125/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF