compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Nettoyage	xleroy	2007-03-02	1	-1/+0
*	Mettre les 2 demi-espaces dans 2 blocs separes	xleroy	2007-03-02	1	-9/+10
*	Ajout test mark&sweep GC	xleroy	2006-10-27	2	-1/+308
*	Ajout test stop&copy GC	xleroy	2006-10-26	2	-1/+191
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18	1	-5/+10
*	Fusion de la branche "traces":	xleroy	2006-09-04	5	-26/+73
*	Initial import of compcert	xleroy	2006-02-09	9	-0/+1052