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

	Commit message (Expand)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+5
*	begin implementing thread_local storage	David Monniaux	2020-02-24	1	-0/+3
*	Record value of constant expression in C.Scase constructor	Xavier Leroy	2018-04-27	1	-1/+1
*	Improved handling and diagnostics for the `auto` storage class (#99)	Xavier Leroy	2018-04-25	1	-0/+1
*	Handle dcompcertc and dparsedc like all dump opts.	Bernhard Schommer	2018-01-04	1	-0/+10
*	Use C99 syntax to print attributes over array types	Xavier Leroy	2017-02-01	1	-4/+5
*	Revised elaboration of attributes	Xavier Leroy	2017-01-31	1	-4/+2
*	Added raw printing of types without formatting.	Bernhard Schommer	2016-08-16	1	-3/+8
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-4/+4
*	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	1	-1/+5
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-2/+36
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-2/+4
*	C: Support array initializers that are too short + default init for remainder.	xleroy	2014-03-28	1	-1/+1
*	Simpler, more robust emulation of calls to variadic functions:	xleroy	2013-12-28	1	-1/+2
*	Merge of the "alignas" branch.	xleroy	2013-10-05	1	-0/+1
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-4/+8
*	Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)	xleroy	2012-11-03	1	-10/+10
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26	1	-0/+2
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12	1	-4/+6
*	Preliminary support for gcc-style __attribute__ over types	xleroy	2010-07-08	1	-51/+62
*	Support for 'inline' modifier	xleroy	2010-03-03	1	-1/+3
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+490