compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18	1	-2/+2
*	Revu traitement des variables globales dans AST.program et dans Globalenvs.	xleroy	2006-09-05	1	-4/+6
*	Revu la repartition des sources Coq en sous-repertoires	xleroy	2006-09-04	1	-0/+433