Getting rid of CIL
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- cfrontend/Cil2Csyntax.ml 0 additions, 1283 deletionscfrontend/Cil2Csyntax.ml
- cil/INSTALL 0 additions, 41 deletionscil/INSTALL
- cil/LICENSE 0 additions, 35 deletionscil/LICENSE
- cil/Makefile.gcc 0 additions, 75 deletionscil/Makefile.gcc
- cil/Makefile.in 0 additions, 656 deletionscil/Makefile.in
- cil/Makefile.msvc 0 additions, 42 deletionscil/Makefile.msvc
- cil/README 0 additions, 2 deletionscil/README
- cil/bin/CilConfig.pm.in 0 additions, 6 deletionscil/bin/CilConfig.pm.in
- cil/bin/cilly 0 additions, 152 deletionscil/bin/cilly
- cil/bin/cilly.bat.in 0 additions, 1 deletioncil/bin/cilly.bat.in
- cil/bin/patcher 0 additions, 605 deletionscil/bin/patcher
- cil/bin/patcher.bat.in 0 additions, 1 deletioncil/bin/patcher.bat.in
- cil/bin/teetwo 0 additions, 36 deletionscil/bin/teetwo
- cil/bin/test-bad 0 additions, 202 deletionscil/bin/test-bad
- cil/cil.spec 0 additions, 90 deletionscil/cil.spec
- cil/cil.spec.in 0 additions, 90 deletionscil/cil.spec.in
- cil/config.guess 0 additions, 1497 deletionscil/config.guess
- cil/config.h.in 0 additions, 23 deletionscil/config.h.in
- cil/config.sub 0 additions, 1469 deletionscil/config.sub
- cil/configure 0 additions, 5697 deletionscil/configure
Loading
Please register or sign in to comment