Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
AF3
Repository
Branches
Overview
Active
Stale
All
spl-manager
1837e1be
·
Renamed Features to LLI wording in UI
·
Aug 10, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4246
4d1b4d02
·
Examples: Removed VerifBehaviourComponentSpecification
·
Aug 10, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
3862
12212869
·
RED (1 FIXME)
·
Aug 10, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4245
8ed870e8
·
Refactor org.fortiss.af3.ff1.generator plug-ins
·
Aug 09, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4244
410f97a5
·
Variability: Made variability available in non-expert mode
·
Aug 09, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4146
1273ea58
·
Variability: Added product-line analysis to component
·
Aug 09, 2022
Compare
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4236
68db0bcd
·
Update coupling optimization (non-critical coupling)
·
Aug 03, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4242
aabd5476
·
Fix: HazardDefinitionContraint -> HazardDefinitionConstraint
·
Aug 02, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4241
b672adaf
·
Consistently use DataDictionaryUtils::findDataDictionary()
·
Jun 15, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4085
06434a20
·
Merge remote-tracking branch 'origin/master' into 4085
·
Jun 14, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
5322ecda
·
Merge branch '4239' into 'master'
·
Jun 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar