compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	First try of debug information for gcc.	Bernhard Schommer	2015-10-02	1	-3/+3
\|
*	Cleanup of now no longer needed functions.	Bernhard Schommer	2015-10-01	1	-1/+0
\|
*	Only print locations for symbols that are present in the assembler.	Bernhard Schommer	2015-10-01	1	-1/+2
\|
*	Change the way the debug sections are printed.	Bernhard Schommer	2015-09-28	1	-10/+11
\| \| \| \| \| \|	If a user uses the #pragma use_section for functions the diab linker requires a separate debug_info section for each entry. This commit adds functionality to emulate this behavior.
*	Added printing the reference address for the LocRef and started refactoring old	Bernhard Schommer	2015-09-27	1	-6/+1
\| \| \| \| \| \| \| \|	Debuging code. The old functions to store the symbol for the Global variables and retrive this is no longer needed since the atom is stored in DebugInformation. Also the Debug.Abbrev module is no longer needed.
*	Added support for the locations of stack allocated local variables.	Bernhard Schommer	2015-09-25	1	-3/+5
\| \| \| \| \|	This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section.
*	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