compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use the LGPL instead of the GPL for dual-licensed files	Xavier Leroy	2021-05-08	1	-4/+5
\| \| \| \| \| \|	The GPL makes sense for whole applications, but the dual-licensed Coq and OCaml files are more like libraries to be combined with other code, so the LGPL is more appropriate.
*	Moved quoting functions in Responsefile	Bernhard Schommer	2016-08-16	1	-2/+25
\| \| \| \| \| \|	Also corrected some typos and corrected exception handling for expandargv. Bug 18308
*	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	1	-0/+97
	The functions expandargv and writeargv resemble the functions from the libiberity that are used by the gnu tools. Additionaly a new configuration is added in order to determine which kind of response files are supported for calls to other tools. Bug 18308