compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Updated to new CminorSel	xleroy	2013-04-30	1	-1/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-1/+12
*	Remove some useless "Require".	xleroy	2012-12-30	1	-5/+0
*	Merge of branch seq-and-or. See Changelog for details.	xleroy	2012-10-06	1	-41/+39
*	Micro-optimization of (x & mask) >>s amount into a rolm when mask >= 0.	xleroy	2012-07-09	1	-6/+13
*	Factor out the evaluation of the float constant in intuoffloat.	xleroy	2012-07-01	1	-4/+4
*	CSE: add recognition of some combined operators, conditions, and addressing m...	xleroy	2012-05-26	1	-2/+2
*	Hack with nxor	xleroy	2012-05-18	1	-0/+2
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07	1	-18/+2
*	Take advantage of Cmaskzero and Cmasknotzero.	xleroy	2012-02-24	1	-0/+7
*	Improved instruction selection for "notint".	xleroy	2012-02-24	1	-1/+11
*	Merge of the "volatile" branch:	xleroy	2012-02-04	1	-1/+14
*	powerpc/SelectOp: optimize the pattern ((x >>s N) & N1) & N2 common in a cert...	xleroy	2012-01-21	1	-0/+7
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-0/+432