compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	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