Overview

This project uses Git to manage its source code. Instructions on Git use can be found at https://git-scm.com/documentation.

Web Browser Access

The following is a link to a browsable version of the source repository:

https://github.com/LearnLib/learnlib/tree/develop/learnlib-build-parent/learnlib-algorithms-parent/learnlib-algorithms-active-parent/learnlib-ttt-vpda

Anonymous Access

The source can be checked out anonymously from Git with this command (See https://git-scm.com/docs/git-clone):

$ git clone --branch learnlib-0.14.0 git@github.com:LearnLib/learnlib.git

Developer Access

Only project developers can access the Git tree via this method (See https://git-scm.com/docs/git-clone).

$ git clone --branch learnlib-0.14.0 git@github.com:LearnLib/learnlib.git

Access from Behind a Firewall

Refer to the documentation of the SCM used for more information about access behind a firewall.