debian-compcert - Debian packaging for CompCert

	Commit message (Expand)	Author	Age
...
*	- Re-added support for "__func__" identifier as per ISO C99.	xleroy	2014-05-15
*	Assorted fixes to fix parsing issues and be more GCC-like:	xleroy	2014-05-12
*	Incorrect conversion of K&R functions. Example of problem:	xleroy	2014-05-12
*	Fix string litteral parsing	jjourdan	2014-05-11
*	Bump	xleroy	2014-05-09
*	Fixed regression on initializers of the form T x[N] = "literal";	xleroy	2014-05-08
*	- Added alternate keywords __inline, __restrict, etc, for GCC compatibility	xleroy	2014-05-08
*	Update Coq documentation	xleroy	2014-05-05
*	Update for release 2.3.	xleroy	2014-05-05
*	Fused multiply-add for IA32.	xleroy	2014-05-05
*	Stern warning on non-prototype function definitions.	xleroy	2014-05-05
*	Do not allow typedef_name in identifier lists of K&R style definitions	jjourdan	2014-05-05
*	Support for old-style K&R function definitions.	xleroy	2014-05-05
*	Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...	xleroy	2014-05-05
*	Adapt to the two different calling conventions for floats.	xleroy	2014-05-02
*	ARM: honor common variables.	xleroy	2014-05-02
*	New sub-target: arm-hardfloat	xleroy	2014-05-02
*	Preliminary support for EABI-hardfloat calling conventions	xleroy	2014-05-02
*	Be less picky in the way we parse '#' lines	xleroy	2014-05-02
*	Check availability of tools	xleroy	2014-05-02
*	Bump version number before I forget	xleroy	2014-05-01
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29
*	Update with post-2.2 changes	xleroy	2014-04-23
*	Clean-up pass on C types:	xleroy	2014-04-23
*	Continued: change typeconv t into incrdecr_type t for Epostincr.	xleroy	2014-04-16
*	Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate type	xleroy	2014-04-15
*	Updated the proofs.	xleroy	2014-04-12
*	ia32/Select*: complete the modifications to shifts.	xleroy	2014-04-11
*	Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove...	xleroy	2014-04-09
*	Support Onot operator / notl instruction. More constant propagation during s...	xleroy	2014-04-06
*	Reducing compilation times: (by 35% on one example)	xleroy	2014-04-06
*	Merge of branch linear-typing:	xleroy	2014-04-06
*	"->" can also be applied to array types, not just pointer types.	xleroy	2014-03-30
*	__builtin_absfloat can be applied to integers too.	xleroy	2014-03-29
*	Inlining: preserve all RTL regs mentioned in the function, not just	xleroy	2014-03-29
*	C: Support array initializers that are too short + default init for remainder.	xleroy	2014-03-28
*	Revert commits r2435 and r2436 (coarser RTLtyping / finer Lineartyping):	xleroy	2014-03-28
*	Comments	xleroy	2014-03-27
*	Move wt_instr_inv where it belongs.	xleroy	2014-03-27
*	Revised division of labor between RTLtyping and Lineartyping:	xleroy	2014-03-27
*	Type-checking of builtin volatile write Mfloat32 was too strict, causing type...	xleroy	2014-03-24
*	Error messages were not displayed correctly if the main() function is missing...	xleroy	2014-03-21
*	Support array initialization lists that are too short	xleroy	2014-03-18
*	Use .comm to declare uninitialized BSS variables.	xleroy	2014-03-14
*	floatoflong_from_words, floatoflongu_from_words : proof of PowerPc implementa...	jjourdan	2014-03-13
*	floatoflong_decomp, floatoflongu_decomp	jjourdan	2014-03-11
*	Force dependency of SelectOp on Compopts.	xleroy	2014-03-03
*	Do not transform __builtin_va_arg for a struct or union type, this causes	xleroy	2014-02-24
*	Silence the warning "Cannot build inversion information".	xleroy	2014-02-24
*	Update clightgen for CompCert 2.2.	xleroy	2014-02-23