Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
A
AF3
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 261
    • Issues 261
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 7
    • Merge Requests 7
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
  • Analytics
    • Analytics
    • CI/CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • af3
  • AF3
  • Repository
  • Branches

  • Overview
  • Active
  • Stale
  • All
  • Sort by
  • Name
  • Oldest updated
  • Last updated
  • 4124
    25bebdae · 2.18 -> 2.19 · Apr 19, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4123
    f7652e61 · GREEN (only small comment changes) · Apr 16, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 1536
    a0399114 · Updated the rating file DataDictornaryFXEditorContentProvider class · Apr 16, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4103
    59a742f2 · Merge remote-tracking branch 'origin/master' into 4103 · Apr 14, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4112
    f726c07f · plugin.xml · Apr 14, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4085
    e4b5f2c3 · Merge remote-tracking branch 'origin/master' into 4085 · Apr 09, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4044
    033b5990 · Merge remote-tracking branch 'origin/master' into 4044 · Apr 09, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4065
    99aa3f9e · Fix extraction of UNSAT cores · Apr 01, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4114
    83454b10 · Code review: to green · Apr 01, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • master default protected
    7a04b8e2 · Merge branch '4047' into 'master' · Mar 10, 2021
    Download source code
    zip tar.gz tar.bz2 tar
  • 3776
    9b8d9843 · Variability: Added variability to Ports and Modes · Mar 10, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4019
    42e054b6 · Edit Context Menu Library · Feb 20, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4110
    375a71b0 · YELLOW · Feb 15, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 3899
    e4e30720 · Adapt SystemFOCUS implementation of the code editor · Jan 12, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 3915
    1db1c570 · WIP: Fix build by adapting to interface of superclass · Jan 12, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 3958-migrate-glossaryentry-editor-to-fx-or-integrate-in-owerview merged
    6d10e67b · Merge branch '4094' into 'master' · Jan 08, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4096-mira-error-mesage-for-duplicate-id-incorrect merged
    6d10e67b · Merge branch '4094' into 'master' · Jan 08, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 3922
    5c34b6b6 · Adapt to kernel changes · Dec 09, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4089
    e714d535 · Fix Syntax Mistakes in the CI File · Dec 08, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4088
    2564fb7f · Introduce a pointer from a resource allocation to its task or signal · Dec 02, 2020
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Next

Delete protected branch '[branch name]'?

You’re about to permanently delete the protected branch [branch name].

This branch hasn’t been merged into master . To avoid data loss, consider merging this branch before deleting it.

Once you confirm and press Delete protected branch , it cannot be undone or recovered.

To confirm, type [branch name] :

Delete protected branch