compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix misspellings in messages, man pages, and comments	Xavier Leroy	2019-05-31	1	-1/+1
\| \| \| \| \| \|	This is a manual, partial merge of Github pull request #296 by @Fourchaux. flocq/, cparser/MenhirLib/ and parts of test/ have not been changed because these are local copies and the fixes should be performed upstream.
*	Expand the responsefiles earlier	Bernhard Schommer	2019-05-10	1	-3/+3
\| \| \| \| \| \| \| \| \|	* Move the expansion of response files to module Commandline, during the initialization of `Commandline.argv`. This way we're sure it's done exactly once. * Make `Commandline.argv` a `string array` instead of a `string array ref`. We no longer need to update it after initialization! * Improve reporting of errors during expansion of response files.
*	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.