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
*	seems to process _Thread_local but not till backend	David Monniaux	2020-02-24	1	-1/+1
*	begin implementing thread_local storage	David Monniaux	2020-02-24	1	-3/+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	-1/+1
*	Revert "preserve static initialized variables (#81)"	Xavier Leroy	2018-04-10	1	-9/+2
*	Check for redefinition of globals and preserve static initialized variables (...	Bernhard Schommer	2018-04-09	1	-3/+15
*	Fixed regression introduce by merge of PR#69.	Bernhard Schommer	2015-12-03	1	-4/+1
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-3/+3
*	Remove unused globals also from the debug informations.	Bernhard Schommer	2015-10-01	1	-1/+6
*	Proper treatment of extended asm.	Xavier Leroy	2015-04-21	1	-1/+5
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-1/+2
*	- Re-added support for "__func__" identifier as per ISO C99.	xleroy	2014-05-15	1	-4/+9
*	Eliminate unreferenced inline functions	xleroy	2013-10-28	1	-2/+4
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-4/+7
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26	1	-0/+1
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12	1	-3/+3
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+196