compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix merge conflicts	Michael Schmidt	2016-08-17	1	-0/+8
\|\
\| *	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
* \|	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-0/+3
\|/ \| \| \| \| \| \| \|	Adds support for the big endian arm targets by making the target endianess flag configurable, adding support for the big endian calling conventions, rewriting memory access patterns and adding big endian versions of the runtime functions. Bug 19418
*	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.