debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Protoized	xleroy	2010-03-02
*	Typo in Makefile	xleroy	2010-02-17
*	Reorganization test directory	xleroy	2010-02-17
*	3 more benchmarks	xleroy	2010-02-17
*	Backtracking on commit 1220	xleroy	2010-01-13
*	Test result more reproducible	xleroy	2009-12-16
*	Support Clight initializers of the form "int * x = &y;".	xleroy	2009-11-01
*	Problem with const enum initializers	xleroy	2009-09-15
*	Stronger constant folding, esp. w.r.t. floats	xleroy	2009-08-21
*	Endianness in tests	xleroy	2009-01-05
*	Continuation of PowerPC/EABI port	xleroy	2008-12-31
*	Flag to turn on/off the recognition of fused multiply-add and multiply-sub	xleroy	2008-07-31
*	Update test results	xleroy	2008-07-31
*	Augmenter le temps d'execution par defaut	xleroy	2008-07-25
*	Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...	xleroy	2008-04-19
*	Ajout du test vmach	xleroy	2008-04-15
*	Problemes d'alignement des variables globales et a l'interieur de leurs initi...	xleroy	2007-10-31
*	Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...	xleroy	2007-08-28
*	Rendu le test lists.c plus interessant	xleroy	2007-08-06
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02
*	Ajout test mark&sweep GC	xleroy	2006-10-27
*	Ajout et utilisation de compcert_stdio.h	xleroy	2006-10-22
*	Nettoyages	xleroy	2006-09-17
*	Davantage de tests	xleroy	2006-09-17
*	Ajout du test lists	xleroy	2006-09-11
*	MAJ des tests C	xleroy	2006-09-08
*	Integration du front-end CIL developpe par Thomas Moniot	xleroy	2006-09-07
*	Version C des tests Cminor	xleroy	2006-06-29