compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Handle large static initializers for global arrays	Xavier Leroy	2015-11-09	1	-1/+1
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-5/+5
*	Turn off copy optimization when returning a composite by reference.	Xavier Leroy	2015-07-08	1	-4/+10
*	Extended inline asm: handle missing cases.	Xavier Leroy	2015-04-28	1	-1/+5
*	Improvements in the StructReturn transformation (ABI conformance for passing ...	Xavier Leroy	2015-03-20	1	-21/+34
*	Improve performance and configurability for the StructReturn pass.	Xavier Leroy	2015-03-14	1	-54/+106
*	ABI compatibility for struct/union function arguments passed by value.	Xavier Leroy	2015-01-27	1	-57/+281
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-1/+3
*	Do not transform __builtin_va_arg for a struct or union type, this causes	xleroy	2014-02-24	1	-31/+37
*	Wrong type used for transforming lval = f(...)	xleroy	2014-02-21	1	-1/+1
*	Hack StructReturn to better adhere to PowerPC and ARM calling conventions.	xleroy	2013-12-20	1	-57/+122
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-0/+1
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26	1	-0/+2
*	Interp: help debug stuck expressions	xleroy	2012-02-10	1	-4/+1
*	Merge of the "volatile" branch:	xleroy	2012-02-04	1	-0/+223