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
*	Updated ARM backend wrt new static analyses and optimizations.	xleroy	2014-01-02
*	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
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20
*	Updated ARM and PowerPC ports with new handling of __builtin_annot.	xleroy	2013-02-24
*	Remove some useless "Require".	xleroy	2012-12-30
*	Make min_int / -1 and min_int % -1 semantically undefined	xleroy	2012-06-09
*	Merge of the newmem branch:	xleroy	2012-05-21
*	Support for fcmpzd instruction (float compare with +0.0)	xleroy	2012-03-29
*	Added volatile_read_global and volatile_store_global builtins.	xleroy	2012-01-15