compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Install the new system for reporting syntax errors.	François Pottier	2015-10-23	1	-6/+15
*	Lexer update: use Menhir's incremental API instead of Menhir's traditional API.	François Pottier	2015-10-23	1	-3/+16
*	Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].	François Pottier	2015-10-23	1	-6/+10
*	Lexer cleanup: isolate the entry point into the lexer.	François Pottier	2015-10-23	1	-6/+10
*	Read the whole source C file into memory instad of reading it on demand.	François Pottier	2015-10-23	1	-2/+2
*	Fix [Lexer.char_literal] and [Lexer.string_literal] to properly keep track of...	François Pottier	2015-10-22	1	-10/+12
*	Fixed a few bugs in the pre parser. In particular, the following code	Jacques-Henri Jourdan	2015-09-30	1	-36/+42
*	Detect (and reject with an error) preprocessing numbers that are not valid in...	Xavier Leroy	2015-04-06	1	-0/+7
*	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