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	8	-19/+38
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02	1	-0/+5
*	Nettoyage	xleroy	2007-03-02	1	-1/+0
*	Mettre les 2 demi-espaces dans 2 blocs separes	xleroy	2007-03-02	1	-9/+10
*	Ajout test mark&sweep GC	xleroy	2006-10-27	5	-2/+439
*	Ajout test stop&copy GC	xleroy	2006-10-26	3	-1/+404
*	Ajout et utilisation de compcert_stdio.h	xleroy	2006-10-22	6	-6/+210
*	Resolution d'un probleme (cf. big endian), et	blazy	2006-10-20	10	-19/+11
*	Ajout du banc de tests de CCured (Olden benchmark suite, cf.	blazy	2006-10-20	202	-0/+12593
*	cleaning...	lrg	2006-10-20	1	-2/+1
*	interpreter for "little"	lrg	2006-10-20	16	-0/+1336
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18	1	-5/+10
*	Nettoyages	xleroy	2006-09-17	4	-18/+16
*	Davantage de tests	xleroy	2006-09-17	33	-33/+3010
*	Ajout du test lists	xleroy	2006-09-11	2	-2/+57
*	MAJ des tests C	xleroy	2006-09-08	8	-61/+1082
*	Integration du front-end CIL developpe par Thomas Moniot	xleroy	2006-09-07	1	-78/+62
*	Fusion de la branche "traces":	xleroy	2006-09-04	6	-26/+113
*	Ajout de fabs	xleroy	2006-07-11	1	-0/+1
*	Cast des litteraux de chaine en unsigned char *	xleroy	2006-07-11	2	-12/+12
*	Version C des tests Cminor	xleroy	2006-06-29	8	-0/+1339
*	Initial import of compcert	xleroy	2006-02-09	18	-0/+2224