compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-1/+7
\|
*	Assorted fixes to fix parsing issues and be more GCC-like:	xleroy	2014-05-12	1	-5/+6
\| \| \| \| \| \| \| \| \| \|	- Moved scanning of char constants and string literals entirely to Lexer - Parser: separate STRING_LITERAL from CONSTANT to be closer to ISO C99 grammar - pre_parser: adapted + "asm" takes string_literal, not CONSTANT - Revised errors "inline doesnt belong here" git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2492 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Support for old-style K&R function definitions.	xleroy	2014-05-05	1	-0/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2478 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+215
	(Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e