Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
4039 AF3 Phoenix Feature New Low Bus load constraint Simon Barner 08/10/2020 04:56 PM
3330 AF3 Phoenix Support New Normal cancelling formal verification constraints 05/13/2019 02:08 PM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3331 AF3 Phoenix Support New Normal Changes in constraint mechanism 05/13/2019 02:08 PM
3966 AF3 Phoenix Feature New Normal Channel creation between components Florian Hölzl 03/23/2020 06:06 PM
1957 AF3 Phoenix Change Request In Progress Normal Check all places where Auto-completion could be improved/implemented Andreas Bayha 05/13/2019 02:04 PM
3547 Design Space Exploration Change Request New Normal Check/fix identifier names generation in Z3 Johannes Eder 08/06/2020 09:04 PM
3789 AF3 Phoenix Feature New Normal Checking OCL constraints using SMT solving Andreas Bayha 08/05/2019 01:27 PM
3663 AF3 Phoenix Change Request New Normal Clean constraints in the component group 03/01/2019 02:57 PM
3469 AF3 Phoenix Support New Normal Cleanup Constraint metamodel Saad bin Abid 06/03/2019 11:48 AM
3767 AF3 Phoenix Support Feedback Normal Cleanup dependencies by consistently using re-export. Alexander Diewald 04/16/2020 05:14 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
3952 AF3 Phoenix Bug New Normal Color contrast in some JavaFX diagram editors is very low Johannes Eder 10/27/2020 04:50 PM
2908 AF3 Phoenix Change Request In Progress Normal ComponentArchitecture should not be a IFunctionScope Florian Hölzl 05/13/2019 02:08 PM
3057 AF3 Phoenix Feature New Normal Constraint for interface of FMU components 05/13/2019 02:08 PM
2620 AF3 Phoenix Feature In Progress Normal Constraint-based development process 05/13/2019 02:04 PM
3124 AF3 Phoenix Support New Normal Constraint: duplicated requirement Saad bin Abid 10/02/2019 12:19 PM
2667 AF3 Phoenix Bug New Normal ConstraintCheckerService does not perform all registered ConstaintChecks Andreas Bayha 10/27/2020 04:37 PM
3117 AF3 Phoenix Feature New Normal constraints and process from building a certification argument 01/23/2018 03:59 PM
3118 AF3 Phoenix Feature New Normal constraints and process from building a DO-178C compliant set of requirements 01/23/2018 03:59 PM
3424 AF3 Phoenix Change Request New Normal Constraints: Refactor common interpretation of results 05/13/2019 02:08 PM
3832 Design Space Exploration Feature Feedback Normal Construct Z3 functions prior to basic constraints Johannes Eder 08/28/2020 01:59 PM
3284 Design Space Exploration Change Request New Normal Convert the IDSEBackend to a non-stateful interface Alexander Diewald 01/24/2020 11:57 AM
3965 AF3 Phoenix Feature New Normal Copy&Paste of components in component/diagram editor Florian Hölzl 03/23/2020 05:57 PM
3108 AF3 Phoenix Bug New Normal Counterexample interpretation of enum values 10/07/2019 09:45 AM
(26-50/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF