Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Source Code Repository for Why3

Documentation for Git is available at http://git-scm.com/.

Anonymous Access

This project's Git repository can be checked out through anonymous access with the following command.

git clone https://scm.gforge.inria.fr/anonscm/git/why3/why3.git

Member repository

One of this project's members also has a personal Git repository that can be checked out anonymously.

git clone https://scm.gforge.inria.fr/anonscm/git/why3/users/desousa.git (Simão Melo de Sousa)

Developer Access

via SSH

Only project developers can access the Git repository via this method. SSH must be installed on your client machine. Substitute developername with the proper value.

git clone git+ssh://developername@scm.gforge.inria.fr/gitroot/why3/why3.git

via "smart HTTP"

Only project developers can access the Git repository via this method. Enter your site password when prompted.

git clone https://developername@scm.gforge.inria.fr/authscm/developername/git/why3/why3.git

Git Repository Browser

Browsing the Git tree gives you a view into the current status of this project's code. You may also view the complete history of any file in the repository.

[Browse main git repository]

[Browse personal git repository: desousa]
Repository History
Data about current and past states of the repository.
Name Adds Updates
Andrei Paskevich 823 9809
Claude Marché 161 1960
Guillaume Melquiond 96 1784
Clément Fumex 77 916
Martin Clochard 317 640
Sylvain Dailler 41 494
Jean-Christophe Filliâtre 240 240
David Hauzar 26 428
Raphaël Rieu-Helft 53 278
Lucas Baudin 77 250
Johannes Kanig 40 146
Kim Nguyen 10 124
Asma Tafat 56 60
Francois Bobot 9 102
Thi Minh Tuyen Nguyen 40 32
Mário Pereira 13 57
NGUYEN Thi Minh Tuyen 20 14
Piotr Trojanek 0 14
Daisuke Ishii 2 6
Jacques-Pascal Deplaix 0 8
Sylvie Boldo 4 3
Ralf Treinen 0 6
Benjamin Monate 0 4
David Mentré 1 2
Denis Cousineau 0 3
Simão Melo de Sousa 0 3
Fabrice Peix 0 2
Yannick Moy 0 2
Florian Schanda 0 1
Total: 2106 17388