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