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	-266/+0
*	Turn 64-bit integer division and modulus by constants into multiply-high	Xavier Leroy	2016-10-04	1	-0/+2
*	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	-32/+101
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-4/+4
*	Value analysis: keep track of pointer values that leak through arithmetic ope...	Xavier Leroy	2015-07-19	1	-3/+3
*	Prevent constant propagation on Oindirectsymbol addresses.	Xavier Leroy	2014-12-11	1	-2/+11
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-0/+13
*	Refactoring: move symbol_offset into Genv.	xleroy	2014-05-24	1	-1/+1
*	Support Onot operator / notl instruction. More constant propagation during s...	xleroy	2014-04-06	1	-0/+1
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19	1	-0/+1
*	Updated ARM backend wrt new static analyses and optimizations.	xleroy	2014-01-02	1	-0/+12
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-0/+158