compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'debugscopes' into debug_locations	Bernhard Schommer	2015-09-21	1	-0/+1
\|\ \| \| \| \| \| \| \| \| \| \|	Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml
\| *	Various changes in the debug printer.	Bernhard Schommer	2015-09-07	1	-0/+1
\| \| \| \| \| \| \| \| \| \| \| \|	The debug printer now uses udata for member sizes since structs can have a size larger than 255 bytes. Also functions that are inlined no longer have an high and low pc in their abbreviation entry.
\| *	Revert "Added support for the location of non static global variables."	Bernhard Schommer	2015-08-23	1	-1/+0
\| \| \| \| \| \| \| \|	This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da.
* \|	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	1	-9/+13
\| \| \| \| \| \| \| \| \| \|	Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation.
* \|	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-1/+0
\| \| \| \| \| \| \| \| \| \| \| \|	Added functions to add more information to the debuging interface, like the struct layout with offsets, bitifiled layout and removed the no longer needed mapping from stamp to atom.
* \|	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	1	-6/+9
\|/
*	Added support for the location of non static global variables.	Bernhard Schommer	2015-08-18	1	-0/+1
\|
*	Allow forward declarations of structure and union types in the debug ↵	Bernhard Schommer	2015-07-03	1	-1/+1
\| \| \| \|	information.
*	Do not search for high and low pc of inlined functions.	Bernhard Schommer	2015-07-02	1	-1/+1
\|
*	Allow Anonymous structs, unions and enums in debug info.	Bernhard Schommer	2015-07-02	1	-3/+3
\|
*	Added more comments and fixed issue in DwarfPrinter.mli	Bernhard Schommer	2015-03-30	1	-1/+2
\|
*	Added missing functions for printing the structs and unions. Still missing ↵	Bernhard Schommer	2015-03-24	1	-4/+5
\| \| \| \|	printing of packed structs.
*	Added translation fucntion for declarations and fundefinitions.	Bernhard Schommer	2015-03-23	1	-5/+16
\|
*	Added function to convert C types into their dwarf represnation.	Bernhard Schommer	2015-03-18	1	-0/+259