Issues · af3 · GitLab

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