Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive...
Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive file systems. Replaced CList by CoqList and likewise for CString and CInt. Removed useless references to CList in hand-written Caml code. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@951 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- arm/PrintAsm.ml 0 additions, 1 deletionarm/PrintAsm.ml
- backend/CMparser.mly 5 additions, 6 deletionsbackend/CMparser.mly
- backend/CMtypecheck.ml 0 additions, 1 deletionbackend/CMtypecheck.ml
- backend/Linearizeaux.ml 1 addition, 2 deletionsbackend/Linearizeaux.ml
- backend/RTLtypingaux.ml 0 additions, 1 deletionbackend/RTLtypingaux.ml
- cfrontend/Cil2Csyntax.ml 1 addition, 2 deletionscfrontend/Cil2Csyntax.ml
- cfrontend/PrintCsyntax.ml 0 additions, 1 deletioncfrontend/PrintCsyntax.ml
- extraction/Makefile 7 additions, 7 deletionsextraction/Makefile
- extraction/convert 5 additions, 5 deletionsextraction/convert
- lib/Camlcoq.ml 4 additions, 5 deletionslib/Camlcoq.ml
- powerpc/PrintAsm.ml 2 additions, 3 deletionspowerpc/PrintAsm.ml
Loading
Please register or sign in to comment