compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Added animation of the CompCert C semantics (ccomp -interp)	xleroy	2011-07-28	1	-52/+20
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13	1	-85/+81
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12	1	-4/+4
*	cparser/StructAssign: always use __builtin_memcpy + alignment indication	xleroy	2011-05-11	1	-49/+91
*	Preliminary support for 'aligned' and 'section' attributes, gcc-style. New-s...	xleroy	2011-04-16	1	-22/+15
*	More global initialization work done and proved in Coq.	xleroy	2011-03-13	1	-64/+23
*	Initializers for global variables: compile-time evaluation of expressions don...	xleroy	2011-03-12	1	-54/+25
*	Revised signed/unsigned char handling.	xleroy	2011-03-10	1	-1/+2
*	Treat "char" as unsigned OR signed depending on the configuration.	xleroy	2011-03-09	1	-7/+9
*	Updates for IA32-Cygwin.	xleroy	2010-09-08	1	-20/+31
*	Better emulation of long long as a struct.	xleroy	2010-09-04	1	-15/+50
*	Adding __builtin_annotation	xleroy	2010-09-01	1	-1/+45
*	Copyright banner	xleroy	2010-08-18	1	-0/+12
*	Renamed C2Clight into C2C	xleroy	2010-08-18	1	-0/+922