compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	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.