Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3260 AF3 Phoenix Support New Normal update simple traffic light AF3 tour for OCRA contract 05/13/2019 02:08 PM
3272 AF3 Phoenix Feature New Normal Optional Requirements Andreas Bayha 05/13/2019 02:08 PM
3282 AF3 Phoenix Feature In Progress Normal AF3 Variability Layer Andreas Bayha 05/13/2019 02:08 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
3288 AF3 Phoenix Feature New Low Update feature in AF3 Simon Barner 03/09/2020 12:04 PM
3290 Design Space Exploration Bug New Normal Axis selection in the DSE visualization is not kept when switching visualizations Johannes Eder 01/24/2020 12:10 PM
3303 AF3 Phoenix Feature New Normal Enable VariationPoint to be deactivated Andreas Bayha 05/13/2019 02:08 PM
3313 AF3 Phoenix Bug Feedback Normal Catch exceptions for OCRA constraints 10/02/2019 09:00 AM
3315 AF3 Phoenix Change Request Resolved Normal BindingStretegy should "bind" and not just deactivate Andreas Bayha 05/13/2019 02:08 PM
3324 AF3 Phoenix Feature New Normal Optional Ports Andreas Bayha 05/13/2019 02:08 PM
3330 AF3 Phoenix Support New Normal cancelling formal verification constraints 05/13/2019 02:08 PM
3331 AF3 Phoenix Support New Normal Changes in constraint mechanism 05/13/2019 02:08 PM
3336 AF3 Phoenix Change Request New Low Document support for nested commands in CommandStackService Florian Hölzl 05/13/2019 02:10 PM
3342 AF3 Phoenix Bug New Normal UI freezes when contract constraint is enabled and guard is modified 10/07/2019 09:45 AM
3361 Design Space Exploration Change Request In Progress Normal Scheduling synthesis does not support routing Simon Barner 05/11/2020 10:47 AM
3396 AF3 Phoenix Support New Normal [documentation] Developer Documentation Johannes Eder 05/11/2020 03:42 PM
3407 AF3 Phoenix Feature New Normal Use Z3 for non-determinism check 05/13/2019 02:08 PM
3411 AF3 Phoenix Support New Normal rethink bounds check design 05/13/2019 02:08 PM
3412 AF3 Phoenix Bug New Normal bounds check fails for strongly causal component 10/07/2019 09:44 AM
3417 AF3 Phoenix Feature New Normal AMALTHEA / APP4MC Importer Alexander Diewald 04/16/2020 04:57 PM
3424 AF3 Phoenix Change Request New Normal Constraints: Refactor common interpretation of results 05/13/2019 02:08 PM
3425 Analysis Feature New Normal Safety and Security Analysis 05/13/2019 02:04 PM
3426 AF3 Phoenix Support New Normal All requirements are not conflicting Saad bin Abid 06/03/2019 11:50 AM
3430 AF3 Phoenix Support New Low [documentation] Add developer documentation for af3.exploration.alg Alexander Diewald 04/16/2020 05:14 PM
3434 Design Space Exploration Feature New High [JavaFX] Migration of the DSE Perspective to JavaFX Alexander Diewald 08/24/2020 02:30 PM
(101-125/288) Per page: 25, 50, 100

Also available in: Atom CSV PDF