compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	1	-6/+6
*	Merge branch 'debugscopes' into debug_locations	Bernhard Schommer	2015-09-21	1	-3/+5
\|\
\| *	Various changes in the debug printer.	Bernhard Schommer	2015-09-07	1	-6/+7
* \|	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	1	-27/+25
* \|	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-4/+0
* \|	Added the abbreviation for symbol constants.	Bernhard Schommer	2015-08-26	1	-0/+1
* \|	Merge branch 'master' into debug_locations	Bernhard Schommer	2015-08-26	1	-3/+2
\|\\|
\| *	Fixed abbreviation of DW_TAG_formal_parameter.	Bernhard Schommer	2015-08-25	1	-1/+1
\| *	Also change the order of high and low pc in the compilation unit tag.	Bernhard Schommer	2015-08-24	1	-1/+1
\| *	Revert "Added support for the location of non static global variables."	Bernhard Schommer	2015-08-23	1	-7/+1
* \|	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	1	-10/+10
\|/
*	Added support for the location of non static global variables.	Bernhard Schommer	2015-08-18	1	-1/+7
*	Swapped high and low pc in the printing of the debug information for subrouti...	Bernhard Schommer	2015-07-24	1	-2/+2
*	Allow forward declarations of structure and union types in the debug informat...	Bernhard Schommer	2015-07-03	1	-2/+2
*	Do not search for high and low pc of inlined functions.	Bernhard Schommer	2015-07-02	1	-3/+11
*	Allow Anonymous structs, unions and enums in debug info.	Bernhard Schommer	2015-07-02	1	-6/+6
*	Removed the version from the compcert.ini file and add it again in a separate...	Bernhard Schommer	2015-07-01	1	-1/+1
*	Changed the producer tag to include more information.	Bernhard Schommer	2015-05-18	1	-1/+2
*	Refactored the DwarfPrinter and added comments.	Bernhard Schommer	2015-03-30	1	-106/+80
*	Added missing functions for printing the structs and unions. Still missing pr...	Bernhard Schommer	2015-03-24	1	-7/+8
*	Added translation fucntion for declarations and fundefinitions.	Bernhard Schommer	2015-03-23	1	-15/+16
*	Activating the printing of the debug information for supported architecture.	Bernhard Schommer	2015-03-19	1	-8/+13
*	Added function to convert C types into their dwarf represnation.	Bernhard Schommer	2015-03-18	1	-18/+25
*	Added printers for the rest of the possible tags.	Bernhard Schommer	2015-03-16	1	-12/+74
*	Started implementing the printing functions for the debug info. Added a globa...	Bernhard Schommer	2015-03-16	1	-115/+243
*	Started integrating the debug printing in the common backend_printer.	Bernhard Schommer	2015-03-11	1	-95/+63
*	Starting to remove the seperate printers for each backend.	Bernhard Schommer	2015-02-02	1	-0/+356
*	Renamed the printer module for the Abbreviations and deactivated adding the -...	Bernhard Schommer	2014-12-02	1	-322/+0
*	Removed compile error and added dummy function for the printing of entries.	Bernhard Schommer	2014-11-17	1	-3/+9
*	More functionality for the Printer.	Bernhard Schommer	2014-11-14	1	-1/+4
*	Moved abbreviation printer into a seperate file. The printer should also prin...	Bernhard Schommer	2014-11-12	1	-0/+313