debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Ajout test mark&sweep GC	xleroy	2006-10-27
*	Ajout test stop&copy GC	xleroy	2006-10-26
*	Rapport d'erreur dans CIL	xleroy	2006-10-23
*	Propagation des erreurs	xleroy	2006-10-23
*	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
*	Ajout et utilisation de compcert_stdio.h	xleroy	2006-10-22
*	Resolution d'un probleme (cf. big endian), et	blazy	2006-10-20
*	Ajout du banc de tests de CCured (Olden benchmark suite, cf.	blazy	2006-10-20
*	cleaning...	lrg	2006-10-20
*	interpreter for "little"	lrg	2006-10-20
*	Meilleure compilation de la negation booleenne	xleroy	2006-09-19
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18
*	Suite des stubs variadiques.	xleroy	2006-09-17
*	Preprocesser en definissant __ppc__ (utile pour l'emulation MacOSX/Intel)	xleroy	2006-09-17
*	Nettoyages	xleroy	2006-09-17
*	Revu generation de stubs pour les fonctions variadiques	xleroy	2006-09-17
*	typo in comment	xleroy	2006-09-17
*	Type unrolling in struct and union fields	xleroy	2006-09-17
*	Davantage de tests	xleroy	2006-09-17
*	Bug dans le traitement des fonctions variadiques.	xleroy	2006-09-17
*	Meilleur message de debug dans le cas Icall	xleroy	2006-09-17
*	Ajout de Init_pointer (experimental)	xleroy	2006-09-17
*	Const.prop dans la taille des tableaux. Tolerer (avec warning) les declarati...	xleroy	2006-09-16
*	Ajout du test lists	xleroy	2006-09-11
*	Utiliser l'extension .light.c au lieu de .clight	xleroy	2006-09-11
*	Typo dans impression structs	xleroy	2006-09-11
*	Eviter de caster les fonctions directement dans le cas variadique, gcc dit qu...	xleroy	2006-09-11
*	Suppression des casts systematiques vers unsigned int dans les comparaisons d...	xleroy	2006-09-11
*	Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...	xleroy	2006-09-11
*	Code de timing	xleroy	2006-09-11
*	MAJ suite ajouts dans Kildall. Compiler en code natif par defaut	xleroy	2006-09-11
*	Meilleure representation des worklists dans l'algo de Kildall	xleroy	2006-09-11
*	Encore une eta-expansion intempestive	xleroy	2006-09-11
*	Traiter les initialisations x = NULL	xleroy	2006-09-08
*	MAJ	xleroy	2006-09-08
*	Suite de l'adaptation du front-end CIL	xleroy	2006-09-08
*	MAJ des tests C	xleroy	2006-09-08
*	Stocker l'adresse de retour a l'offset 12 au lieu de l'offset 4 pour meilleur...	xleroy	2006-09-08
*	Integration du front-end CIL developpe par Thomas Moniot	xleroy	2006-09-07
*	Permettre les casts entre types de fonction	xleroy	2006-09-06
*	Csem: l'hypothese de typage sur main est inutile (assuree par wt_program)	xleroy	2006-09-06
*	Ajout de dependances dans extraction/Makefile	tristan	2006-09-06
*	MAJ	xleroy	2006-09-06
*	Definition redondante	xleroy	2006-09-06
*	Revu traitement des variables globales dans AST.program et dans Globalenvs.	xleroy	2006-09-05
*	Ignorer les .vo dans cfrontend et common	xleroy	2006-09-04