compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Recognize more of GCC's alternate keywords (e.g. "__signed").	Xavier Leroy	2014-12-29	1	-21/+24
*	GCCism: accept __volatile and __volatile__	Xavier Leroy	2014-09-21	1	-0/+2
*	Error instead of warning on illegal escape sequences.	Xavier Leroy	2014-09-21	1	-1/+1
*	Assorted fixes to fix parsing issues and be more GCC-like:	xleroy	2014-05-12	1	-62/+101
*	Fix string litteral parsing	jjourdan	2014-05-11	1	-1/+4
*	- Added alternate keywords __inline, __restrict, etc, for GCC compatibility	xleroy	2014-05-08	1	-2/+24
*	Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)...	xleroy	2014-05-05	1	-12/+7
*	Be less picky in the way we parse '#' lines	xleroy	2014-05-02	1	-11/+23
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-593/+462
*	Merge of the "alignas" branch.	xleroy	2013-10-05	1	-0/+5
*	Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan)	xleroy	2012-11-03	1	-18/+28
*	'typeof' is not a keyword	xleroy	2012-02-29	1	-0/+2
*	- Support for _Alignof(ty) operator from ISO C 2011	xleroy	2012-02-26	1	-0/+1
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+604