aboutsummaryrefslogtreecommitdiffstats
path: root/cil.patch
Commit message (Collapse)AuthorAgeFilesLines
* Cleaned up configure script.xleroy2009-03-2915-1319/+0
| | | | | | | | Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Bug with overflow in line numbersxleroy2009-03-291-0/+24
| | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1019 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Turn off generation of libcil.a, which is not correct with OCaml 3.11xleroy2008-12-311-2/+11
| | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@932 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Erreur dans la traduction d'un for lorsque la condition est complexexleroy2008-04-191-22/+24
| | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@621 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Probleme echo -ne sur MacOS 10.5v1.2xleroy2008-03-041-0/+14
| | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@548 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Propagation des erreursxleroy2006-10-231-20/+94
| | | | git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@129 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Suppression des casts systematiques vers unsigned int dans les comparaisons ↵xleroy2006-09-111-9/+65
| | | | | | de pointeurs git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@95 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
* Integration du front-end CIL developpe par Thomas Moniotxleroy2006-09-0713-0/+1140
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@84 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
generated by cgit (git 2.34.1) at 2024-07-04 02:01:47 +0000