compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Warning for decls without name in composites.	Bernhard Schommer	2016-11-22	1	-5/+5
*	Remove unnecessary usage of isatty.	Bernhard Schommer	2016-10-18	1	-1/+1
*	Catch errors from Unix for isatty.	Bernhard Schommer	2016-10-18	1	-1/+4
*	mention -Wall in help text	Michael Schmidt	2016-09-22	1	-0/+1
*	Added compcert-conformance to wall. Bug 19872	Bernhard Schommer	2016-09-22	1	-0/+2
*	Renamed pedantic to implicit-int.	Bernhard Schommer	2016-09-22	1	-5/+6
*	Fix typo in option name. Bug 18004	Bernhard Schommer	2016-09-21	1	-1/+1
*	Make unnamed default + correct empty struct warning. Bug 18004	Bernhard Schommer	2016-09-21	1	-0/+1
*	Remove the duplicated :. Bug 18004	Bernhard Schommer	2016-09-21	1	-3/+3
*	Added conformance warning.	Bernhard Schommer	2016-08-31	1	-0/+2
*	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	1	-2/+6
\|\
\| *	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
* \|	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-19/+16
* \|	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-13/+249
\|/
*	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
*	Catch and report Env errors arising out of some Cutil functions	xleroy	2013-12-30	1	-1/+1
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	1	-0/+55