compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fixed typo. Bug 19504	Bernhard Schommer	2016-08-08	1	-1/+1
\|
*	Added error check before transformations.	Bernhard Schommer	2016-08-08	1	-2/+4
\| \| \| \| \| \|	Added a check for errors after the elab phases to avoid problems in the transformations due to broken input programs. Bug 19504
*	Added [Cerrors.fatal_error_raw].	François Pottier	2015-10-23	1	-0/+12
\|
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+3
\| \| \| \| \| \| \|	(Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Catch and report Env errors arising out of some Cutil functions	xleroy	2013-12-30	1	-1/+1
\| \| \| \| \| \| \|	(incomplete_type, sizeof, etc). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2393 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-0/+55
	cparser: renamed Errors to Cerrors; removed packing into Cparser. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e