compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Support va_arg for vararg arguments of composite (struct/union) types.	Xavier Leroy	2015-03-20	1	-0/+12
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-0/+69