compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	C reference implementation of the int64 helper functions.	Xavier Leroy	2015-02-14	1	-1/+1
*	configure: distinguish between ABI and processor model.	xleroy	2014-07-29	1	-1/+1
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-1/+2
*	Merge of the "princeton" branch:	xleroy	2013-06-16	1	-0/+8
*	Fix compilation of runtime system.	xleroy	2013-05-29	1	-2/+2
*	Support for in64 -> float conversions w/ correct rounding.	xleroy	2013-05-06	1	-2/+2
*	Expand 64-bit integer comparisons into 32-bit integer comparisons.	xleroy	2013-04-29	1	-2/+2
*	Make ia32/ code more portable across systems.	xleroy	2013-04-23	1	-1/+1
*	Split arch/int64.s into one file per function.	xleroy	2013-04-20	1	-1/+6
*	Configuring the assembler used for the runtime lib	xleroy	2013-04-20	1	-1/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-10/+18
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14	1	-4/+4
*	Simplified stdlib wrapper; use it only under MacOS X	xleroy	2010-09-04	1	-3/+11
*	Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...	xleroy	2008-04-19	1	-2/+1
*	Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefiles	xleroy	2007-08-06	1	-0/+7
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-0/+13