compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Added support for printing local variables and fixed issue with .text	Bernhard Schommer	2015-09-23	1	-0/+1
*	Merge branch 'debugscopes' into debug_locations	Bernhard Schommer	2015-09-23	1	-33/+37
\|\
\| *	Continuing experiment: track the scopes of local variables via __builtin_debug	Xavier Leroy	2015-09-21	1	-34/+28
* \|	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	1	-9/+11
\|/
*	Experiment: track the scopes of local variables via __builtin_debug.	Xavier Leroy	2015-09-20	1	-32/+132
*	Extended inline asm: handle missing cases.	Xavier Leroy	2015-04-28	1	-1/+7
*	ABI compatibility for struct/union function arguments passed by value.	Xavier Leroy	2015-01-27	1	-1/+1
*	PR#10 continued: disambiguate record to avoid OCaml warning	Xavier Leroy	2014-12-30	1	-1/+1
*	PR#10: composite definitions must be maintained in the environment.	Xavier Leroy	2014-12-30	1	-6/+15
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-26/+175
*	C: Support array initializers that are too short + default init for remainder.	xleroy	2014-03-28	1	-10/+14
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-0/+1
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-1/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+133