Issues · af3 / AF3 · GitLab

[UI] Visualization of Virtual Links

#2659 · opened Dec 05, 2020 by Simon Barner Backlog State::New Type::Feature
- 1
updated Dec 05, 2020
[Analysis] fake enum values in nusmv enums

#2657 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::New Type::Support
- 0
updated Dec 05, 2020
Constraint-based development process

#2620 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::In Progress Type::Feature
- 2
updated Dec 05, 2020
[GUI] Multi-line components

#2588 · opened Dec 05, 2020 by Dummy AF3-Dev AF4 Requirements State::New Type::Feature
- 8
updated Dec 05, 2020
KISS: ObjectAware2ServiceBase and ObjectAwareServiceBase to inherit from IIntrospectiveKernelService

#2566 · opened Dec 05, 2020 by Simon Barner Backlog Jul 4, 2016 State::In Progress Type::Change Request 30m
- 5
updated Dec 05, 2020
Improve the export of the DataDictionary (or its subtypes) to libraries

#2398 · opened Aug 03, 2015 by Alexander Diewald Backlog Prio::High State::New Type::Change Request
- 1
updated Dec 05, 2020
Handle complex copy&paste operations in the tooling plugins

#2343 · opened Jun 02, 2015 by Alexander Diewald AF4 Requirements State::New Type::Feature 4h
- 2
updated Dec 05, 2020
MIRA: rework MIRA documentation

#2332 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::New Type::Support
- 5
updated Dec 05, 2020
Safe Plugin Integration

#2306 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- 0
updated Dec 05, 2020
[Kernel] Provide generic keyboard shortcut facility

#2284 · opened Dec 05, 2020 by Dummy AF3-Dev AF3 2.19 - Feature Freeze State::Feedback Requested Type::Change Request
- 4
updated Jan 11, 2021
EObjectAwareServiceBase: Provide accumulating implementation of getRegisteredHandlers()

#2270 · opened Dec 05, 2020 by Simon Barner Backlog State::In Progress Type::Feature
- 2
updated Dec 05, 2020
Refactor compositors to allow state-based implementation of canConnect() / connect() etc.

#2234 · opened Dec 05, 2020 by Simon Barner AF4 Requirements State::New Type::Change Request
- 3
updated Dec 05, 2020
[patch] ElementCompositorService: emit custom notification after finalization of compose() / decompose

#2183 · opened Dec 05, 2020 by Simon Barner Backlog Prio::High State::In Progress Type::Support
- 2
updated Dec 05, 2020
Allow C files as a specification

#2145 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::New Type::Feature
- 3
updated Dec 05, 2020
[Analyses/Simulation] Looping simulations

#2128 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::New Type::Feature
- 1
updated Dec 05, 2020
DSE-related documentation

#2078 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::New Type::Support
- 1
updated Dec 05, 2020
Check all places where Auto-completion could be improved/implemented

#1957 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::In Progress Type::Change Request
- 6
updated Dec 05, 2020
Property window disappears

#1912 · opened Dec 05, 2020 by Dummy AF3-Dev AF3 2.19 - Critical Bugs Fixed State::New Type::Bug
- 5
updated Jan 12, 2021
Model checking clean components of a not-clean model

#1762 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::New Type::Feature
- 2
updated Dec 05, 2020
JUnit Tests for SMT-based Deployment

#1595 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::New Type::Support
- 0
updated Dec 05, 2020

Prev
1
…
9
10
11
12
13
14
Next