debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Assorted changes to reduce stack and heap requirements when compiling very bi...	xleroy	2013-03-16
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29
*	Separate interference graphs for ints and floats, i.e. don't record interfere...	xleroy	2012-12-20
*	powerpc/SelectOp: optimize the pattern ((x >>s N) & N1) & N2 common in a cert...	xleroy	2012-01-21
*	Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml chars	xleroy	2011-10-18
*	Coloringaux: better cost estimate for annotation builtins	xleroy	2011-06-14
*	Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.	xleroy	2011-03-09
*	Merge of the reuse-temps branch:	xleroy	2010-09-02
*	Merge of branches/full-expr-4:	xleroy	2010-08-18
*	Support for inlined built-ins.	xleroy	2010-06-29
*	Improved coalescing heuristics based on Hailperin's paper.	xleroy	2010-05-08
*	Compute spill costs.	xleroy	2010-05-02
*	Coloring: allow to exclude user-specified registers from allocation.	xleroy	2010-04-10
*	Coloringaux: make identifiers unique; special treatment of precolored	xleroy	2009-08-26
*	Update spill costs when coalescing	xleroy	2009-08-16
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30