debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
*	Fixed 2 errors in revised builtin_vstore.	xleroy	2012-08-22
*	Wrong usage of temps in builtin_volatile_write.	xleroy	2012-08-17
*	Define useful functions instr_defs and instr_uses	xleroy	2012-08-10
*	Remove Val.is_true and Val.is_false, no longer used.	xleroy	2012-08-06
*	Updated documentation	xleroy	2012-08-02
*	Removed old, commented-out definitions.	xleroy	2012-08-01
*	More aggressive elimination of conditional branches during constant	xleroy	2012-08-01
*	Forgot to collect types of expressions	xleroy	2012-07-28
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23
*	Remove the PowerPC/MacOS X port, as MacOS no longer supports PowerPC.	xleroy	2012-07-14
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14
*	Support for MacOS X's indirect symbols. (first try)	xleroy	2012-07-13
*	Late update for 1.11	xleroy	2012-07-13
*	Preparation for release 1.11	xleroy	2012-07-13
*	checklink: dead and debug code elimination	varobert	2012-07-12
*	checklink: simplifications	varobert	2012-07-12
*	checklink: allow other number formats in configuration	varobert	2012-07-12
*	checklink: minor fixes	varobert	2012-07-12
*	checklink: configuration, indicate external symbols	varobert	2012-07-12
*	checklink: added configurability	varobert	2012-07-11
*	checklink: more stringent compilation	varobert	2012-07-11
*	Strip quotes from section names during #pragma parsing.	xleroy	2012-07-11
*	Updated ARM port.	xleroy	2012-07-10
*	Accept long double literals if -flongdouble is given.	xleroy	2012-07-10
*	checklink: fixed SDA inference, passes test	varobert	2012-07-10
*	Micro-optimization of (x & mask) >>s amount into a rolm when mask >= 0.	xleroy	2012-07-09
*	Revert unintentional commit #1955	xleroy	2012-07-06
*	checklink: minor changes	varobert	2012-07-05
*	Ajout trunk CompCert	blazy	2012-07-04
*	checklink: better diagnosis	varobert	2012-07-04
*	checklink: some more debug tracing	varobert	2012-07-04
*	checklink: more defensive is_padding	varobert	2012-07-04
*	checklink: fixed bits/bytes mistake	varobert	2012-07-04
*	Update CombineOp for arm and ia32.	xleroy	2012-07-03
*	checklink: adaptation to the new floats	varobert	2012-07-03
*	Process successors in increasing order. Helps preserving the nice CFG	xleroy	2012-07-01
*	Factor out the evaluation of the float constant in intuoffloat.	xleroy	2012-07-01
*	Recombine x = cmp(...); if (x == 1) ...	xleroy	2012-07-01
*	Added option -falign-functions	xleroy	2012-07-01
*	More aggressive 'uncasting' before storing small integers	xleroy	2012-06-30
*	checklink: Faster printing	varobert	2012-06-29
*	checklink: Indentation	varobert	2012-06-29
*	checklink: removed garbage code	varobert	2012-06-29
*	Changelog: updated	xleroy	2012-06-28
*	Use Flocq for floats	xleroy	2012-06-28
*	Make min_int / -1 and min_int % -1 semantically undefined	xleroy	2012-06-09
*	More properties on mul/div/mod	xleroy	2012-06-09
*	checklink: improved user-friendliness	varobert	2012-06-04
*	checklink: improved error messages	varobert	2012-06-01
*	checklink: new disassembler, error severity, ...	varobert	2012-06-01