compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Cleaned up configure script.	xleroy	2009-03-29	1	-23/+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
*	Turn off generation of libcil.a, which is not correct with OCaml 3.11	xleroy	2008-12-31	1	-2/+11
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@932 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Probleme echo -ne sur MacOS 10.5v1.2	xleroy	2008-03-04	1	-0/+14
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@548 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e