compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Introduced configuration variable for gnu systems.	Bernhard Schommer	2017-02-13	1	-2/+2
\| \| \| \| \| \| \|	The variable gnu_toolchain is true if a gnu toolchain is used and false in all other cases. The variable avoids the explicit test whether the system string is diab and should be easier to change. Bug 20521.
*	Use quoted strings.	Bernhard Schommer	2017-01-18	1	-32/+34
\| \| \| \| \| \|	Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872
*	Moved assembler and linker into own files.	Bernhard Schommer	2016-06-24	1	-2/+2
\| \| \| \| \| \|	The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197
*	Deactivate options target dependend.	Bernhard Schommer	2016-06-24	1	-48/+49
\| \| \| \| \| \|	Options only available for gnu systems or arm target arch are no longer displayed in the help and cannot be selected any longer. Bug 19197
*	Moved shared frontend code in own file.	Bernhard Schommer	2016-05-24	1	-0/+163
	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