compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-3/+8
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* Module Cerrors is now called Diagnostic and can be used in parts of CompCert other than cparser/ * Replaced eprintf error. Instead of having eprintf msg; exit 2 use the functions from the Diagnostics module. * Raise on error before calling external tools. * Added diagnostics to clightgen. * Fix error handling of AsmToJson. * Cleanup error handling of Elab and C2C. *The implementation of location printing (file & line) is simplified and correctly prints valid filenames with invalid lines.
*	Added a little bit more compilation info to sdump.	Bernhard Schommer	2017-06-26	1	-0/+3
\| \| \| \| \| \|	The additional compilation information contains the file, command line (after @-file expansion) and the current working directory. Bug 21690
*	Added option -fmax-errors.	Bernhard Schommer	2017-01-26	1	-0/+5
\| \| \| \| \| \| \|	The option -fmax-errors limits the number of errors that are reported before the compilation is aborted. The default 0 means no limit. Bug 19872
*	Ignore also ignores the argunment. Bug 18004	Bernhard Schommer	2016-09-20	1	-1/+1
\|
*	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-0/+2
\| \| \| \| \| \|	Color output is only enabled if stderr is a tty, and the environment variable TERM is not empty or dumb. Bug 18004
*	PR#16: give option rules precedence over file pattern rules.	Xavier Leroy	2015-01-03	1	-2/+1
\| \| \| \| \| \|	Plus: simplify handling of -help and --help. Plus: error on unrecognized "-xxx" options so that "-foo.c" is not treated as a source file.
*	Revised parsing of command-line arguments (in preparation for adding more).	Xavier Leroy	2014-11-16	1	-0/+41
	Honor "ccomp -E foo.h" for GCC compatibility. Accept .o.ext files as object files for GCC compatibility. Fixed and improved handling of Cminor source files.