compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Use also fucntion id for local variables since atom is not unique.	Bernhard Schommer	2015-10-01	1	-3/+3
*	Only print locations for symbols that are present in the assembler.	Bernhard Schommer	2015-10-01	1	-0/+3
*	Remove unused globals also from the debug informations.	Bernhard Schommer	2015-10-01	1	-0/+3
*	Change the way the debug sections are printed.	Bernhard Schommer	2015-09-28	1	-3/+12
*	Added location for the formal parameters and move the end of all	Bernhard Schommer	2015-09-28	1	-0/+3
*	More refactoring of the Debug Information.	Bernhard Schommer	2015-09-27	1	-49/+0
*	Added support for the locations of stack allocated local variables.	Bernhard Schommer	2015-09-25	1	-3/+13
*	Added placing labels for live ranges etc.	Bernhard Schommer	2015-09-24	1	-0/+27
*	Added support for printing local variables and fixed issue with .text	Bernhard Schommer	2015-09-23	1	-1/+1
*	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	1	-7/+12
*	New version of adding scopes etc.	Bernhard Schommer	2015-09-20	1	-4/+14
*	Started implementing the scope for the Debug Informations.	Bernhard Schommer	2015-09-18	1	-0/+10
*	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	1	-3/+15
*	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-14/+24
*	Add the debug interface file.	Bernhard Schommer	2015-09-16	1	-0/+61
*	Revert "Startet implementation of new Debug interface."	Bernhard Schommer	2015-09-10	1	-86/+0
*	Startet implementation of new Debug interface.	Bernhard Schommer	2015-09-06	1	-0/+86