compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove unused globals also from the debug informations.	Bernhard Schommer	2015-10-01	1	-2/+4
\|
*	Deactivate the debug functions for none advanced targets.	Bernhard Schommer	2015-09-29	1	-1/+1
\|
*	Change the way the debug sections are printed.	Bernhard Schommer	2015-09-28	1	-5/+9
\| \| \| \| \| \|	If a user uses the #pragma use_section for functions the diab linker requires a separate debug_info section for each entry. This commit adds functionality to emulate this behavior.
*	Added location for the formal parameters and move the end of all	Bernhard Schommer	2015-09-28	1	-2/+5
\| \| \| \|	scopes before the last statement.
*	More refactoring of the Debug Information.	Bernhard Schommer	2015-09-27	1	-0/+73
	In order to remove unnecessary dependecies the implemenation type is made and the DebugInit file initializes the fields in the record. This allows it to move more functions behind the Debug interface without introducing circular dependencies.