debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Merge of "newspilling" branch:	xleroy	2014-07-23
*	Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...	xleroy	2014-04-09
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19
*	powerpc/: new unary operation "addsymbol"	xleroy	2013-11-17
*	Floats.v, Nan.v: hard-wire the general shape of binop_pl, so that no axioms	xleroy	2013-09-14
*	Optimize integer divisions by positive constants, turning them into	xleroy	2013-07-29
*	Updated to new CminorSel	xleroy	2013-04-30
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20
*	Remove some useless "Require".	xleroy	2012-12-30
*	Merge of branch seq-and-or. See Changelog for details.	xleroy	2012-10-06
*	Micro-optimization of (x & mask) >>s amount into a rolm when mask >= 0.	xleroy	2012-07-09
*	Factor out the evaluation of the float constant in intuoffloat.	xleroy	2012-07-01
*	CSE: add recognition of some combined operators, conditions, and addressing m...	xleroy	2012-05-26
*	Hack with nxor	xleroy	2012-05-18
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07
*	Take advantage of Cmaskzero and Cmasknotzero.	xleroy	2012-02-24
*	Improved instruction selection for "notint".	xleroy	2012-02-24
*	Merge of the "volatile" branch:	xleroy	2012-02-04
*	powerpc/SelectOp: optimize the pattern ((x >>s N) & N1) & N2 common in a cert...	xleroy	2012-01-21
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14