compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Interp.ml: in the emulation of printf(), check formats against types of ↵	xleroy	2014-01-12	1	-1/+1
\| \| \| \| \| \| \| \| \|	arguments. Test sizeof1: adapt to the fact that alignof(double) is either 4 or 8 depending on platform. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2406 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Revised handling of sizeof(string-literal)	xleroy	2011-03-15	1	-0/+3
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1611 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e