compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-31	1	-0/+27
\|\ \| \| \| \| \| \| \| \| \| \|	Conflicts: Makefile driver/Driver.ml
\| *	Improvements in the StructReturn transformation (ABI conformance for passing ↵	Xavier Leroy	2015-03-20	1	-0/+27
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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.
* \|	Started implementing the printing functions for the debug info. Added a ↵	Bernhard Schommer	2015-03-16	1	-0/+6
\|/ \| \| \|	global target dependend option to activate the printing only for targets wher it works.
*	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 ↵	Bernhard Schommer	2014-12-04	1	-1/+1
\| \| \| \|	directory. Use Sys.executable_name instead of Sys.argv.(0).
*	Removed environment variable for the stdlib_path and added a new variable ↵	Bernhard Schommer	2014-10-06	1	-11/+15
\| \| \| \|	for the configuration file.
*	Change the way the tools like the linker, assembler, etc. are specified by ↵	Bernhard Schommer	2014-09-30	1	-0/+86
	including an .ini file parser. The .ini file is generated in the Makefile instead of the Configuration.ml file and parsed on start.