debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
...
*	Importer OrderedPositive depuis Ordered.v	xleroy	2007-03-05
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02
*	Petites adaptations pour Coq 8.1gamma	xleroy	2006-11-11
*	Lever la restriction sur les fonctions externes, restriction qui exigeait que...	xleroy	2006-10-22
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18
*	typo in comment	xleroy	2006-09-17
*	Meilleure representation des worklists dans l'algo de Kildall	xleroy	2006-09-11
*	Stocker l'adresse de retour a l'offset 12 au lieu de l'offset 4 pour meilleur...	xleroy	2006-09-08
*	Revu traitement des variables globales dans AST.program et dans Globalenvs.	xleroy	2006-09-05
*	Revu la repartition des sources Coq en sous-repertoires	xleroy	2006-09-04
*	Fusion de la branche "traces":	xleroy	2006-09-04
*	Revu sémantique de Eaddrof en Csharpminor: on peut prendre l'adresse de	xleroy	2006-07-11
*	MAJ suite aux changements dans Cminorgen	xleroy	2006-06-08
*	Ajout Sswitch dans Csharpminor. Renommage type variable_info -> var_kind	xleroy	2006-06-06
*	Optimisation des casts (idempotence, etc)	xleroy	2006-06-05
*	Ajout construction Sswitch dans Cminor	xleroy	2006-06-05
*	Ajout construction Sswitch dans Cminor	xleroy	2006-06-05
*	Revu gestion des variables globales dans Csharpminor	xleroy	2006-06-02
*	Dans Cminor et Csharpminor: suppression de stmtlist, ajout de Sskip, Sseq.	xleroy	2006-04-06
*	Suppression de stmtlist et de exec_stmtlist.	xleroy	2006-04-06
*	PL: Un mot-cle Proof qui n'a rien a faire la...	letouzey	2006-02-16
*	Initial import of compcert	xleroy	2006-02-09