Skip to content
GitLab
Explore
Sign in
af3
Merge requests
Open
28
Merged
549
Closed
39
All
616
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}}
Title
Throw new exceptions: identical named components w different ports/empty components
af3!79
· created
Dec 09, 2021
by
Irina Muntean
Merged
1
updated
Jan 17, 2022
The product fix for Linux
kernel!52
· created
Apr 30, 2019
by
Alexander Diewald
Merged
0
updated
May 03, 2019
The documentation of the exporter added
af3-rcp!5
· created
Jul 11, 2019
by
Ghost User
Merged
11
updated
Sep 30, 2019
Test case generator for DSE problems
kernel!117
· created
May 18, 2020
by
Alexander Diewald
Code-Reviewed
Verified
Merged
0
updated
Jun 02, 2020
TEST 3915
af3!17
· created
Jan 13, 2021
by
Simon Barner
Closed
1
updated
Feb 03, 2021
Test
kernel!58
· created
Jun 11, 2019
by
Alexander Diewald
Closed
0
updated
Aug 12, 2019
Task mapping encoding cleanup
exploration-alg!10
· created
Mar 20, 2019
by
Alexander Diewald
Merged
0
updated
Mar 20, 2019
Task ex u mapping
exploration-alg!13
· created
Mar 31, 2019
by
Alexander Diewald
Merged
0
updated
Mar 31, 2019
Task 4006 online help content
af3-rcp!31
· created
May 04, 2020
by
Saad bin Abid
Merged
0
updated
Jun 24, 2020
Target Platform: added org.eclipse.elk to target platform.
target-definition!6
· created
Nov 26, 2019
by
Florian Hölzl
Merged
0
updated
Nov 28, 2019
SysML atomic data types refactoring
af3!167
· created
Jan 15, 2024
by
Konstantin Blaschke
AF3 2.25 - New Feature Hackathon
Hackathon
0
updated
Jan 15, 2024
Split the assurance case documentation into different pages
af3-rcp!16
· created
Oct 15, 2019
by
Carmen Carlan
Code-reviewed
Verified
Merged
0
updated
Oct 16, 2019
Setting up Metric extraction plugin for AF3 : Issue 4310
kernel!210
· created
Oct 09, 2023
by
Konstantin Blaschke
AF3 2.24 - Feature Freeze
Merged
0
updated
Oct 20, 2023
Set Safety Standard for the ACC Example
af3-rcp!37
· created
Oct 09, 2020
by
Alexander Diewald
Merged
0
updated
Oct 09, 2020
Set getAllReferencesSetting to public for TaskReuseProvider
kernel!167
· created
Jan 12, 2022
by
Sebastian Bergemann
Merged
Approved
0
updated
Jan 18, 2022
selectAll(): make private and return empty list instead of null
kernel!28
· created
Oct 05, 2018
by
Simon Barner
Merged
0
updated
Oct 05, 2018
Rover partition generation
exploration-alg!3
· created
Sep 13, 2018
by
Alexander Diewald
Merged
0
updated
Sep 13, 2018
Rework migration service
kernel!62
· created
Aug 27, 2019
by
Alexander Diewald
Merged
0
updated
Sep 03, 2019
Reuse Plugin: Moved developer info from user docu into developer docu
kernel!173
· created
Apr 28, 2022
by
Sebastian Bergemann
Merged
Approved
1
updated
Aug 22, 2022
Resolve "[thesis] Import verification results for illegal method call sequences"
af3!3
· created
Dec 06, 2020
by
Alexander Diewald
AF3 2.18 - Feature Freeze
State::Rejected
Type::Feature
Closed
0
updated
Dec 06, 2020
Prev
1
2
3
4
5
6
…
31
Next