compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Do not allow typedef_name in identifier lists of K&R style definitions	jjourdan	2014-05-05	1	-4/+4
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2479 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Support for old-style K&R function definitions.	xleroy	2014-05-05	1	-0/+22
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2478 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Treat all identifiers as VAR_NAME by default (i.e. if not bound by a ↵	xleroy	2014-05-05	1	-3/+1
\| \| \| \| \| \|	typedef). This produces better error messages for unbound variable names (proper error message in Elab rather than cryptic syntax error in pre_parser). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2477 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+658
	(Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e