Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
af3
  • Group overview
    • Group overview
    • Details
    • Activity
  • Issues 262
    • Issues 262
    • List
    • Board
    • Labels
    • Milestones
  • Merge Requests 12
    • Merge Requests 12
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Dependency Proxy
  • Members
    • Members
Collapse sidebar
  • af3
  • Issues

  • Open 262
  • Closed 3,047
  • All 3,309
  • 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