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
*	Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8	David Monniaux	2020-11-18	1	-1/+18
\|\
\| *	Support _Static_assert from C11	Xavier Leroy	2020-07-21	1	-1/+18
* \|	parse _Thread_local	David Monniaux	2020-02-24	1	-1/+3
\|/
*	New parser based on new version of the Coq backend of Menhir (#276)	Jacques-Henri Jourdan	2019-07-05	1	-289/+306
*	Wrong AST for GCC-style attributes	Xavier Leroy	2018-08-17	1	-1/+1
*	Remove the `_Alignas(expr)` construct (#125)	Xavier Leroy	2018-06-07	1	-4/+2
*	Change the syntax to gcc/clangs syntax.	Bernhard Schommer	2017-02-01	1	-2/+4
*	New version to support designators.	Bernhard Schommer	2017-01-24	1	-2/+2
*	Implement offsetof via builtin.	Bernhard Schommer	2017-01-20	1	-1/+3
*	Keep anonymous members of anonymous structs.	Bernhard Schommer	2016-09-27	1	-1/+1
*	Added the _Noreturn keyword.	Bernhard Schommer	2016-03-23	1	-9/+10
*	Better handling of old-style K&R function declarations:	Jacques-Henri Jourdan	2015-11-01	1	-67/+79
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-4/+50
*	Support "asm volatile" (closes: PR#5).	Xavier Leroy	2014-12-29	1	-0/+2
*	Empty declarations	jjourdan	2014-05-23	1	-0/+5
*	- Re-added support for "__func__" identifier as per ISO C99.	xleroy	2014-05-15	1	-2/+2
*	Assorted fixes to fix parsing issues and be more GCC-like:	xleroy	2014-05-12	1	-2/+6
*	Support for old-style K&R function definitions.	xleroy	2014-05-05	1	-2/+41
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+845