compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Avoid problem with implict declarations.	Bernhard Schommer	2015-09-30	1	-1/+0
*	More fixes for the DebugInformation.	Bernhard Schommer	2015-09-29	1	-0/+1
*	Change the way the debug sections are printed.	Bernhard Schommer	2015-09-28	1	-47/+69
*	Added location for the formal parameters and move the end of all	Bernhard Schommer	2015-09-28	1	-16/+22
*	Added translation of the range lists to location entries.	Bernhard Schommer	2015-09-25	1	-26/+62
*	Added support for the locations of stack allocated local variables.	Bernhard Schommer	2015-09-25	1	-15/+46
*	Added placing labels for live ranges etc.	Bernhard Schommer	2015-09-24	1	-1/+0
*	Added support for printing local variables and fixed issue with .text	Bernhard Schommer	2015-09-23	1	-3/+13
*	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	1	-18/+99
*	Started implementing the scope for the Debug Informations.	Bernhard Schommer	2015-09-18	1	-2/+14
*	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	1	-0/+247