compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge of branch seq-and-or. See Changelog for details.	xleroy	2012-10-06	3	-8/+13
*	PrintCminor: printing Sskip	xleroy	2012-03-09	3	-5/+5
*	Moved test harness C files here	xleroy	2010-02-17	14	-1/+1649
*	Elimination of "alloc" instruction in Caml files and test files.	xleroy	2009-01-11	1	-2/+4
*	Test for int/float conversions	xleroy	2009-01-07	2	-1/+25
*	Endianness in tests	xleroy	2009-01-05	2	-0/+18
*	Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...	xleroy	2008-04-19	1	-3/+5
*	Amelioration compilation des switch	xleroy	2008-04-17	1	-0/+1
*	Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...	xleroy	2007-08-28	1	-2/+4
*	Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefiles	xleroy	2007-08-06	1	-1/+1
*	Documentation	xleroy	2007-08-05	1	-1/+1
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	3	-1/+23
*	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	2	-1/+308
*	Ajout test stop&copy GC	xleroy	2006-10-26	2	-1/+191
*	Simplification de Cminor: les affectations de variables locales ne sont	xleroy	2006-09-18	1	-5/+10
*	Fusion de la branche "traces":	xleroy	2006-09-04	5	-26/+73
*	Initial import of compcert	xleroy	2006-02-09	9	-0/+1052