compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-3/+3
*	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-9/+1
*	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	1	-0/+7
*	Give a name to the type of atoms.	Xavier Leroy	2015-04-23	1	-2/+4
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-2/+7
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+50
*	Merge of branch linear-typing:	xleroy	2014-04-06	1	-66/+0
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-0/+10
*	Merge of the "alignas" branch.	xleroy	2013-10-05	1	-0/+55
*	Slightly more efficient conversion positive <-> int	xleroy	2013-09-26	1	-17/+22
*	Small improvements in compilation times for the register allocation pass.	xleroy	2013-09-20	1	-1/+21
*	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