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	-2/+5
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-1/+1
*	Record value of constant expression in C.Scase constructor	Xavier Leroy	2018-04-27	1	-1/+1
*	Reactivated and improved ais annotations.	Bernhard Schommer	2018-03-06	1	-1/+1
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-1/+1
*	Next try for support of anonymous structs.	Bernhard Schommer	2016-12-07	1	-1/+2
*	Remove undocumented option. Bug 20193	Bernhard Schommer	2016-10-14	1	-23/+6
*	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-2/+1
*	Handle large static initializers for global arrays	Xavier Leroy	2015-11-09	1	-1/+1
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-8/+8
*	Remove non digit and non letter chars from filename used in renaming of stati...	Bernhard Schommer	2015-07-15	1	-0/+1
*	Added flag for the renaming of static functions.	Bernhard Schommer	2015-05-19	1	-6/+22
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-1/+7
*	Support C99 compound literals (by expansion in Unblock pass).	xleroy	2014-08-21	1	-10/+11
*	Simpler, more robust emulation of calls to variadic functions:	xleroy	2013-12-28	1	-0/+1
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-4/+6
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-2/+2
*	Problems with multiple declarations of publically-visible identifiers	xleroy	2012-02-29	1	-9/+21
*	- 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	-4/+5
*	Revised treatment of builtins	xleroy	2010-03-07	1	-1/+1
*	Support for 'inline' modifier	xleroy	2010-03-03	1	-0/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+253