compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Started implementation of printing the dwarf entries.	Bernhard Schommer	2014-12-15	1	-11/+11
*	Changed the d1line and d1file to d2line and d2file and prologue and epilogue ...	Bernhard Schommer	2014-12-04	1	-1/+1
*	Added functions for printing of the abbreviations.	Bernhard Schommer	2014-11-11	1	-1/+1
*	Added more functions to print the abbreviations.	Bernhard Schommer	2014-11-06	1	-72/+47
*	More functions for printing the abbreviations.	Bernhard Schommer	2014-10-31	1	-44/+40
*	Started implementing functions to compute the abbreviations for the diab comp...	Bernhard Schommer	2014-10-29	1	-6/+6
*	Added a file for utility functions on the Dwarf types.	Bernhard Schommer	2014-10-23	1	-42/+34
*	Added type for all tags.	Bernhard Schommer	2014-10-21	1	-1/+22
*	Fixed smaller mistakes.	Bernhard Schommer	2014-10-21	1	-8/+7
*	Removed more not needed attributes.	Bernhard Schommer	2014-10-20	1	-92/+32
*	Removed more not needed attributes from the tag types.	Bernhard Schommer	2014-10-17	1	-19/+50
*	Started revising the tag types to only include attributes which are actually ...	Bernhard Schommer	2014-10-15	1	-17/+10
*	Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ...	Bernhard Schommer	2014-10-15	1	-1/+56
*	Added more types.	Bernhard Schommer	2014-10-14	1	-0/+125
*	Added a file containing definitions for the types used to store the debug inf...	Bernhard Schommer	2014-10-13	1	-0/+121