From 10/22/2015 to 11/20/2015


04:08 pm First version is out !
The first version of RefacCert is out.
You can download the sources in the "Files" or "Fichiers" tab.
We provi...
Julien COHEN
03:57 pm refaccert-0.1a-licenced-files.tgz
Additional files needed to extract OCaml code and launch the refactoring operation (parsing, pretty printing...). Cop... Julien COHEN
03:53 pm refaccert-0.1a.tgz
Coq source code for the refactoring operation and its proof of correctness (bisimulation). Julien COHEN
« Previous
Next »

Also available in: Atom