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

SCM Upgrade Information

scm_upgrade_instructions_details

Anonymous Access

Exemple for otawa :

cd /path/to/your/local/repository/otawa
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/otawa.git

Exemple for buddybdd :

cd /path/to/your/local/repository/buddybdd
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/buddybdd.git

Exemple for gel :

cd /path/to/your/local/repository/gel
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/gel.git

Exemple for otawa-arm :

cd /path/to/your/local/repository/otawa-arm
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/otawa-arm.git

Exemple for otawa-cplex :

cd /path/to/your/local/repository/otawa-cplex
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/otawa-cplex.git

Exemple for otawa-lp_solve5 :

cd /path/to/your/local/repository/otawa-lp_solve5
git remote rm origin && git remote add origin https//git.renater.fr/anonscm/git/otawa/otawa-lp_solve5.git

Developer Access

Substitute developername with the proper value.

Exemple for otawa :

cd /path/to/your/local/repository/otawa
git remote rm origin && git remote add origin git+ssh://developername@git.renater.fr:2222/scmrepos/git/otawa/otawa.git
# Il sera probablement nécessaire de faire un pull avant tout commit :
git pull origin <branch>


Exemple for buddybdd :

cd /path/to/your/local/repository/buddybdd
git remote rm origin && git remote add origin git+ssh://developername@git.renater.fr:2222/scmrepos/git/otawa/buddybdd.git
# Il sera probablement nécessaire de faire un pull avant tout commit :
git pull origin <branch>


Exemple for gel :

cd /path/to/your/local/repository/gel
git remote rm origin && git remote add origin git+ssh://developername@git.renater.fr:2222/scmrepos/git/otawa/gel.git
# Il sera probablement nécessaire de faire un pull avant tout commit :
git pull origin <branch>


Exemple for otawa-arm :

cd /path/to/your/local/repository/otawa-arm
git remote rm origin && git remote add origin git+ssh://developername@git.renater.fr:2222/scmrepos/git/otawa/otawa-arm.git
# Il sera probablement nécessaire de faire un pull avant tout commit :
git pull origin <branch>


Exemple for otawa-cplex :

cd /path/to/your/local/repository/otawa-cplex
git remote rm origin && git remote add origin git+ssh://developername@git.renater.fr:2222/scmrepos/git/otawa/otawa-cplex.git
# Il sera probablement nécessaire de faire un pull avant tout commit :
git pull origin <branch>


Exemple for otawa-lp_solve5 :

cd /path/to/your/local/repository/otawa-lp_solve5
git remote rm origin && git remote add origin git+ssh://developername@git.renater.fr:2222/scmrepos/git/otawa/otawa-lp_solve5.git
# Il sera probablement nécessaire de faire un pull avant tout commit :
git pull origin <branch>


Project description

OTAWA stands for Open Tool for Adaptive WCET (Worst Case Execution Time) Analysis. OTAWA is a C++ framework with the ability to process binary files and to perform several analyses to compute WCET. WCET is an important component used in the verification and scheduling of real-time applications.

Public Tools
Tracker Tracker
There are no trackers available
Public Forums (7 messages in 1 forum)
Document Manager (0 documents in 0 directories)
Tasks
There are no subprojects available
Surveys (0 surveys)
SCM Repository (Git: 37 updates, 20 adds)
Project Members
Project Admins

Members:

View the 4 Member(s)

Request to join

Latest News
rss

No news found.