Nantes Université

Skip to content

GitLab

Explorer

Connexion
S'inscrire

Julien COHEN
RefacCert

R

RefacCert

Identifiant de projet : 402

Ajouter aux favoris 0

353 validations
3 branches
3 étiquettes
3,1 Mo stockage de projet
3 Releases

RefacCert is a project to build a "proven correct" refactoring tool for C source code.

Rechercher un fichier

Télécharger le code source

zip tar.gz tar.bz2 tar

Cloner avec SSH
Cloner avec HTTPS
Ouvrir dans votre IDE
Visual Studio Code (SSH)

Visual Studio Code (HTTPS)

IntelliJ IDEA (SSH)

IntelliJ IDEA (HTTPS)

Copier l'URL de clonage SSHgit@gitlab.univ-nantes.fr:cohen-j/RefacCert.git
Copier l'URL HTTPS de clonagehttps://gitlab.univ-nantes.fr/cohen-j/RefacCert.git