compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Memdata: cleanup continued	xleroy	2012-05-26	1	-0/+26
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-4/+96
*	Cleaned up old commented-out parts	xleroy	2011-08-19	1	-5/+0
*	Various algorithmic improvements that reduce compile times (thanks Alexandre ...	xleroy	2010-10-27	1	-2/+22
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07	1	-0/+77
*	Coloringaux: make identifiers unique; special treatment of precolored	xleroy	2009-08-26	1	-42/+56
*	Cil2Csyntax: added goto and labels; added assignment between structs	xleroy	2009-08-16	1	-1/+35
*	Added 'going wrong' behaviors	xleroy	2009-08-05	1	-0/+115
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-130/+130
*	Suppression de 'exten', inutilise	xleroy	2008-05-30	1	-6/+0
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+15
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02	1	-0/+82
*	Ajout operation eq dans PMap et IndexedMap	xleroy	2007-01-03	1	-0/+10
*	Initial import of compcert	xleroy	2006-02-09	1	-0/+1034