Nantes Université

Skip to content

GitLab

Explore

Sign in
Register

R

RefacCert

Project information

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

353 Commits
3 Branches
3 Tags
3 Releases

Created on

November 20, 2015

Copy SSH clone URLgit@gitlab.univ-nantes.fr:cohen-j/RefacCert.git
Copy HTTPS clone URLhttps://gitlab.univ-nantes.fr/cohen-j/RefacCert.git

Loading