compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Revised handling of #pragma section and small data areas	xleroy	2010-01-27	1	-17/+21
*	Unsupported: return/return type mismatches	xleroy	2009-11-19	1	-2/+17
*	PowerPC/EABI port: preliminary support for #pragma section and	xleroy	2009-11-03	1	-50/+47
*	Simplified the treatment of the PowerPC small data area; now more specific to...	xleroy	2009-11-02	1	-10/+8
*	Preliminary support for small data area in PowerPC port.	xleroy	2009-11-01	1	-0/+15
*	Support Clight initializers of the form "int * x = &y;".	xleroy	2009-11-01	1	-7/+16
*	Problem with const enum initializers	xleroy	2009-09-15	1	-0/+2
*	Stronger constant folding, esp. w.r.t. floats	xleroy	2009-08-21	1	-40/+158
*	Cil2Csyntax: added goto and labels; added assignment between structs	xleroy	2009-08-16	1	-64/+164
*	Various clean-upsv1.4	xleroy	2009-04-17	1	-5/+5
*	Honor "static" modifier on C globals.	xleroy	2009-03-28	1	-10/+44
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...	xleroy	2009-01-29	1	-2/+1
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+992