compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Removed the open Filename.	Bernhard Schommer	2015-12-11	1	-9/+8
*	Add a target option.	Bernhard Schommer	2015-12-11	1	-2/+5
*	Allow relative paths for the tools.	Bernhard Schommer	2015-12-01	1	-10/+21
*	Allow relative library path.	Bernhard Schommer	2015-11-30	1	-2/+11
*	New option --conf.	Bernhard Schommer	2015-11-26	1	-18/+30
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-6/+6
*	Added the directory ../share/compcert to the search path for .ini files and r...	Bernhard Schommer	2015-08-23	1	-9/+12
*	Removed the version from the compcert.ini file and add it again in a separate...	Bernhard Schommer	2015-07-01	1	-1/+0
*	Provide and use compiler-dependent standard headers.	Xavier Leroy	2015-04-25	1	-0/+5
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-31	1	-0/+27
\|\
\| *	Improvements in the StructReturn transformation (ABI conformance for passing ...	Xavier Leroy	2015-03-20	1	-0/+27
* \|	Started implementing the printing functions for the debug info. Added a globa...	Bernhard Schommer	2015-03-16	1	-0/+6
\|/
*	Use Unix.create_process instead of Sys.command (continued).	Xavier Leroy	2014-12-29	1	-62/+63
*	Stdlib path is ignored when the configuration has_runtime_lib is set to false.	Bernhard Schommer	2014-12-15	1	-2/+7
*	Removed unused variable and changed the search for the installation directory...	Bernhard Schommer	2014-12-04	1	-1/+1
*	Removed environment variable for the stdlib_path and added a new variable for...	Bernhard Schommer	2014-10-06	1	-11/+15
*	Change the way the tools like the linker, assembler, etc. are specified by in...	Bernhard Schommer	2014-09-30	1	-0/+86