compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	1	-169/+0
*	Turn 64-bit integer division and modulus by constants into multiply-high	Xavier Leroy	2016-10-04	1	-2/+4
*	Improve code generation for 64-bit signed integer division	Xavier Leroy	2016-10-02	1	-0/+1
*	Support for 64-bit architectures: x86 in 64-bit mode	Xavier Leroy	2016-10-01	1	-16/+54
*	Print floating-point numbers with more digits in debug outputs	Xavier Leroy	2016-03-15	1	-2/+2
*	GPR#84: add missing IA32 operators to PrintOp	Xavier Leroy	2016-03-15	1	-0/+3
*	Updated PrintOp for the single-precision FP operations.	Xavier Leroy	2015-05-09	1	-0/+12
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-0/+2
*	Cminor parsing and printing (from Andrew Tolmach)	xleroy	2013-10-16	1	-0/+1
*	Do not use Format for faster printing of RTL, XTL, LTL, Mach	xleroy	2013-09-26	1	-1/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+4
*	Assorted changes to reduce stack and heap requirements when compiling very bi...	xleroy	2013-03-16	1	-0/+1
*	Use Flocq for floats	xleroy	2012-06-28	1	-1/+1
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	1	-0/+105