Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
af3
Issues
Open
262
Closed
3,047
All
3,309
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
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Fix generation of unsat cores
af3#4123
· created
Apr 01, 2021
by
Simon Barner
AF3 2.19 - Critical Bugs Fixed
0
updated
Apr 01, 2021
AF3 is not checked out
fortiss-std-env#4
· created
Feb 23, 2021
by
Florian Dollinger
1
updated
Feb 23, 2021
Hierarchical Platform: Connection compositor overhaul
af3#4117
· created
Feb 22, 2021
by
Simon Barner
AF3 2.19 - Feature Freeze
Area:HierarchicalPlatform
Type::Change Request
0
updated
Feb 22, 2021
[safety] Accountability and Assessment for Assurance Case Elements
af3#4115
· created
Feb 20, 2021
by
Carmen Carlan
Area: Safety Cases
State::New
Type::Feature
0
updated
Mar 17, 2021
[safety] Small fixes 2
af3#4114
· created
Feb 20, 2021
by
Carmen Carlan
AF3 2.19 - Feature Freeze
Mar 1, 2021
Area: Safety Cases
State::New
Type::Support
0
updated
Feb 20, 2021
Map Structure members to individual Signals for FMUs
af3#4112
· created
Feb 17, 2021
by
Florian Dollinger
0
updated
Feb 17, 2021
Concurrent Modification Exception when opening large model
af3#4111
· created
Feb 17, 2021
by
Simon Barner
AF3 2.19 - Critical Bugs Fixed
Area::Product maintainance
Type::Bug
0
updated
Feb 17, 2021
[C-Code Generator] More verbose initialization
af3#4110
· created
Feb 15, 2021
by
Florian Dollinger
0
updated
Feb 15, 2021
make af3_cc init nonblocking
af3#4103
· created
Feb 09, 2021
by
Florian Dollinger
AF3 2.19 - Feature Freeze
State::Resolved
Type::Change Request
0
updated
Feb 25, 2021
[Hierarcharchical Platform] Account for clusters when deriving the type size
af3#4100
· created
Feb 05, 2021
by
Tiziano Munaro
AF3 2.19 - Critical Bugs Fixed
Area:HierarchicalPlatform
State::New
Type::Bug
0
updated
Feb 12, 2021
Factorize DefaultExpressionTransformator.createLocationExpression()
af3#4094
· created
Jan 05, 2021
by
Simon Barner
AF3 2.19 - Feature Freeze
Jan 5, 2021
Area::DSE
State::In Progress
Type::Change Request
0
updated
Jan 05, 2021
Implement a JFX controller for the creation and visualization of reference lists
af3#4092
· created
Dec 08, 2020
by
Alexander Diewald
AF3 2.19 - Feature Freeze
Area::Product maintainance
JavaFX
State::New
Type::Feature
1
updated
Jan 11, 2021
Enable multiselect context menus for JFX Tables/Graphical Editors and adapt AF3 implementations
af3#4091
· created
Dec 08, 2020
by
Alexander Diewald
AF3 2.19 - Critical Bugs Fixed
Hackathon
JavaFX
Prio::High
State::New
Type::Bug
1
updated
Jan 11, 2021
Enable exporting Schedules with Partitions from the DSE perspective
af3#4089
· created
Dec 06, 2020
by
Alexander Diewald
Area::DSE
State::Resolved
Type::Feature
1
updated
Jan 11, 2021
Show a signal's sender and receiver in the schedule view's tool-tip
af3#4088
· created
Dec 05, 2020
by
Dummy AF3-Dev
AF3 2.19 - Feature Freeze
State::New
Type::Feature
0
updated
Dec 06, 2020
[safety] Create model from uber safety case
af3#4086
· created
Dec 05, 2020
by
Carmen Carlan
AF3 2.19 - Feature Freeze
Dec 9, 2020
State::New
Type::Feature
0
updated
Dec 06, 2020
Modify the exploration backend to support multi-rate schedules
af3#4085
· created
Dec 05, 2020
by
Dummy AF3-Dev
AF3 2.19 - Feature Freeze
State::In Progress
Type::Change Request
1
updated
Dec 06, 2020
[UI] Implement JavaFX-based graph display
af3#4082
· created
Dec 05, 2020
by
Dummy AF3-Dev
AF3 2.19 - Feature Freeze
Area::Product maintainance
JavaFX
State::New
Type::Change Request
0
updated
Jan 14, 2021
Refresh AF3 examples for release
af3#4069
· created
Dec 05, 2020
by
Simon Barner
Backlog
State::New
Type::Support
2
updated
Dec 05, 2020
Creating a No Migration Constraint - RISE
af3#4065
· created
Dec 05, 2020
by
Saad bin Abid
AF3 2.19 - Feature Freeze
State::New
Type::Feature
0
updated
Apr 01, 2021
Prev
1
2
3
4
5
…
14
Next