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

	Commit message (Expand)	Author	Age	Files	Lines
...
* \|	Better handling of old-style K&R function declarations:	Jacques-Henri Jourdan	2015-11-01	1	-88/+90
* \|	other, simpler fix: the lexer emits 2 tokens for each identifier	Jacques-Henri Jourdan	2015-10-08	1	-203/+136
\|/
*	Fixed a few bugs in the pre parser. In particular, the following code	Jacques-Henri Jourdan	2015-09-30	1	-102/+234
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-1/+37
*	Support "asm volatile" (closes: PR#5).	Xavier Leroy	2014-12-29	1	-1/+1
*	Empty declarations	jjourdan	2014-05-23	1	-0/+2
*	Typo in struct_declaration_list causing conflicts.	xleroy	2014-05-18	1	-1/+1
*	- Re-added support for "__func__" identifier as per ISO C99.	xleroy	2014-05-15	1	-0/+1
*	Assorted fixes to fix parsing issues and be more GCC-like:	xleroy	2014-05-12	1	-2/+3
*	Do not allow typedef_name in identifier lists of K&R style definitions	jjourdan	2014-05-05	1	-4/+4
*	Support for old-style K&R function definitions.	xleroy	2014-05-05	1	-0/+22
*	Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...	xleroy	2014-05-05	1	-3/+1
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+658