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
*	Support _Static_assert from C11	Xavier Leroy	2020-07-21	1	-0/+1
*	New parser based on new version of the Coq backend of Menhir (#276)	Jacques-Henri Jourdan	2019-07-05	1	-9/+4
*	Added the _Noreturn keyword.	Bernhard Schommer	2016-03-23	1	-1/+1
*	Merge remote-tracking branch 'origin/master' into parser_fix	Jacques-Henri Jourdan	2015-11-04	1	-2/+2
\|\
\| *	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
* \|	Better handling of old-style K&R function declarations:	Jacques-Henri Jourdan	2015-11-01	1	-9/+1
\|/
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-1/+1
*	Assorted fixes to fix parsing issues and be more GCC-like:	xleroy	2014-05-12	1	-1/+1
*	Incorrect conversion of K&R functions. Example of problem:	xleroy	2014-05-12	1	-0/+7
*	Support for old-style K&R function definitions.	xleroy	2014-05-05	1	-0/+1
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-51/+4
*	Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...	xleroy	2010-09-01	1	-1/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+126