compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|\ \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml debug/DwarfTypes.mli
\| *	Fixed abbreviation of DW_TAG_formal_parameter.	Bernhard Schommer	2015-08-25	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \|	Dwarf debuging entries for formal parameters were printed as variables. This could lead to confusion in function pointer types and later with local variables.
\| *	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
\| \| \| \| \| \| \| \|	This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da.
* \|	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 ↵	Bernhard Schommer	2015-07-24	1	-2/+2
\| \| \| \|	subroutines.
*	Allow forward declarations of structure and union types in the debug ↵	Bernhard Schommer	2015-07-03	1	-2/+2
\| \| \| \|	information.
*	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 ↵	Bernhard Schommer	2015-07-01	1	-1/+1
\| \| \| \|	separate file.
*	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 ↵	Bernhard Schommer	2015-03-24	1	-7/+8
\| \| \| \|	printing of packed structs.
*	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 ↵	Bernhard Schommer	2015-03-16	1	-115/+243
\| \| \| \|	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	-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
\| \| \| \|	-g option to the assembler.
*	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 ↵	Bernhard Schommer	2014-11-12	1	-0/+313
	print the debug info.