compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Clight: ajout Econdition, suppression Eindex.	xleroy	2008-09-27	1	-6/+3
*	Detecter __builtin_xxx	xleroy	2008-04-19	1	-2/+11
*	Camlcoq.ml: interpret Caml's int32 as unsigned when converting to Integers.int	xleroy	2008-04-16	1	-4/+5
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+16
*	Problemes d'alignement des variables globales et a l'interieur de leurs initi...	xleroy	2007-10-31	1	-44/+61
*	Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...	xleroy	2007-08-28	1	-33/+55
*	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