Merge requests · af3 / AF3 · GitLab

Draft: 3946: Remove unused GEF/SWT editors/views

!75 · created Nov 19, 2021 by Simon Barner
updated Nov 19, 2021
4172: Z3: Update to version 4.8.12 and remove unused 32 bit support

!74 · created Nov 12, 2021 by Simon Barner
updated Nov 12, 2021
Variability in Logical Architecture

!69 · created Oct 08, 2021 by Andreas Bayha AF3 2.20 - Feature Freeze
updated Nov 05, 2021
Merge 3744

!52 · created Aug 31, 2021 by Simon Barner AF3 2.20 - Feature Freeze
updated Sep 01, 2021
Draft: Resolve "[safety-maintenance] Automatic modification detection (change in GSN)"

!46 · created Jul 13, 2021 by Liana Soima AF3 2.20 - Feature Freeze Area: Safety Cases State::Resolved Type::Feature
updated Aug 06, 2021
4132: Enable to optionally select individual elements during DSE import

!42 · created Jun 25, 2021 by Simon Barner AF3 2.20 - Feature Freeze
updated Sep 15, 2021
Draft: [4085] DSE: Modify the exploration backend to support multi-rate schedules

!40 · created Jun 01, 2021 by Tiziano Munaro AF3 2.20 - Feature Freeze
updated Nov 25, 2021
4126: Sort entries according to model element ID and fully qualified name

!37 · created May 05, 2021 by Simon Barner AF3 2.20 - Feature Freeze
updated Jun 21, 2021
4089

!4 · created Dec 08, 2020 by Alexander Diewald
updated Apr 21, 2021
3767

!2 · created Dec 06, 2020 by Alexander Diewald
updated Dec 06, 2020