The Higher Education and Research forge

Home My Page Projects Code Snippets Project Openings AADL2Fiacre
Summary Activity SCM

SCM Upgrade Information

scm_upgrade_instructions_details

Anonymous Access

Exemple for aadl2fiacre :

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

Developer Access

Substitute developername with the proper value.

Exemple for aadl2fiacre :

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


Project description

Repository for the AADL converter to Fiacre verification dedicated language.

Project Information

Tags: AADL, modelisation, Transformation de modeles, model checking, verification formelle


This project has not yet categorized itself in the Trove Software Map Registered: 2015-07-09 21:50
Public Tools
SCM Repository (Git: 10 updates, 1,911 adds)
Project Members
Project Admins

Members:

View the 12 Member(s)

Request to join