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	-2/+2
*	Merge branch 'debugscopes' into debug_locations	Bernhard Schommer	2015-09-21	1	-0/+1
\|\
\| *	Various changes in the debug printer.	Bernhard Schommer	2015-09-07	1	-0/+1
\| *	Revert "Added support for the location of non static global variables."	Bernhard Schommer	2015-08-23	1	-1/+0
* \|	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	1	-9/+13
* \|	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-1/+0
* \|	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	1	-6/+9
\|/
*	Added support for the location of non static global variables.	Bernhard Schommer	2015-08-18	1	-0/+1
*	Allow forward declarations of structure and union types in the debug informat...	Bernhard Schommer	2015-07-03	1	-1/+1
*	Do not search for high and low pc of inlined functions.	Bernhard Schommer	2015-07-02	1	-1/+1
*	Allow Anonymous structs, unions and enums in debug info.	Bernhard Schommer	2015-07-02	1	-3/+3
*	Added more comments and fixed issue in DwarfPrinter.mli	Bernhard Schommer	2015-03-30	1	-1/+2
*	Added missing functions for printing the structs and unions. Still missing pr...	Bernhard Schommer	2015-03-24	1	-4/+5
*	Added translation fucntion for declarations and fundefinitions.	Bernhard Schommer	2015-03-23	1	-5/+16
*	Added function to convert C types into their dwarf represnation.	Bernhard Schommer	2015-03-18	1	-0/+259