compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	1	-5/+4
\| \| \| \| \|	Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation.
*	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-7/+5
\| \| \| \| \| \|	Added functions to add more information to the debuging interface, like the struct layout with offsets, bitifiled layout and removed the no longer needed mapping from stamp to atom.
*	Revert "Startet implementation of new Debug interface."	Bernhard Schommer	2015-09-10	1	-2/+2
\| \| \| \|	This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed.
*	Startet implementation of new Debug interface.	Bernhard Schommer	2015-09-06	1	-2/+2
\| \| \| \| \| \|	Added a new file debug/Debug.ml which will be the interface between for generating and printing the debuging information. Currently it contains only the code for the line directived.
*	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	1	-2/+6
\|
*	Do not search for high and low pc of inlined functions.	Bernhard Schommer	2015-07-02	1	-1/+1
\|
*	Merged PrintAnnot into PrintAsmaux.	Bernhard Schommer	2015-05-14	1	-3/+3
\|
*	Use globl also for global variables.	Bernhard Schommer	2015-05-07	1	-1/+1
\|
*	Added translation fucntion for declarations and fundefinitions.	Bernhard Schommer	2015-03-23	1	-4/+38
\|
*	Activating the printing of the debug information for supported architecture.	Bernhard Schommer	2015-03-19	1	-2/+6
\|
*	Added function to convert C types into their dwarf represnation.	Bernhard Schommer	2015-03-18	1	-1/+1
\|
*	Started implementing the printing functions for the debug info. Added a ↵	Bernhard Schommer	2015-03-16	1	-1/+6
\| \| \| \|	global target dependend option to activate the printing only for targets wher it works.
*	Started integrating the debug printing in the common backend_printer.	Bernhard Schommer	2015-03-11	1	-0/+1
\|
*	Removed unused sel_target, changed cygwin symbol names and changed the ↵	Bernhard Schommer	2015-02-19	1	-3/+1
\| \| \| \|	default function aligment to be target dependent.
*	Added an elf prefix to all common elf functions in PrintAsmaux.	Bernhard Schommer	2015-02-18	1	-4/+4
\|
*	Changed print_fun/var_info to be functions instead of booleans.	Bernhard Schommer	2015-02-18	1	-4/+2
\|
*	Removed some style issues.	Bernhard Schommer	2015-02-18	1	-65/+71
\|
*	Changed arm backend to the common backend printer.	Bernhard Schommer	2015-02-09	1	-1/+1
\|
*	Changed the ASM printer of the powerpc to the generalized backend.	Bernhard Schommer	2015-02-05	1	-0/+99