compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	More realistic treatment of jump tables: show the absence of overflow when ac...	xleroy	2009-11-10	1	-2/+1
*	Added support for jump tables in back end.	xleroy	2009-11-10	1	-5/+20
*	PowerPC/EABI port: preliminary support for #pragma section and	xleroy	2009-11-03	1	-10/+19
*	Simplified the treatment of the PowerPC small data area; now more specific to...	xleroy	2009-11-02	1	-27/+19
*	Preliminary support for small data area in PowerPC port.	xleroy	2009-11-01	1	-14/+39
*	Support Clight initializers of the form "int * x = &y;".	xleroy	2009-11-01	1	-0/+3
*	Storing of single floats: must insert frsp instruction before store. (Tempor...	xleroy	2009-10-30	1	-2/+4
*	Refactored Selection.v and Selectionproof.v into a machine-dependent part + a...	xleroy	2009-08-17	1	-2/+2
*	Use Configuration.system	xleroy	2009-03-29	1	-28/+38
*	Honor "static" modifier on C globals.	xleroy	2009-03-28	1	-22/+58
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...	xleroy	2009-01-29	1	-3/+2
*	Elimination of "alloc" instruction in Caml files and test files.	xleroy	2009-01-11	1	-2/+0
*	Cleanup	xleroy	2008-12-31	1	-105/+0
*	Continuation of PowerPC/EABI port	xleroy	2008-12-31	1	-141/+363
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+532