compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...	xleroy	2007-08-28	1	-79/+200
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-62/+132
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18	1	-1/+1
*	MAJ	xleroy	2006-09-06	1	-1/+3
*	Fusion de la branche "traces":	xleroy	2006-09-04	1	-7/+15
*	Suppression de stmtlist dans Cminor	xleroy	2006-04-06	1	-5/+5
*	Renommage List -> CList lors de l'extraction	xleroy	2006-03-09	1	-6/+6
*	Initial import of compcert	xleroy	2006-02-09	1	-0/+327