compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Expand the responsefiles earlier	Bernhard Schommer	2019-05-10	1	-7/+7
*	Various improvements in the wording of diagnostics.	Michael Schmidt	2018-08-02	1	-6/+6
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-10/+15
*	Added a little bit more compilation info to sdump.	Bernhard Schommer	2017-06-26	1	-2/+4
*	Added option -fmax-errors.	Bernhard Schommer	2017-01-26	1	-0/+17
*	Ignore also ignores the argunment. Bug 18004	Bernhard Schommer	2016-09-20	1	-1/+6
*	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	1	-1/+7
\|\
\| *	Moved quoting functions in Responsefile	Bernhard Schommer	2016-08-16	1	-1/+1
\| *	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	1	-1/+1
\| *	Added responsefile support for commandline.	Bernhard Schommer	2016-07-08	1	-1/+7
* \|	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-0/+4
\|/
*	PR#16: give option rules precedence over file pattern rules.	Xavier Leroy	2015-01-03	1	-7/+4
*	Revised parsing of command-line arguments (in preparation for adding more).	Xavier Leroy	2014-11-16	1	-0/+105