Issues · af3 / AF3 · GitLab

Flushing out the constraint instances from XMI file

#3121 · opened Dec 05, 2020 by Saad bin Abid AF3 2.19 - Critical Bugs Fixed State::In Progress Type::Bug
- CLOSED
- 3
updated Jan 12, 2021
Wrong schedule transformation from SingleExplorationSolution

#4084 · opened Dec 05, 2020 by Johannes Eder AF3 2.19 - Critical Bugs Fixed State::Resolved Type::Bug
- CLOSED
- 4
updated Jan 12, 2021
reaction field in the text display in operator panel not setting correctly

#4011 · opened Dec 05, 2020 by Saad bin Abid AF3 2.19 - Critical Bugs Fixed State::Feedback Requested Type::Bug
- CLOSED
- 6
updated Jan 11, 2021
[OBC-SA] Code Generation

#3187 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 1
updated Jan 11, 2021
[OBC-SA]VMIT Generation

#3186 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 1
updated Jan 11, 2021
[OBC-SA] Create a OBC-SA Technical Architecture

#3185 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 2
updated Jan 11, 2021
[OBC-SA]Temporal Partitioning

#3184 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 1
updated Jan 11, 2021
[OBC-SA]Spatial Partitioning (1:1)

#3183 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 1
updated Jan 11, 2021
[OBC-SA] Code and Config Generation for PikeOS

#3181 · opened Dec 05, 2020 by Dummy AF3-Dev State::Feedback Requested Type::Feature 1w 2d 4h
- CLOSED
- 2
updated Jan 11, 2021
[OBC-SA] All Issues

#2852 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 1
updated Jan 11, 2021
[OBC-SA] Einbindung von externen C-Dateien

#2850 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 0
updated Jan 11, 2021
[OBC-SA] Middleware API File

#2849 · opened Dec 05, 2020 by Dummy AF3-Dev State::New Type::Feature
- CLOSED
- 0
updated Jan 11, 2021
Update and integrate the DseML text editor

#3694 · opened Mar 21, 2019 by Alexander Diewald Backlog JavaFX State::Feedback Requested Type::Feature 2d 4h
- CLOSED
- 3
updated Jan 11, 2021
[safety-documentation] Documentation for safety cases

#3157 · opened Dec 05, 2020 by Carmen Carlan AF3 2.19 - Feature Freeze State::Feedback Requested Type::Support
- CLOSED
- 2
updated Jan 11, 2021
include all subcontracts for refinement

#3231 · opened Dec 05, 2020 by Dummy AF3-Dev Backlog State::Feedback Requested Type::Feature
- CLOSED
- 3
updated Jan 11, 2021
Catch exceptions for OCRA constraints

#3313 · opened Dec 05, 2020 by Dummy AF3-Dev AF3 2.19 - Critical Bugs Fixed State::Feedback Requested Type::Bug
- CLOSED
- 2
updated Jan 11, 2021
FV does not work when array index is a variable

#3497 · opened Dec 05, 2020 by Dummy AF3-Dev AF3 2.19 - Critical Bugs Fixed State::Feedback Requested Type::Bug
- CLOSED
- 2
updated Jan 11, 2021
Implementation of Platform Exploration for the generic platform

#3567 · opened Dec 05, 2020 by Johannes Eder Backlog State::Feedback Requested Type::Feature
- CLOSED
- 1
updated Jan 11, 2021
Nested structures in transformation

#3759 · opened Dec 05, 2020 by Dummy AF3-Dev AF3 2.19 - Critical Bugs Fixed State::Feedback Requested Type::Bug
- CLOSED
- 2
updated Jan 11, 2021
Cleanup dependencies by consistently using re-export.

#3767 · opened Dec 05, 2020 by Dummy AF3-Dev AF3 2.19 - Feature Freeze Area::Product maintainance State::Feedback Requested Type::Support 1h
- CLOSED
- 3
updated Jan 11, 2021

Prev
1
2
3
4
5
…
152
Next