compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Also convert the fun stamp + scope id to debug id Hashtable in an	Bernhard Schommer	2015-09-23	1	-4/+6
*	Added support for printing local variables and fixed issue with .text	Bernhard Schommer	2015-09-23	1	-3/+5
*	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	1	-19/+20
*	New version of adding scopes etc.	Bernhard Schommer	2015-09-20	1	-10/+45
*	Started implementing the scope for the Debug Informations.	Bernhard Schommer	2015-09-18	1	-10/+79
*	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	1	-27/+53
*	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-5/+30
*	Add the debug interface file.	Bernhard Schommer	2015-09-16	1	-10/+48
*	Further function to add debug information.	Bernhard Schommer	2015-09-15	1	-31/+67
*	Started adding function information to the debug information.	Bernhard Schommer	2015-09-15	1	-3/+48
*	Implemented insert_type function and started implementing add declaration.	Bernhard Schommer	2015-09-14	1	-13/+206
*	Started implementing the typ insert methods.	Bernhard Schommer	2015-09-11	1	-5/+99
*	Started implementing the types needed for storing the debug information.	Bernhard Schommer	2015-09-11	1	-0/+109