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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Various improvements in the wording of diagnostics.	Michael Schmidt	2018-08-02	1	-1/+1
\| \| \| \| \| \|	Fix various typos in diagnostic messages and unified wording and capitalization. Bug 23850
*	Move machine initialization to Frontend.init function. (#49)	Bernhard Schommer	2018-01-11	1	-0/+3
\| \| \| \| \|	The initialization of Machine.config, as well as the calls to various initialization functions for the C front-end, are now performed by the new `Frontend.init` function. This avoids code duplication in driver/Driver.ml and exportclight/Clightgen.ml.
*	Moved assembler and linker into own files.	Bernhard Schommer	2016-06-24	1	-0/+1
\| \| \| \| \| \|	The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197
*	Moved shared frontend code in own file.	Bernhard Schommer	2016-05-24	1	-0/+23
	Clightgen and CompCert share the code for preprocessing as well as parsing C files. The code as well as command line switches is moved in the new module Frontend. Bug 18768