Branches · af3 / AF3 · GitLab

Skip to content

GitLab

Explore

Sign in

af3
AF3
Repository
Branches

Overview
Active
Stale
All

3492_FMEA_to_ADT_ab

48c5e513 · FTA Editor WIP · Aug 01, 2018

Download source code

zip tar.gz tar.bz2 tar
3324-optional_ports

a14c0c75 · Added variability.ui dependency for mode.ui (as required bundle) to be · Aug 24, 2018

Download source code

zip tar.gz tar.bz2 tar
3462_FTA_to_ADT_ab

1018e652 · FTA Editor WIP · Aug 31, 2018

Download source code

zip tar.gz tar.bz2 tar
2679-Exporter_Colors

486712ef · Title to exporter dialog · Sep 03, 2018

Download source code

zip tar.gz tar.bz2 tar
3503_Hazard_Guided_Words

60d48c6a · <mira> Guide Words · Sep 07, 2018

Download source code

zip tar.gz tar.bz2 tar
3300-Constraints_cleanup

3fe1635b · Merge branch 'master' of https://git.fortiss.org/af3/af3.git into 3300-Constraints_cleanup · Sep 26, 2018

Download source code

zip tar.gz tar.bz2 tar
OpenDay

fd6e0e15 · Apply Photon code formatting rules · Oct 02, 2018

Download source code

zip tar.gz tar.bz2 tar
3521_Solutions_Superclass

a81644b0 · Merge branch 'master' into 3521_Solutions_Superclass · Oct 02, 2018

Download source code

zip tar.gz tar.bz2 tar
3522_Security_Simulation

ef062ece · Merge branch 'master' into 3522_Security_Simulation · Oct 02, 2018

Download source code

zip tar.gz tar.bz2 tar
modelsconference

79efc1a8 · Remove dep on swtbot.go --> junit4 build failure · Oct 10, 2018

Download source code

zip tar.gz tar.bz2 tar
3542

45ed4831 · Mock-up · Oct 12, 2018

Download source code

zip tar.gz tar.bz2 tar
3574

36f7e729 · RED · Nov 13, 2018

Download source code

zip tar.gz tar.bz2 tar
3583

6c4d21c3 · Add repo-wide pom file for the tycho generator · Nov 23, 2018

Download source code

zip tar.gz tar.bz2 tar
3476-Testcase_Generation

63da9c7b · Apply Photon code formatting rules. · Nov 26, 2018

Download source code

zip tar.gz tar.bz2 tar
3496-PortToAssumptionContext

976a4eb1 · Small GUI changes in property section · Dec 05, 2018

Download source code

zip tar.gz tar.bz2 tar
1326_code_spec_comments

f1fd82b5 · 1326 code spec comment · Dec 14, 2018

Download source code

zip tar.gz tar.bz2 tar
2806

d2be51d4 · Causal component's ports should not have NoVal · Dec 15, 2018

Download source code

zip tar.gz tar.bz2 tar
3609

57562bd4 · Now structure flattening also works for code spec to code spec · Dec 31, 2018

Download source code

zip tar.gz tar.bz2 tar
3560

d8c73ad4 · Dead code analysis working for a simple example. · Jan 14, 2019

Download source code

zip tar.gz tar.bz2 tar
3628

803555cf · Add Linux x64 binary for libstrrdr (for redirection of native streams) · Jan 31, 2019

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
4
5
Next