The Higher Education and Research forge

Home My Page Projects Code Snippets Project Openings OTAWA
Summary Activity Forums Tracker Tasks Docs Surveys News SCM Dokuwiki Mantis Nuxeo

Source Code Repository for OTAWA

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

Anonymous Access

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

git clone https://git.renater.fr/anonscm/git/otawa/otawa.git
git clone https://git.renater.fr/anonscm/git/otawa/adtree.git
git clone https://git.renater.fr/anonscm/git/otawa/buddybdd.git
git clone https://git.renater.fr/anonscm/git/otawa/cortex-a8.git
git clone https://git.renater.fr/anonscm/git/otawa/exp.git
git clone https://git.renater.fr/anonscm/git/otawa/gel.git
git clone https://git.renater.fr/anonscm/git/otawa/gelpp.git
git clone https://git.renater.fr/anonscm/git/otawa/lpc2138.git
git clone https://git.renater.fr/anonscm/git/otawa/lp_solve5.git
git clone https://git.renater.fr/anonscm/git/otawa/oatwa-oldxdd.git
git clone https://git.renater.fr/anonscm/git/otawa/obviews.git
git clone https://git.renater.fr/anonscm/git/otawa/ogensim.git
git clone https://git.renater.fr/anonscm/git/otawa/ojawa.git
git clone https://git.renater.fr/anonscm/git/otawa/opathfinder.git
git clone https://git.renater.fr/anonscm/git/otawa/opython.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-arm.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-branch.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-clp.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-cplex.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-dcache.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-doc.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-ets.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-icat.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-leon.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-lp_solve5.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-minotaur.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-mpc5554.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-multi.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-oldxdd.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-oslice.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-ppc.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-python.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-riscv.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-sparc.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-tricore.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-website.git
git clone https://git.renater.fr/anonscm/git/otawa/otawa-xdd.git
git clone https://git.renater.fr/anonscm/git/otawa/otest.git
git clone https://git.renater.fr/anonscm/git/otawa/pidcache.git
git clone https://git.renater.fr/anonscm/git/otawa/tricore-1798.git
git clone https://git.renater.fr/anonscm/git/otawa/v1.git

Developer Access

Only project developers can access the Git repositories via this method.

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

git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/adtree.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/buddybdd.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/cortex-a8.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/exp.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/gel.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/gelpp.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/lpc2138.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/lp_solve5.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/oatwa-oldxdd.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/obviews.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/ogensim.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/ojawa.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/opathfinder.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/opython.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-arm.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-branch.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-clp.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-cplex.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-dcache.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-doc.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-ets.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-icat.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-leon.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-lp_solve5.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-minotaur.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-mpc5554.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-multi.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-oldxdd.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-oslice.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-ppc.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-python.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-riscv.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-sparc.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-tricore.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-website.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otawa-xdd.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/otest.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/pidcache.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/tricore-1798.git
git clone git+ssh://developername@git.renater.fr:2222/var/lib/fusionforge/chroot/scmrepos/git/otawa/v1.git

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

git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/adtree.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/buddybdd.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/cortex-a8.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/exp.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/gel.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/gelpp.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/lpc2138.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/lp_solve5.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/oatwa-oldxdd.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/obviews.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/ogensim.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/ojawa.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/opathfinder.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/opython.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-arm.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-branch.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-clp.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-cplex.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-dcache.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-doc.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-ets.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-icat.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-leon.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-lp_solve5.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-minotaur.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-mpc5554.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-multi.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-oldxdd.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-oslice.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-ppc.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-python.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-riscv.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-sparc.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-tricore.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-website.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otawa-xdd.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/otest.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/pidcache.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/tricore-1798.git
git clone https://developername@git.renater.fr/authscm/developername/git/otawa/v1.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 extra git repository: adtree]
[Browse extra git repository: buddybdd]
[Browse extra git repository: cortex-a8]
[Browse extra git repository: exp]
[Browse extra git repository: gel]
[Browse extra git repository: gelpp]
[Browse extra git repository: lpc2138]
[Browse extra git repository: lp_solve5]
[Browse extra git repository: oatwa-oldxdd]
[Browse extra git repository: obviews]
[Browse extra git repository: ogensim]
[Browse extra git repository: ojawa]
[Browse extra git repository: opathfinder]
[Browse extra git repository: opython]
[Browse extra git repository: otawa-arm]
[Browse extra git repository: otawa-branch]
[Browse extra git repository: otawa-clp]
[Browse extra git repository: otawa-cplex]
[Browse extra git repository: otawa-dcache]
[Browse extra git repository: otawa-doc]
[Browse extra git repository: otawa-ets]
[Browse extra git repository: otawa-icat]
[Browse extra git repository: otawa-leon]
[Browse extra git repository: otawa-lp_solve5]
[Browse extra git repository: otawa-minotaur]
[Browse extra git repository: otawa-mpc5554]
[Browse extra git repository: otawa-multi]
[Browse extra git repository: otawa-oldxdd]
[Browse extra git repository: otawa-oslice]
[Browse extra git repository: otawa-ppc]
[Browse extra git repository: otawa-python]
[Browse extra git repository: otawa-riscv]
[Browse extra git repository: otawa-sparc]
[Browse extra git repository: otawa-tricore]
[Browse extra git repository: otawa-website]
[Browse extra git repository: otawa-xdd]
[Browse extra git repository: otest]
[Browse extra git repository: pidcache]
[Browse extra git repository: tricore-1798]
[Browse extra git repository: v1]
Repository History
Data about current and past states of the repository.
Name Adds Updates
buddybdd statistics
2 0
Total: 2 0
exp statistics
0 16
Total: 0 16
gel statistics
0 4
0 1
Total: 0 5
gelpp statistics
7 40
6 4
Total: 13 44
lpc2138 statistics
13 50
Total: 13 50
lp_solve5 statistics
102 0
Total: 102 0
obviews statistics
8 35
0 1
Total: 8 36
opathfinder statistics
0 6
0 5
Total: 0 11
opython statistics
6 1
Total: 6 1
otawa statistics
44 477
0 13
0 11
0 7
1 6
2 3
Total: 47 517
otawa-arm statistics
1 33
0 1
Total: 1 34
otawa-branch statistics
41 56
Total: 41 56
otawa-clp statistics
23 74
0 13
Total: 23 87
otawa-cplex statistics
11 2
Total: 11 2
otawa-dcache statistics
36 102
0 4
Total: 36 106
otawa-doc statistics
76 23
Total: 76 23
otawa-ets statistics
3 0
Total: 3 0
otawa-icat statistics
1 74
0 10
Total: 1 84
otawa-lp_solve5 statistics
0 3
0 1
Total: 0 4
otawa-minotaur statistics
15 38
Total: 15 38
otawa-multi statistics
0 27
2 23
0 6
Total: 2 56
otawa-python statistics
30 76
Total: 30 76
otawa-riscv statistics
7 17
Total: 7 17
otawa-website statistics
78 43
Total: 78 43
otawa-xdd statistics
70 547
33 11
Total: 103 558