Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
AF3
Merge requests
Open
7
Merged
83
Closed
18
All
108
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}}
Created date
4241: Enable adding more than one data dictionary
!110
· created
Jun 10, 2022
by
Simon Barner
AF3 2.22 - Feature Freeze
0
updated
Jun 15, 2022
4172: Z3: Update to version 4.8.12 and remove unused 32 bit support
!74
· created
Nov 12, 2021
by
Simon Barner
0
updated
Nov 12, 2021
Merge 3744
!52
· created
Aug 31, 2021
by
Simon Barner
AF3 2.20 - Feature Freeze
0
updated
Sep 01, 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
Draft: [4085] DSE: Modify the exploration backend to support multi-rate schedules
!40
· created
Jun 01, 2021
by
Tiziano Munaro
Backlog
0
updated
Jun 14, 2022
4089
!4
· created
Dec 08, 2020
by
Alexander Diewald
4
updated
Apr 21, 2021
3767
!2
· created
Dec 06, 2020
by
Alexander Diewald
0
updated
Dec 06, 2020