The Higher Education and Research forge

Home My Page Projects Code Snippets Project Openings FAST extended release
Summary Activity SCM Listes Sympa

SCM Upgrade Information

scm_upgrade_instructions_details

Anonymous Access

Exemple for faster :

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

Developer Access

Substitute developername with the proper value.

Exemple for faster :

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


Project description

FAST extended release is the sequel of FAST model-checker developped at LSV.
This tools has been extended with TaPAS libraries in order to accept plugins for solvers of
the Presburger arithmetic.

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