Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
3039 AF3 Phoenix Feature In Progress Normal process enactment 10/27/2017 11:05 AM
3024 AF3 Phoenix Feature New Normal [Constraint] port bound 10/08/2019 09:37 AM
3022 Analysis Feature New Normal Analysis Collection issue 10/02/2019 09:01 AM
2864 AF3 Phoenix Bug In Progress Normal [Constraint]bounds constraint failure error message 10/07/2019 09:47 AM
2861 AF3 Phoenix Feature New Normal [Constraints] Take functions into account 10/07/2019 09:46 AM
2857 AF3 Phoenix Feature New Normal "Go to definition" Context menu 05/13/2019 02:04 PM
2852 AF3 Phoenix Feature New Normal [OBC-SA] All Issues 11/21/2017 12:50 AM
2850 AF3 Phoenix Feature New Normal [OBC-SA] Einbindung von externen C-Dateien 02/20/2017 02:15 PM
2849 AF3 Phoenix Feature New Normal [OBC-SA] Middleware API File 02/20/2017 02:15 PM
2803 AF3 Phoenix Feature New Normal [FMI] Support Visual Studio for FMI export 05/13/2019 02:09 PM
2736 AF3 Phoenix Support New Normal Timeout is observed while running NuXMV 05/13/2019 02:09 PM
2703 AF3 Phoenix Feature New Normal [constraints] onActivate handler 05/13/2019 02:09 PM
2672 AF3 Phoenix Feature New Normal [Conti] DSEProject 08/09/2016 05:00 PM
2657 AF3 Phoenix Support New Normal [Analysis] fake enum values in nusmv enums 05/13/2019 02:09 PM
2620 AF3 Phoenix Feature In Progress Normal Constraint-based development process 05/13/2019 02:04 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
2306 AF3 Phoenix Feature New Normal Safe Plugin Integration 01/26/2018 11:22 AM
2145 AF3 Phoenix Feature New Normal Allow C files as a specification 05/13/2019 02:09 PM
2128 AF3 Phoenix Feature New Normal [Analyses/Simulation] Looping simulations 05/13/2019 02:09 PM
2078 AF3 Phoenix Support New Normal DSE-related documentation 05/13/2019 02:10 PM
1762 AF3 Phoenix Feature New Normal Model checking clean components of a not-clean model 05/13/2019 02:09 PM
1595 AF3 Phoenix Support New Normal JUnit Tests for SMT-based Deployment 05/13/2019 02:04 PM
4067 AF3 Phoenix Bug Resolved Normal NPE in few cases if the CLI DSE is used Alexander Diewald 10/12/2020 10:24 AM
4064 Design Space Exploration Bug Resolved Normal Synthesis View: Crash when opening without an imported project Alexander Diewald 10/09/2020 05:11 PM
4023 AF3 Phoenix Change Request New Normal Add type arguments to IConverters and IValidators Alexander Diewald 05/15/2020 03:42 PM
(51-75/295) Per page: 25, 50, 100

Also available in: Atom CSV PDF