Skip to content
GitLab
Explore
Sign in
af3
AF3
Merge requests
Open
3
Merged
5
Closed
5
All
13
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Priority
Resolve "[thesis] Import verification results for illegal method call sequences"
!3
· created
Dec 06, 2020
by
Alexander Diewald
AF3 2.18 - Feature Freeze
State::Rejected
Type::Feature
Closed
0
updated
Dec 06, 2020
4154: Resolve "DSE Synthesis View: Remember currently selected synthesis type"
!62
· created
Sep 28, 2021
by
Simon Barner
AF3 2.20 - Feature Freeze
Type::Feature
Closed
0
updated
Sep 28, 2021
Draft: Resolve "[safety-maintenance] Automatic modification detection (change in GSN)"
!51
· created
Aug 24, 2021
by
Liana Soima
AF3 2.20 - Feature Freeze
State::In Progress
Type::Feature
Closed
1
updated
Sep 01, 2021
MIRA: Display icons in RequirementsOverviewFXEditor
!48
· created
Aug 05, 2021
by
Andreas Bayha
AF3 2.20 - Feature Freeze
Type::Feature
Merged
0
updated
Sep 13, 2021
Draft: Resolve "[safety-maintenance] Automatic modification detection (change in GSN)"
!46
· created
Jul 13, 2021
by
Liana Soima
AF3 2.20 - Feature Freeze
Area: Safety Cases
State::Resolved
Type::Feature
1
updated
Aug 06, 2021
Implement navigateTo in Data Dictionary editor
!91
· created
Feb 19, 2022
by
Ulrich Schöpp
AF3 2.21 - Feature Freeze
State::Feedback Requested
Type::Feature
Merged
3
updated
Feb 23, 2022
Integration of the SysML exporter plugins into af3 git as submodules.
!146
· created
Aug 01, 2023
by
Sebastian Bergemann
AF3 2.24 - Feature Freeze
Type::Feature
Merged
Approved
6
updated
Oct 23, 2023
Draft: Resolve "SysML Exporter"
!144
· created
Jul 28, 2023
by
Konstantin Blaschke
Type::Feature
Closed
0
updated
Aug 01, 2023
4296: Updated automated rosco config file generation to ros2
!137
· created
Feb 27, 2023
by
Eddie Groh
Area::FF1
State::Feedback Requested
Type::Feature
Approved
11
updated
Mar 12, 2024
Adding Requirement to Requirement and Requirement to Component allocation tables
!123
· created
Oct 20, 2022
by
Konstantin Blaschke
Type::Feature
1
updated
Jan 15, 2024
Draft: Resolve "Add Tasks as Reuse Element"
!84
· created
Jan 12, 2022
by
Sebastian Bergemann
Type::Feature
Closed
0
updated
Jan 12, 2022
4114
!34
· created
Mar 17, 2021
by
Liana Soima
Area: Safety Cases
State::Resolved
Type::Feature
Merged
Approved
1
updated
Apr 21, 2021
4098: ComponentArchitecture transformation: enable selection of leaf components
!18
· created
Jan 27, 2021
by
Simon Barner
AF3 2.19 - Feature Freeze
Type::Feature
Merged
1
updated
Feb 02, 2021