compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Extended unused vars check for params.	Bernhard Schommer	2017-02-17	1	-0/+1
*	Added a simple check for unused variables.	Bernhard Schommer	2017-02-17	1	-0/+1
*	More comments and improvements for unknown loc.	Bernhard Schommer	2017-01-18	1	-0/+1
*	Added backtrace handler.	Bernhard Schommer	2017-01-17	1	-0/+3
*	Added warning for inline asm in sdump. Bug 20593	Bernhard Schommer	2016-12-14	1	-0/+1
*	Renamed pedantic to implicit-int.	Bernhard Schommer	2016-09-22	1	-2/+2
*	Added conformance warning.	Bernhard Schommer	2016-08-31	1	-0/+1
*	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	1	-0/+2
\|\
\| *	Added error check before transformations.	Bernhard Schommer	2016-08-08	1	-0/+1
* \|	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-20/+43
* \|	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-4/+27
\|/
*	Added [Cerrors.fatal_error_raw].	François Pottier	2015-10-23	1	-0/+1
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+1
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-0/+22