compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Relaxation des contraintes sur les struct recursives	xleroy	2006-10-23	1	-13/+9
*	Location pour erreur sur le type de main()	xleroy	2006-10-23	1	-1/+2
*	Verification du type de retour de main()	xleroy	2006-10-23	1	-10/+8
*	Lever la restriction sur les fonctions externes, restriction qui exigeait que...	xleroy	2006-10-22	1	-15/+0
*	Meilleur traitement des fonctions forward declared. Ajout d'un warning sur l...	xleroy	2006-10-22	1	-0/+16
*	Type unrolling in struct and union fields	xleroy	2006-09-17	1	-5/+30
*	Bug dans le traitement des fonctions variadiques.	xleroy	2006-09-17	1	-25/+54
*	Const.prop dans la taille des tableaux. Tolerer (avec warning) les declarati...	xleroy	2006-09-16	1	-5/+9
*	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	1	-4/+9
*	Traiter les initialisations x = NULL	xleroy	2006-09-08	1	-0/+2
*	Suite de l'adaptation du front-end CIL	xleroy	2006-09-08	1	-236/+258
*	Integration du front-end CIL developpe par Thomas Moniot	xleroy	2006-09-07	1	-0/+863