compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	One cosmetic change of [option] to [?]. No impact.	François Pottier	2015-10-07	1	-1/+1
*	Factorized the two forms of FOR statement by introducing [for_statement_header].	François Pottier	2015-10-07	1	-2/+6
*	Introduced optional(X, Y), which means X? Y, and used it in array declarators...	François Pottier	2015-10-07	1	-4/+12
*	Factorized the productions for several categories of binary operators.	François Pottier	2015-10-07	1	-13/+20
*	Factorized two productions (and two error productions) in [enum_specifier].	François Pottier	2015-10-07	1	-5/+2
*	Factorized two productions (and two error productions) in [struct_or_union_sp...	François Pottier	2015-10-07	1	-5/+2
*	For clarity, removed several redundant calls to [set_id_type].	François Pottier	2015-10-07	1	-9/+5
*	Introduced [other_identifier] as a more elegant way of calling [set_id_type i...	François Pottier	2015-10-07	1	-19/+22
*	One more replacement of [ioption] with [option].	François Pottier	2015-10-07	1	-1/+1
*	Use [option] as much as possible and [ioption] only where necessary.	François Pottier	2015-10-07	1	-13/+30
*	Add whitespace, for better vertical alignment and better readability.	François Pottier	2015-10-07	1	-21/+13
*	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