compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Changed definition of implem for debug information.	Bernhard Schommer	2015-10-12	1	-62/+40
\| \| \| \| \| \| \|	Instead of making each filed mutuable we use a reference to a record of type implem. Now only the default implementation and the default debug information need to be upated to add a new function. Bug 17392.
*	Unified function for adding the atom identifier.	Bernhard Schommer	2015-10-12	1	-6/+2
\| \| \| \| \| \| \|	Instead of defining two functions for adding the mapping from atom to debug id we use one function which then sets the corresponding values. Bug 17392.
*	Ensure that there are file directives for all files used in the debug	Bernhard Schommer	2015-10-04	1	-1/+4
\| \| \| \|	information.
*	First try of debug information for gcc.	Bernhard Schommer	2015-10-02	1	-2/+6
\|
*	Started implementation of gnu compatible debug information.	Bernhard Schommer	2015-10-02	1	-1/+5
\|
*	Only print locations for symbols that are present in the assembler.	Bernhard Schommer	2015-10-01	1	-2/+4
\|
*	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.