compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove -version-file option	Xavier Leroy	2020-10-12	1	-19/+2
\| \| \| \|	It is specific to AbsInt's commercial version of CompCert.
*	Add missing comment for print_version_file_and_exit	Christoph Cullmann	2020-07-30	1	-0/+1
\|
*	No trailing commas for --version-file option.	Bernhard Schommer	2020-07-09	1	-1/+1
\|
*	Fix typo.	Bernhard Schommer	2020-07-08	1	-1/+1
\|
*	Revert "Use the same version string."	Bernhard Schommer	2020-07-08	1	-3/+10
\| \| \| \|	This reverts commit 1a01ad629109cdb60fddae3787e3a589d20e9790.
*	Use the same version string.	Bernhard Schommer	2020-07-08	1	-10/+3
\| \| \| \| \| \|	The version string dumped in the file should be the same as the version string printed by `-version`. The option is also not printed by `-help` since it is for internal use only.
*	Introduce additional "branch" build information.	Bernhard Schommer	2020-07-08	1	-3/+5
\|
*	Add option to print version information in file	Bernhard Schommer	2020-07-08	1	-1/+17
\|
*	Change to AbsInt version string.	Bernhard Schommer	2019-05-10	1	-2/+2
\| \| \| \| \|	The AbsInt build number no longer contains "release", so it must be printed additionally.
*	Share code for common options.	Bernhard Schommer	2018-01-29	1	-0/+89
	In order to avoid more divergence between the command line options of clightgen and ccomp the code for the common options, the language support options, the version string and the general options.