|
|
# What is RefacCert ?
|
|
|
|
|
|
RefacCert is a project to build a "proven correct" refactoring tool for C source code. It is based on CompCert C : http://compcert.inria.fr .
|
|
|
RefacCert is a project to explore the idea of a "proven correct" refactoring tool for C source code. It is based on CompCert C : http://compcert.inria.fr .
|
|
|
|
|
|
|
|
|
# Contract
|
... | ... | |