compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Utiliser l'extension .light.c au lieu de .clight	xleroy	2006-09-11	1	-1/+1
*	Typo dans impression structs	xleroy	2006-09-11	1	-1/+1
*	Eviter de caster les fonctions directement dans le cas variadique, gcc dit qu...	xleroy	2006-09-11	1	-4/+1
*	Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...	xleroy	2006-09-11	2	-36/+37
*	Code de timing	xleroy	2006-09-11	1	-0/+26
*	Traiter les initialisations x = NULL	xleroy	2006-09-08	1	-0/+2
*	Suite de l'adaptation du front-end CIL	xleroy	2006-09-08	4	-267/+325
*	Integration du front-end CIL developpe par Thomas Moniot	xleroy	2006-09-07	4	-12/+1433
*	MAJ	xleroy	2006-09-06	2	-2/+4
*	Definition redondante	xleroy	2006-09-06	1	-5/+0
*	Fusion de la branche "traces":	xleroy	2006-09-04	10	-70/+237
*	Ajout d'un type-checker (non certifie) pour Cminor	xleroy	2006-07-17	4	-2/+377
*	Declaration des variables avec .comm	xleroy	2006-07-11	1	-3/+1
*	Suppression de stmtlist dans Cminor	xleroy	2006-04-06	2	-6/+6
*	Renommage List -> CList lors de l'extraction	xleroy	2006-03-09	4	-10/+10
*	Initial import of compcert	xleroy	2006-02-09	13	-0/+1605