debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Recognize attribute((packed)) after a "struct {...}" and not just between "st...	xleroy	2013-06-21
*	Issue with simplification of nested ?: expressions of different types.	xleroy	2013-05-19
*	Missing case: initialization of a global variable of type _Bool.	xleroy	2013-05-08
*	Revised semantics and compilation of 2-argument C operators to better match	xleroy	2013-05-06
*	Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,	xleroy	2013-04-29
*	Results for ARM	xleroy	2013-04-22
*	Fixes in PowerPC port	xleroy	2013-04-21
*	Add __builtin_bswap16 and __builtin_bswap32 to all ports.	xleroy	2013-04-20
*	Tests "floats" and "floats-basics" moved from test/c to test/regression	xleroy	2013-04-20
*	Interp.ml: support printf of long long	xleroy	2013-04-20
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20
*	Some builtins were renamed, updating	xleroy	2013-03-01
*	Fix 'interp' entry	xleroy	2013-03-01
*	Testing dense switches	xleroy	2013-03-01
*	Updated ARM and PowerPC ports with new handling of __builtin_annot.	xleroy	2013-02-24
*	Constant propagation within __builtin_annot.	xleroy	2013-02-24
*	Errors for excessively large global variables or stack frames.	xleroy	2013-02-02
*	Test bitfields of enum type	xleroy	2012-12-18
*	Support for inline assembly (asm statements).	xleroy	2012-12-18
*	Test for __builtin_fcti	xleroy	2012-11-24
*	Globalenvs: allocate one-byte block with permissions Nonempty for each	xleroy	2012-11-12
*	Merge of branch seq-and-or. See Changelog for details.	xleroy	2012-10-06
*	Simplified and cleaned up the passing of information from C2C to PrintAsm, as...	xleroy	2012-02-22
*	Initializers: handle By_copy accesses (e.g. for &(glob.field))	xleroy	2012-02-07
*	Merge of the "volatile" branch:	xleroy	2012-02-04
*	Out-of-bounds error in test	xleroy	2012-01-21
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14
*	cparser/*: refactoring of the expansion of read-modify-write operators	xleroy	2011-11-26
*	Fixed serious bug in handling of volatile arrays.	xleroy	2011-11-26
*	Corrected initialization of char arrays by string literals.	xleroy	2011-10-17
*	Revised emulation of packed structs	xleroy	2011-10-16
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18
*	IA32: wrong moves generated in print_builtin_memcpy_big.	xleroy	2011-08-10
*	Wrong ifdef PPC	xleroy	2011-08-05
*	More builtins for ARM and PowerPC	xleroy	2011-08-05
*	arm/PrintAsm: bugs in expansion of new builtins	xleroy	2011-08-05
*	Added animation of the CompCert C semantics (ccomp -interp)	xleroy	2011-07-28
*	In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...	xleroy	2011-07-16
*	Coloringaux: better cost estimate for annotation builtins	xleroy	2011-06-14
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13
*	Nicer printing of annotations.	xleroy	2011-05-23
*	Another try for the ifdef	xleroy	2011-05-12
*	Wrong ifdef	xleroy	2011-05-12
*	Typo	xleroy	2011-05-12
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12
*	Support compile-time constant expressions as arguments to gcc-style attributes	xleroy	2011-04-20
*	cparser/Elab: __attribute, not attribute	xleroy	2011-04-16
*	Revised handling of sizeof(string-literal)	xleroy	2011-03-15
*	Initializers for global variables: compile-time evaluation of expressions don...	xleroy	2011-03-12
*	Treat "char" as unsigned OR signed depending on the configuration.	xleroy	2011-03-09