debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Merge of "newspilling" branch:	xleroy	2014-07-23
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12
*	Introduce and use the platform-specific Archi module giving:	xleroy	2014-01-03
*	Merge of the float32 branch:	xleroy	2013-05-19
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20
*	Glasnost: making transparent a number of definitions that were opaque	xleroy	2013-03-10
*	lib/Integers.v: revised and extended, faster implementation based on	xleroy	2013-02-10
*	Integers: specialized function to compute x mod 2^N; used in "repr" to	xleroy	2012-12-21
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23
*	Memdata: cleanup continued	xleroy	2012-05-26
*	CSE: add recognition of some combined operators, conditions, and addressing m...	xleroy	2012-05-26
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14
*	Cleaned up old commented-out parts	xleroy	2011-08-19
*	Back from Oregon commit.	xleroy	2011-07-05
*	Integers: cleaned up bitwise operations, redefined shr, zero_ext and sign_ext	xleroy	2010-08-21
*	Support for inlined built-ins.	xleroy	2010-06-29
*	Fewer float axioms.	xleroy	2010-05-09
*	Revised encoding/decoding of floats	xleroy	2010-05-09
*	Copyright notice	xleroy	2010-03-12
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07