compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added support for quoting for diab backend.	Bernhard Schommer	2016-07-21	1	-0/+1
\| \| \| \| \| \|	The diab data compiler has different quoting conventions compared to the gnu tools. Bug 18308.
*	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	1	-0/+7
\| \| \| \| \| \| \| \|	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
*	Activate advanced debug information for arm, ia32.	Bernhard Schommer	2016-06-28	1	-3/+0
\| \| \| \| \| \|	The configuration advanced debug is removed and now full debug information is also generated for ia32 and arm. Bug 17609
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-0/+11
\| \| \| \| \| \|	Removed some unused variables, functions etc. and resolved some problems which occur if all warnings except 3,4,9 and 29 are active. Bug 18394.
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-1/+1
\|
*	Removed the version from the compcert.ini file and add it again in a ↵	Bernhard Schommer	2015-07-01	1	-2/+0
\| \| \| \|	separate file.
*	Provide and use compiler-dependent standard headers.	Xavier Leroy	2015-04-25	1	-0/+2
\| \| \| \| \| \| \| \| \| \| \| \|	This branch provides implementations of the following standard headers: <float.h> <stdarg.h> <stdbool.h> <stddef.h> <varargs.h> These are the headers that are provided by GCC and Clang, as opposed to being provided by Glibc and similar C standard libraries. Configuration flag "-no-standard-headers" deactivates the installation and use of these headers. Lightly tested so far (IA32 Linux).
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-31	1	-0/+2
\| \| \| \| \| \|	Conflicts: Makefile driver/Driver.ml
*	Improvements in the StructReturn transformation (ABI conformance for passing ↵	Xavier Leroy	2015-03-20	1	-0/+55
	composites). - Implement the "1/2/4/8" composite return policy, used by IA32/MacOS X and IA32/BSD. - Move the default passing conventions from Machine.ml to compcert.ini, making it easier to test the various conventions. - More comprehensive interoperability test in regression/interop1.c.