compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update cparser/GNUmakefile to be compatible with BSD's cut utility. Choose ↵	Michael Schmidt	2018-07-19	1	-2/+2
\| \| \| \|	better name for generated test cases.
*	Fix in cparser/GNUmakefile.	François Pottier	2015-11-06	1	-1/+1
\| \| \| \| \| \|	Remove "&" which was a typo and did not make sense. Use "command -v" instead of "which" (more efficient). Use "=" instead of ":=" (more efficient).
*	Also redirect the output of stderr.	Bernhard Schommer	2015-10-26	1	-2/+1
\| \| \| \|	Bug 17481.
*	Added copyright banners to the new files.	François Pottier	2015-10-23	1	-0/+12
\|
*	Added a few cleanup commands in [make clean].	François Pottier	2015-10-23	1	-1/+1
\|
*	Install the new system for reporting syntax errors.	François Pottier	2015-10-23	1	-0/+175
	This requires the development version of Menhir, to be released soon. In summary: handcrafted.messages is new. It contains a mapping of erroneous sentences to error messages, together with a lot of comments. Makefile.extr is new. It contains a rule to generate cparser/pre_parser_messages.ml based on this mapping. cparser/ErrorReports.{ml,mli} are new. They construct syntax error messages, based on the compiled mapping. cparser/Lexer.mll is modified. The last two tokens that have been read are stored in a buffer. ErrorReports is called to construct a syntax error message. cparser/GNUmakefile is new. It offers several commands for working on the pre-parser. cparser/deLexer.ml is new. It is a script (it is not linked into CompCert). It translates the symbolic name of a token to an example of this token in concrete C syntax. It is used by [make -C cparser concrete] to produce the .c files in tests/generated/. cparser/tests/generated/Makefile is new. It runs ccomp, clang and gcc on each of the generated C files, so as to allow a comparison of the error messages.