debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Merge of "newspilling" branch:	xleroy	2014-07-23
*	Instead of having two expansions of shrximm (one in SelectOp, one in Asmgen),...	xleroy	2014-05-28
*	Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...	xleroy	2014-04-09
*	Force dependency of SelectOp on Compopts.	xleroy	2014-03-03
*	Eradication of Mfloat64al32, continued.	xleroy	2014-01-12
*	Updated ARM backend wrt new static analyses and optimizations.	xleroy	2014-01-02
*	Optimize integer divisions by positive constants, turning them into	xleroy	2013-07-29
*	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
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23
*	CSE: add recognition of some combined operators, conditions, and addressing m...	xleroy	2012-05-26
*	Take advantage of Cmaskzero and Cmasknotzero.	xleroy	2012-02-24
*	Merge of the "volatile" branch:	xleroy	2012-02-04
*	Added volatile_read_global and volatile_store_global builtins.	xleroy	2012-01-15