compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	9	-1016/+755
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02	2	-3/+5
*	Meilleure compilation de la negation booleenne	xleroy	2006-09-19	5	-7/+15
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18	2	-86/+84
*	Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...	xleroy	2006-09-11	5	-41/+45
*	Permettre les casts entre types de fonction	xleroy	2006-09-06	2	-13/+21
*	Csem: l'hypothese de typage sur main est inutile (assuree par wt_program)	xleroy	2006-09-06	3	-10/+21
*	Revu traitement des variables globales dans AST.program et dans Globalenvs.	xleroy	2006-09-05	9	-136/+75
*	Revu la repartition des sources Coq en sous-repertoires	xleroy	2006-09-04	3	-0/+3591
*	Fusion de la branche "traces":	xleroy	2006-09-04	7	-0/+4436