compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added printing the reference address for the LocRef and started refactoring old	Bernhard Schommer	2015-09-27	1	-1/+1
\| \| \| \| \| \| \| \|	Debuging code. The old functions to store the symbol for the Global variables and retrive this is no longer needed since the atom is stored in DebugInformation. Also the Debug.Abbrev module is no longer needed.
*	Added support for the locations of stack allocated local variables.	Bernhard Schommer	2015-09-25	1	-1/+1
\| \| \| \| \|	This commit adds furher support for location information for local variables and starts with the implementation of the debug_loc section.
*	Revert "Startet implementation of new Debug interface."	Bernhard Schommer	2015-09-10	1	-1/+0
\| \| \| \|	This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed.
*	Startet implementation of new Debug interface.	Bernhard Schommer	2015-09-06	1	-0/+1
\| \| \| \| \| \|	Added a new file debug/Debug.ml which will be the interface between for generating and printing the debuging information. Currently it contains only the code for the line directived.
*	Added more comments and fixed issue in DwarfPrinter.mli	Bernhard Schommer	2015-03-30	1	-0/+18