compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Erreur dans la traduction d'un for lorsque la condition est complexe	xleroy	2008-04-19	1	-22/+24
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@621 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Propagation des erreurs	xleroy	2006-10-23	1	-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 ↵	xleroy	2006-09-11	1	-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 Moniot	xleroy	2006-09-07	1	-0/+325
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@84 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e