compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	configure: distinguish between ABI and processor model.	xleroy	2014-07-29	9	-11/+24
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27	16	-261/+316
*	Adapt to the two different calling conventions for floats.	xleroy	2014-05-02	6	-0/+14
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-0/+83
*	Syntax errors	xleroy	2013-05-06	2	-31/+31
*	Support for in64 -> float conversions w/ correct rounding.	xleroy	2013-05-06	2	-0/+150
*	ia32/i64_dtou: wrong play on rounding mode	xleroy	2013-05-05	4	-34/+79
*	Expand 64-bit integer comparisons into 32-bit integer comparisons.	xleroy	2013-04-29	2	-107/+0
*	Split arch/int64.s into one file per function.	xleroy	2013-04-20	15	-381/+868
*	Configuring the assembler used for the runtime lib	xleroy	2013-04-20	1	-0/+2
*	Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler.	xleroy	2013-04-20	1	-45/+0
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+424