debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Preliminary support for debugging info (-g).	xleroy	2013-05-17
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20
*	Watch out for behaviors exponential in the nesting of struct/union types.	xleroy	2013-03-23
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29
*	Globalenvs: allocate one-byte block with permissions Nonempty for each	xleroy	2012-11-12
*	Make Clight independent of CompCert C.	xleroy	2012-10-08
*	Merge of branch seq-and-or. See Changelog for details.	xleroy	2012-10-06
*	Forgot to collect types of expressions	xleroy	2012-07-28
*	Use Flocq for floats	xleroy	2012-06-28
*	Better printing of pointer values and of locations.	xleroy	2012-02-29
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26
*	Don't print external declarations for builtins.	xleroy	2012-02-18
*	Merge of the "volatile" branch:	xleroy	2012-02-04
*	Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml chars	xleroy	2011-10-18
*	Added animation of the CompCert C semantics (ccomp -interp)	xleroy	2011-07-28
*	Merge of branches/full-expr-4:	xleroy	2010-08-18
*	Updated Caml parts to match new representation for global variables.	xleroy	2010-05-26
*	Add "fabs" (floating-point absolute value) as a unary operator in	xleroy	2010-05-02
*	Handling of builtins, continued.	xleroy	2010-03-07
*	Suppressed Init_pointer, now useless. Improved printing of strings in genera...	xleroy	2010-03-03
*	Support Clight initializers of the form "int * x = &y;".	xleroy	2009-11-01
*	Cil2Csyntax: added goto and labels; added assignment between structs	xleroy	2009-08-16
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...	xleroy	2009-01-29
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30