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