compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update version number	xleroy	2013-06-16	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2278 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Updated for version 1.13	xleroy	2013-03-11	1	-1/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2143 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14	1	-1/+2
\| \| \| \| \| \| \|	Remove stdio hack in runtime/ git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1979 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	A file with the version number	xleroy	2012-03-28	1	-0/+1
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1857 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e