Skip to content
GitLab
Explore
Sign in
af3
AF3
Merge requests
Open
12
Merged
139
Closed
23
All
174
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}}
Updated date
4123: Fix generation and visualization of UNSAT cores
!35
· created
Apr 16, 2021
by
Simon Barner
Merged
1
updated
Apr 21, 2021
[4103] make af3_cc init nonblocking
!23
· created
Feb 09, 2021
by
Florian Dollinger
Merged
4
updated
Apr 21, 2021
Implementation of Filtering Mechanism in DataDictionary
!15
· created
Jan 12, 2021
by
Saad bin Abid
AF3 2.19 - Critical Bugs Fixed
Hackathon
Merged
Approved
2
updated
Apr 21, 2021
4114
!34
· created
Mar 17, 2021
by
Liana Soima
Area: Safety Cases
State::Resolved
Type::Feature
Merged
Approved
1
updated
Apr 21, 2021
[4127] DSE: Enable import of partition architectures
!38
· created
May 18, 2021
by
Tiziano Munaro
Merged
1
updated
May 28, 2021
[DSE] Consider partitions only if they are actually used
!41
· created
Jun 22, 2021
by
Tiziano Munaro
AF3 2.20 - Critical Bug fixed
Merged
0
updated
Jun 22, 2021
[4110] Made init more verbose
!45
· created
Jul 06, 2021
by
Florian Dollinger
Merged
1
updated
Aug 16, 2021
[#4112] Add an FMU Package Export for ROS Co-Simulation
!47
· created
Jul 22, 2021
by
Florian Dollinger
Merged
Approved
1
updated
Sep 07, 2021
4130: Solution exporter for Task Architectures
!53
· created
Sep 06, 2021
by
Simon Barner
AF3 2.20 - Feature Freeze
Merged
Approved
0
updated
Sep 08, 2021
[FMU Export] Ensure that the sampling time is defined when exporting FMUs
!56
· created
Sep 09, 2021
by
Tiziano Munaro
AF3 2.20 - Feature Freeze
Merged
Approved
0
updated
Sep 10, 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
MIRA: Fixed editing issue in RequirementsOverviewEditor
!43
· created
Jul 01, 2021
by
Andreas Bayha
AF3 2.20 - Feature Freeze
Type::Bug
Merged
1
updated
Sep 13, 2021
[FMI] Extend config.json: Which exposed complex ports belong to which structure members
!55
· created
Sep 09, 2021
by
Irina Muntean
Merged
Approved
1
updated
Sep 14, 2021
4139: Fix export of solutions that contain schedules and improve visualization UI
!58
· created
Sep 15, 2021
by
Simon Barner
AF3 2.20 - Feature Freeze
Merged
0
updated
Sep 15, 2021
4092: Implement a JFX controller for the creation and visualization of reference lists
!59
· created
Sep 21, 2021
by
Simon Barner
AF3 2.20 - Feature Freeze
Merged
0
updated
Sep 22, 2021
4134: Architecture synthesis related adaptation DSE implementation
!54
· created
Sep 06, 2021
by
Simon Barner
Merged
0
updated
Sep 24, 2021
MIRA: Fixed refresh behavior on model changes
!49
· created
Aug 23, 2021
by
Andreas Bayha
AF3 2.20 - Critical Bug fixed
Merged
Approved
0
updated
Sep 28, 2021
Enable to allocate logical ports to more than one task port
!61
· created
Sep 27, 2021
by
Tiziano Munaro
Merged
0
updated
Sep 28, 2021
4154: Resolve "DSE Synthesis View: Remember currently selected synthesis type"
!63
· created
Sep 28, 2021
by
Simon Barner
AF3 2.20 - Feature Freeze
Merged
0
updated
Sep 29, 2021
[FMI] Do not assume task ports are named like the allocated component ports
!65
· created
Sep 30, 2021
by
Tiziano Munaro
Merged
1
updated
Oct 01, 2021
Prev
1
2
3
4
5
6
7
Next