Linearize: utilisation d'une heuristique externe d'enumeration des noeuds du CFG
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@437 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- backend/Linearize.v 68 additions, 39 deletionsbackend/Linearize.v
- backend/Linearizeproof.v 174 additions, 106 deletionsbackend/Linearizeproof.v
- backend/Linearizetyping.v 15 additions, 13 deletionsbackend/Linearizetyping.v
- caml/Linearizeaux.ml 83 additions, 0 deletionscaml/Linearizeaux.ml
- common/Main.v 4 additions, 4 deletionscommon/Main.v
- extraction/.depend 15 additions, 12 deletionsextraction/.depend
- extraction/Linearize.ml.patch 0 additions, 22 deletionsextraction/Linearize.ml.patch
- extraction/Makefile 1 addition, 1 deletionextraction/Makefile
- extraction/extraction.v 3 additions, 0 deletionsextraction/extraction.v
Loading
Please register or sign in to comment