First version is out !

Added by Julien COHEN about 3 years ago

The first version of RefacCert is out.

You can download the sources in the "Files" or "Fichiers" tab.

We provide an operation that renames global variables. The correctness (bisimulation) of the core operation is proven.

The limitations of the tool are described on the wiki tab.

The hypotheses necessary for the correctness are described in Correctness.v .