debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Rename "-fthumb" option into "-mthumb" for GCC compatibility.	xleroy	2014-08-19
*	Nicer reporting of I/O errors (e.g. "No such file").	xleroy	2014-08-13
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28
*	ARM port: add support for Thumb2. To be tested.	xleroy	2014-07-27
*	Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...	xleroy	2014-04-09
*	Merge of branch linear-typing:	xleroy	2014-04-06
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19
*	Recognize .i and .p source files as C sources not to be preprocessed.	xleroy	2014-02-05
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12
*	More tolerance for functions declared without a prototype	xleroy	2013-12-28
*	Simpler, more robust emulation of calls to variadic functions:	xleroy	2013-12-28
*	Revised parsing of command-line options, more GCC-like.	xleroy	2013-12-21
*	Merge of branch value-analysis.	xleroy	2013-12-20
*	Rename "-fno-sse" into "-fno-fpu" and honor it on PowerPC as well.	xleroy	2013-11-27
*	Compile in debug mode and activate stack backtraces.	xleroy	2013-07-07
*	Add option -fno-tailcalls to turn off tailcall elimination (causes problem wi...	xleroy	2013-05-17
*	Preliminary support for debugging info (-g).	xleroy	2013-05-17
*	driver: removed option -flonglong	xleroy	2013-04-22
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20
*	Updated PowerPC port to new integers.	xleroy	2013-02-12
*	Be more like gcc in the way we display or not the usage message.	xleroy	2013-02-12
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29
*	Better treatment of volatile accesses in the reference interpreter.	xleroy	2013-01-08
*	Merge of the clightgen branch:	xleroy	2012-12-29
*	Support for inline assembly (asm statements).	xleroy	2012-12-18
*	Generate output files in current directory; can be overriden with -o option	xleroy	2012-10-08
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14
*	Added option -falign-functions	xleroy	2012-07-01
*	Merge of the newmem branch:	xleroy	2012-05-21
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28
*	Option -randvol to expose randomization of volatiles in Interp.ml	xleroy	2012-03-12
*	Merge of Andrew Tolmach's HASP-related changes	xleroy	2012-03-09
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07
*	Added command-line options -Wp,<opt> -Wa,<opt> -Wl,<opt>	xleroy	2012-02-29
*	Merge of the "volatile" branch:	xleroy	2012-02-04
*	Interp: accommodate "int main(int, char **)".	xleroy	2011-10-19
*	Corrected initialization of char arrays by string literals.	xleroy	2011-10-17
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18
*	Added animation of the CompCert C semantics (ccomp -interp)	xleroy	2011-07-28
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12
*	powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination).	xleroy	2011-05-08
*	Revised signed/unsigned char handling.	xleroy	2011-03-10
*	Treat "char" as unsigned OR signed depending on the configuration.	xleroy	2011-03-09
*	Various algorithmic improvements that reduce compile times (thanks Alexandre ...	xleroy	2010-10-27
*	Simplified stdlib wrapper; use it only under MacOS X	xleroy	2010-09-04
*	Merge of the reuse-temps branch:	xleroy	2010-09-02
*	Renamed C2Clight into C2C	xleroy	2010-08-18
*	Merge of branches/full-expr-4:	xleroy	2010-08-18
*	Cleaned up handling of linker sections.	xleroy	2010-05-08
*	Options -I -D -U with a space	xleroy	2010-03-30