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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix a bug in the pre-parser.	Jacques-Henri Jourdan	2016-03-23	1	-0/+17
\|
*	Merge remote-tracking branch 'origin/master' into parser_fix	Jacques-Henri Jourdan	2015-11-04	1	-0/+4
\|\
* \|	Better handling of old-style K&R function declarations:	Jacques-Henri Jourdan	2015-11-01	1	-3/+59
\| \| \| \| \| \| \| \| \| \| \| \|	- Added a Cabs.PROTO_OLD constructor to Cabs.decl_type - Refactored the Parser.vy and pre_parser.mly grammars - Rewritten the conversion of old function definitions to new-style
* \|	other, simpler fix: the lexer emits 2 tokens for each identifier	Jacques-Henri Jourdan	2015-10-08	1	-0/+17
\|/
*	Fixed a few bugs in the pre parser. In particular, the following code	Jacques-Henri Jourdan	2015-09-30	1	-0/+104
	was not parsed correctly: typedef int a; int f() { for(int a; ;) if(1); a * x; } Additionnaly, I tried to add some comments in the pre-parser code, especially for the different hacks used to solve various conflicts.