Branches · af3 / AF3 · GitLab

Skip to content

GitLab

Menu

Projects Groups Snippets

/
Help
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