debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Relaxation des contraintes sur les struct recursives	xleroy	2006-10-23
*	Location pour erreur sur le type de main()	xleroy	2006-10-23
*	Verification du type de retour de main()	xleroy	2006-10-23
*	Lever la restriction sur les fonctions externes, restriction qui exigeait que...	xleroy	2006-10-22
*	Meilleur traitement des fonctions forward declared. Ajout d'un warning sur l...	xleroy	2006-10-22
*	Type unrolling in struct and union fields	xleroy	2006-09-17
*	Bug dans le traitement des fonctions variadiques.	xleroy	2006-09-17
*	Const.prop dans la taille des tableaux. Tolerer (avec warning) les declarati...	xleroy	2006-09-16
*	Eviter de caster les fonctions directement dans le cas variadique, gcc dit qu...	xleroy	2006-09-11
*	Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...	xleroy	2006-09-11
*	Traiter les initialisations x = NULL	xleroy	2006-09-08
*	Suite de l'adaptation du front-end CIL	xleroy	2006-09-08
*	Integration du front-end CIL developpe par Thomas Moniot	xleroy	2006-09-07