Skip to content
GitLab
Explore
Sign in
af3
AF3
Repository
Branches
Overview
Active
Stale
All
3745
5073c7fc
·
<Utils class edited>
·
Jul 09, 2019
3642
c827b8e3
·
Apply post 2.15 model migrators
·
Jul 09, 2019
3664
0041004f
·
Took care of review by Simon
·
Jul 03, 2019
3734-modes-automata-bugfixes
bf9dbdf2
·
Mode component specifications: context menu for synchronizing ports.
·
Jul 02, 2019
3646
ed43af68
·
Merged master in the feature branch.
·
Jul 02, 2019
3417
0fa471ea
·
Merge remote-tracking branch 'origin/master' into 3417
·
Jun 13, 2019
3522_Security_Simulation_new
27d3224f
·
Issue-ref: 3522
·
May 06, 2019
3567
5c0ed381
·
Merge branch 'master' into 3567
·
May 05, 2019
3708
880a2237
·
Merge remote-tracking branch 'origin/master' into 3708
·
May 02, 2019
3577
f94b8921
·
adaptions for SPEDiT Abschlussevent
·
Apr 25, 2019
3402_dse_tests_QKit
456fc49d
·
Merge branch '3402_dse_tests_QKit' of
https://git.fortiss.org/af3/af3
into 3402_dse_tests_QKit
·
Mar 28, 2019
3634-ColorsExporter
4c47af55
·
Merge branch 'master' of
https://git.fortiss.org/af3/af3.git
into 3634
·
Mar 26, 2019
3170-Typed-Patterns
5aa72a11
·
Signed-off-by: Carmen Carlan <carlan@fortiss.org>
·
Mar 12, 2019
3665-Solution_and_Context_Types
d000fa76
·
Type and state of solution can be set via UI
·
Mar 04, 2019
3402_dse_tests
0e111903
·
Merge branch 'master'
·
Feb 28, 2019
3619
b700ccb5
·
Merge remote-tracking branch 'origin/master' into 3619
·
Feb 22, 2019
3302-CCodeEquivalenceTest-fails
8478bdcc
·
YELLOW
·
Feb 19, 2019
3491-devdoc-refinement
cefb7c72
·
Refinement: finished developer and model documentation.
·
Feb 19, 2019
3630-ReferenceMultiSRToGoal
9f58c599
·
Referencing multiple safety requirements for goals
·
Feb 05, 2019
3628
803555cf
·
Add Linux x64 binary for libstrrdr (for redirection of native streams)
·
Jan 31, 2019
Prev
1
2
3
4
5
Next