compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Removed the version from the compcert.ini file and add it again in a separate...	Bernhard Schommer	2015-07-01	1	-1/+1
*	Merged PrintAnnot into PrintAsmaux.	Bernhard Schommer	2015-05-14	1	-0/+160
*	Started implementing the printing functions for the debug info. Added a globa...	Bernhard Schommer	2015-03-16	1	-0/+5
*	Started integrating the debug printing in the common backend_printer.	Bernhard Schommer	2015-03-11	1	-0/+3
*	Removed unused sel_target, changed cygwin symbol names and changed the defaul...	Bernhard Schommer	2015-02-19	1	-0/+1
*	Added an elf prefix to all common elf functions in PrintAsmaux.	Bernhard Schommer	2015-02-18	1	-13/+11
*	Changed print_fun/var_info to be functions instead of booleans.	Bernhard Schommer	2015-02-18	1	-2/+2
*	Changed arm backend to the common backend printer.	Bernhard Schommer	2015-02-09	1	-1/+1
*	Changed the ia32 backend to the new Printer.	Bernhard Schommer	2015-02-06	1	-0/+5
*	Changed the ASM printer of the powerpc to the generalized backend.	Bernhard Schommer	2015-02-05	1	-2/+4
*	Moved more common functions into a seperate file.	Bernhard Schommer	2015-02-04	1	-2/+46
*	Started moving common backend functions into one file.	Bernhard Schommer	2015-02-03	1	-0/+84