Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
1028 AF3 Phoenix Bug In Progress Normal Bad identifier for data state variables possible (was: Data State Variables Exception) Florian Hölzl 10/27/2020 04:35 PM
1491 AF3 Phoenix Bug New Normal Intuitive binding of (undo/redo) actions Florian Hölzl 10/27/2020 04:35 PM
1508 AF3 Phoenix Bug New Normal Text Display Reactions does not check the guards Tatiana Chuprina 10/27/2020 04:36 PM
1536 AF3 Phoenix Bug New Normal Sorting of Data Dictionary element. Saad bin Abid 10/27/2020 04:36 PM
1595 AF3 Phoenix Support New Normal JUnit Tests for SMT-based Deployment 05/13/2019 02:04 PM
1762 AF3 Phoenix Feature New Normal Model checking clean components of a not-clean model 05/13/2019 02:09 PM
1912 AF3 Phoenix Bug New Normal Property window disappears Saad bin Abid 10/02/2019 11:23 AM
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
2078 AF3 Phoenix Support New Normal DSE-related documentation 05/13/2019 02:10 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
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
2234 AF3 Phoenix Change Request New Normal Refactor compositors to allow state-based implementation of canConnect() / connect() etc. Florian Hölzl 03/05/2018 11:30 AM
2270 AF3 Phoenix Feature In Progress Normal EObjectAwareServiceBase: Provide accumulating implementation of getRegisteredHandlers() Florian Hölzl 05/13/2019 02:09 PM
2284 AF3 Phoenix Change Request Feedback Normal [Kernel] Provide generic keyboard shortcut facility Andreas Bayha 05/11/2020 11:35 AM
2306 AF3 Phoenix Feature New Normal Safe Plugin Integration 01/26/2018 11:22 AM
2332 AF3 Phoenix Support New Normal MIRA: rework MIRA documentation Saad bin Abid 05/13/2019 02:10 PM
2343 AF3 Phoenix Feature New Normal Handle complex copy&paste operations in the tooling plugins Alexander Diewald 12/14/2017 10:50 AM
2347 AF3 Phoenix Bug In Progress Normal [UI] Avoid that copied model elements are added as children of the original selection Simon Barner 10/27/2020 04:37 PM
2398 AF3 Phoenix Change Request New High Improve the export of the DataDictionary (or its subtypes) to libraries 05/13/2019 02:04 PM
2566 AF3 Phoenix Change Request In Progress Low KISS: ObjectAware2ServiceBase and ObjectAwareServiceBase to inherit from IIntrospectiveKernelService Florian Hölzl 05/13/2019 02:09 PM
2588 AF3 Phoenix Feature New Normal [GUI] Multi-line components Florian Hölzl 06/13/2018 04:27 PM
2620 AF3 Phoenix Feature In Progress Normal Constraint-based development process 05/13/2019 02:04 PM
2657 AF3 Phoenix Support New Normal [Analysis] fake enum values in nusmv enums 05/13/2019 02:09 PM
2659 AF3 Phoenix Feature New Low [UI] Visualization of Virtual Links Simon Barner 05/29/2019 02:18 PM
2667 AF3 Phoenix Bug New Normal ConstraintCheckerService does not perform all registered ConstaintChecks Andreas Bayha 10/27/2020 04:37 PM
2672 AF3 Phoenix Feature New Normal [Conti] DSEProject 08/09/2016 05:00 PM
2673 AF3 Phoenix Change Request New Normal Add compositor constraints to ensure that at most one ExecutionUnit or TransmissionUnit is linked to a single Transceiver Simon Barner 05/11/2020 10:47 AM
2680 AF3 Phoenix Support New Normal [safety-documentation] Do a tutorial and screncast on the GSN Editor Carmen Carlan 08/13/2020 04:23 AM
2686 AF3 Phoenix Feature New Normal Generic variability plugin Andreas Bayha 05/11/2020 10:47 AM
2687 AF3 Phoenix Feature New Normal [Generic variability plugin] Generic UI Andreas Bayha 05/13/2019 02:09 PM
2703 AF3 Phoenix Feature New Normal [constraints] onActivate handler 05/13/2019 02:09 PM
2736 AF3 Phoenix Support New Normal Timeout is observed while running NuXMV 05/13/2019 02:09 PM
2770 AF3 Phoenix Change Request New Normal [OperatorPanel] Remove type from GraphViewer Andreas Bayha 05/13/2019 02:04 PM
2774 AF3 Phoenix Bug New Normal [Expression] Structural equality for expressions Florian Hölzl 03/05/2018 10:33 AM
2787 AF3 Phoenix Feature In Progress Normal [Generic variability plugin] Variability in Platform-Architecture Andreas Bayha 05/13/2019 02:09 PM
2803 AF3 Phoenix Feature New Normal [FMI] Support Visual Studio for FMI export 05/13/2019 02:09 PM
2849 AF3 Phoenix Feature New Normal [OBC-SA] Middleware API File 02/20/2017 02:15 PM
2850 AF3 Phoenix Feature New Normal [OBC-SA] Einbindung von externen C-Dateien 02/20/2017 02:15 PM
2852 AF3 Phoenix Feature New Normal [OBC-SA] All Issues 11/21/2017 12:50 AM
2857 AF3 Phoenix Feature New Normal "Go to definition" Context menu 05/13/2019 02:04 PM
2861 AF3 Phoenix Feature New Normal [Constraints] Take functions into account 10/07/2019 09:46 AM
2864 AF3 Phoenix Bug In Progress Normal [Constraint]bounds constraint failure error message 10/07/2019 09:47 AM
2872 AF3 Phoenix Support New Normal Doc: add a clear link to the source svn (with public credentials) to the main webpage Andreas Bayha 05/13/2019 02:10 PM
2873 AF3 Phoenix Change Request New Normal Safety level information is a complete mess Florian Hölzl 05/13/2019 02:08 PM
2885 AF3 Phoenix Feature In Progress Normal [Trace] Constraint to ensure a component matches its functional requirement interface Saad bin Abid 05/13/2019 02:04 PM
2886 AF3 Phoenix Feature New Normal [Constraint-based process] order the constraints Saad bin Abid 05/13/2019 02:04 PM
2890 AF3 Phoenix Feature In Progress Normal Parameters shall be usable in expressions Andreas Bayha 05/13/2019 02:04 PM
2901 AF3 Phoenix Feature New Normal Math Support Andreas Bayha 05/13/2019 02:04 PM
2907 AF3 Phoenix Feature In Progress Normal [Check] New constraint to ensure that every signal defined in requirement should exist in the component architecture Saad bin Abid 05/13/2019 02:04 PM
(1-50/286) Per page: 25, 50, 100

Also available in: Atom CSV PDF