compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Wrong type used for transforming lval = f(...)	xleroy	2014-02-21	1	-1/+1
*	Add option -Os to optimize for code size rather than for execution speed.	xleroy	2014-02-19	1	-9/+15
*	- Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4.	xleroy	2014-01-12	1	-1/+4
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-4/+8
*	Catch and report Env errors arising out of some Cutil functions	xleroy	2013-12-30	2	-8/+9
*	Elab.ml: more warnings.	xleroy	2013-12-30	2	-6/+16
*	Improved detection of variables with incomplete types.	xleroy	2013-12-30	1	-4/+9
*	Check in C2C that packed structs were properly emulated.	xleroy	2013-12-28	1	-3/+8
*	Simpler, more robust emulation of calls to variadic functions:	xleroy	2013-12-28	5	-5/+9
*	Hack StructReturn to better adhere to PowerPC and ARM calling conventions.	xleroy	2013-12-20	3	-67/+142
*	Bring sizeof and alignof in sync with cfrontend/Ctypes.	xleroy	2013-12-11	1	-22/+18
*	Revised treatment of _Alignas, for better compatibility with GCC and Clang, a...	xleroy	2013-11-06	2	-10/+19
*	Make it possible to use the "__packed__" keyword as an attribute name	xleroy	2013-11-05	1	-0/+1
*	Eliminate unreferenced inline functions	xleroy	2013-10-28	1	-2/+4
*	Revise parsing of character constants for conformance with ISO C 99.	xleroy	2013-10-25	2	-12/+14
*	Typing of integer literals: follow C99 rules exactly.	xleroy	2013-10-21	1	-28/+29
*	PackedStructs.ml: cleanups and bug-fixes	xleroy	2013-10-13	2	-15/+17
*	Merge of the "alignas" branch.	xleroy	2013-10-05	8	-257/+211
*	Follow-up to commit 2339:	xleroy	2013-10-05	1	-1/+1
*	Elab:	xleroy	2013-10-04	2	-29/+34
*	Bad printing of alignment on 'comm' symbols.	xleroy	2013-07-07	1	-2/+2
*	Recognize attribute((packed)) after a "struct {...}" and not just between "st...	xleroy	2013-06-21	3	-18/+39
*	Support __attribute__(ident) where ident is not bound. Useful for GCC compat...	xleroy	2013-05-13	1	-3/+6
*	Revert suppression of __builtin_{read,write}_reversed for x86 and ARM,	xleroy	2013-04-29	3	-33/+49
*	Add __builtin_bswap16 and __builtin_bswap32 to all ports.	xleroy	2013-04-20	1	-15/+35
*	Updated	xleroy	2013-03-26	2	-18/+23
*	Better locations for error messages relative to type specifiers.	xleroy	2013-03-25	1	-14/+9
*	Remove the C primitives for unsigned long long arithmetic, replaced	xleroy	2013-03-18	3	-44/+25
*	Suppress int64_unsigned_to_float, now unused.	xleroy	2013-03-11	2	-7/+0
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	16	-71/+198
*	Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)	xleroy	2012-11-03	10	-86/+84
*	Update cparser/Makefile (fix by Jacques-Henri Jourdan)	xleroy	2012-11-03	2	-28/+28
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	11	-14/+36
*	Cprint: export Cprint.attributes	xleroy	2012-03-07	2	-6/+25
*	Problems with multiple declarations of publically-visible identifiers	xleroy	2012-02-29	2	-10/+22
*	'typeof' is not a keyword	xleroy	2012-02-29	1	-0/+2
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26	10	-19/+27
*	Interp: help debug stuck expressions	xleroy	2012-02-10	3	-5/+4
*	Merge of the "volatile" branch:	xleroy	2012-02-04	13	-1243/+31
*	cparser/*: refactoring of the expansion of read-modify-write operators	xleroy	2011-11-26	8	-225/+342
*	Corrected initialization of char arrays by string literals.	xleroy	2011-10-17	1	-24/+23
*	More cleanups in packed struct emulation.	xleroy	2011-10-16	2	-14/+18
*	Revised emulation of packed structs	xleroy	2011-10-16	2	-56/+53
*	arm/PrintAsm: don't generate "vfd" directive, useless?	xleroy	2011-08-22	4	-20/+31
*	Wrong check: &e must be rejected if e has array type and is not a l-value.	xleroy	2011-08-21	1	-8/+5
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18	1	-12/+18
*	SimplVolatile: new pass to eliminate read-modify-write ops over volatiles	xleroy	2011-08-18	10	-169/+265
*	Factor out bind_lvalue	xleroy	2011-08-17	3	-41/+20
*	More vigorous scrubbing of r-value structs	xleroy	2011-08-09	1	-12/+8
*	Improved treatment of structs/unions as r-values	xleroy	2011-08-08	2	-21/+47