compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+5
*	Assorted cleanups, esp. to avoid generating _rec and _rect recursors in	xleroy	2013-03-09	1	-0/+2
*	Camlcoq.ml: bug in conversion Z to stringv1.12.1	xleroy	2013-01-29	1	-3/+3
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-60/+191
*	Merge of the clightgen branch:	xleroy	2012-12-29	1	-1/+3
*	Use Flocq for floats	xleroy	2012-06-28	1	-0/+8
*	Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml chars	xleroy	2011-10-18	1	-20/+4
*	Revised encoding/decoding of floats	xleroy	2010-05-09	1	-3/+30
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+3
*	MAJ extraction after changes in Integers	xleroy	2009-12-16	1	-2/+3
*	Coloringaux: make identifiers unique; special treatment of precolored	xleroy	2009-08-26	1	-0/+10
*	Use Extraction Blacklist	xleroy	2009-07-25	1	-4/+4
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...	xleroy	2009-01-29	1	-5/+4
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+130