Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • A AF3
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 232
    • Issues 232
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 11
    • Merge requests 11
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • af3
  • AF3
  • Repository
  • Branches
  • Overview
  • Active
  • Stale
  • All
  • spl-manager
    1837e1be · Renamed Features to LLI wording in UI · Aug 10, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4246
    4d1b4d02 · Examples: Removed VerifBehaviourComponentSpecification · Aug 10, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 3862
    12212869 · RED (1 FIXME) · Aug 10, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4245
    8ed870e8 · Refactor org.fortiss.af3.ff1.generator plug-ins · Aug 09, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4244
    410f97a5 · Variability: Made variability available in non-expert mode · Aug 09, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4146
    1273ea58 · Variability: Added product-line analysis to component · Aug 09, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4222
    cdb26c22 · WIP: add a small hack to ignore routes but consider signal start and · Aug 03, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4236
    68db0bcd · Update coupling optimization (non-critical coupling) · Aug 03, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4242
    aabd5476 · Fix: HazardDefinitionContraint -> HazardDefinitionConstraint · Aug 02, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4241
    b672adaf · Consistently use DataDictionaryUtils::findDataDictionary() · Jun 15, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4085
    06434a20 · Merge remote-tracking branch 'origin/master' into 4085 · Jun 14, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • master default protected
    5322ecda · Merge branch '4239' into 'master' · Jun 03, 2022
    Download source code
    zip tar.gz tar.bz2 tar
  • 4177
    c58a7a94 · Merge branch '4065' of https://git.fortiss.org/af3/af3.git into 4177 · Apr 12, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4173
    7e5150a1 · Added JUnit tests for complex ports. · Jan 24, 2022
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4188
    c9362c1c · Retire constructors that allow to specify EAttribute or EReference · Dec 15, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4172
    af4f2e1d · Apply patchelf also to libz3.so · Nov 12, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4151
    06fb7bb9 · Added ReuseLibraryLocationProvider to enable PersistencyService (draft) · Oct 08, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4137
    6156f15b · Merge branch '3776' into 4137 · Sep 22, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4147-fix-icons-in-requirement-editor-do-not-vanish-correctly-when-collapsing-row-items merged
    d30a1d7c · Merge branch '4092' into 'master' · Sep 22, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • 4040
    bcd42dfe · Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 4047 · Sep 17, 2021
    Compare
    Download source code
    zip tar.gz tar.bz2 tar
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • Next