compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Support va_arg for vararg arguments of composite (struct/union) types.	Xavier Leroy	2015-03-20	1	-0/+7
\| \| \| \|	Now for IA32 and PowerPC as well.
*	stdarg.h: assorted fixes for PowerPC	xleroy	2014-01-01	1	-5/+5
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2397 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Fine hair splitting depending on whether va_list is a scalar type (IA32, ↵	xleroy	2014-01-01	1	-3/+3
\| \| \| \| \| \|	ARM) or an array type (PowerPC). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2395 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be ↵	xleroy	2014-01-01	1	-0/+156
	tested on PowerPC and ARM. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2394 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e