The Higher Education and Research forge

Home My Page Projects Code Snippets Project Openings TaPAS
Summary Activity SCM Listes Sympa

SCM Upgrade Information

scm_upgrade_instructions_details

Anonymous Access

Exemple for tapas :

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

Developer Access

Substitute developername with the proper value.

Exemple for tapas :

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


Project description

TaPAS is the Talence Presburger Arithmetic Suite.

This project contains C libraries for the manipulation and decision of formulas expressed in the Presburger arithmetic.

Public Tools
SCM Repository (Git: 4 updates, 3 adds)
Project Members