Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore...
Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore utilisee dans le front-end C. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@647 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- backend/Cminor.v 3 additions, 1 deletionbackend/Cminor.v
- backend/Constprop.v 8 additions, 0 deletionsbackend/Constprop.v
- backend/Op.v 6 additions, 1 deletionbackend/Op.v
- backend/PPC.v 29 additions, 2 deletionsbackend/PPC.v
- backend/PPCgen.v 2 additions, 0 deletionsbackend/PPCgen.v
- backend/PPCgenproof1.v 5 additions, 0 deletionsbackend/PPCgenproof1.v
- backend/Selection.v 1 addition, 0 deletionsbackend/Selection.v
- backend/Selectionproof.v 1 addition, 0 deletionsbackend/Selectionproof.v
- caml/CMlexer.mll 1 addition, 0 deletionscaml/CMlexer.mll
- caml/CMparser.mly 3 additions, 1 deletioncaml/CMparser.mly
- caml/CMtypecheck.ml 2 additions, 0 deletionscaml/CMtypecheck.ml
- caml/Floataux.ml 3 additions, 0 deletionscaml/Floataux.ml
- caml/PrintPPC.ml 22 additions, 0 deletionscaml/PrintPPC.ml
- cfrontend/Cminorgenproof.v 1 addition, 0 deletionscfrontend/Cminorgenproof.v
- common/Mem.v 346 additions, 0 deletionscommon/Mem.v
- common/Values.v 6 additions, 0 deletionscommon/Values.v
- extraction/.depend 8 additions, 5 deletionsextraction/.depend
- extraction/extraction.v 1 addition, 0 deletionsextraction/extraction.v
- lib/Floats.v 1 addition, 0 deletionslib/Floats.v
Loading
Please register or sign in to comment