compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	"macosx" is now called "macos"	Xavier Leroy	2021-01-18	1	-1/+1
*	AArch64 port	Xavier Leroy	2019-08-08	1	-1/+1
*	Expand the responsefiles earlier	Bernhard Schommer	2019-05-10	1	-3/+3
*	Removed struct passing/return from Configurations	Bernhard Schommer	2018-02-16	1	-28/+0
*	New support for inserting ais-annotations.	Bernhard Schommer	2017-10-19	1	-0/+2
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-1/+1
*	Introduced configuration variable for gnu systems.	Bernhard Schommer	2017-02-13	1	-15/+11
*	remove unused file, update tests for arch-field of configuration files	Michael Schmidt	2016-11-03	1	-1/+1
*	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	1	-1/+1
*	fix merge conflicts	Michael Schmidt	2016-08-17	1	-0/+12
\|\
\| *	Added support for quoting for diab backend.	Bernhard Schommer	2016-07-21	1	-0/+2
\| *	Added simplified reader and printer for gnu @files	Bernhard Schommer	2016-07-20	1	-0/+10
* \|	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-0/+5
\|/
*	Activate advanced debug information for arm, ia32.	Bernhard Schommer	2016-06-28	1	-7/+1
*	Split up tools and options.	Bernhard Schommer	2016-02-25	1	-3/+12
*	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