compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Add the debug interface file.	Bernhard Schommer	2015-09-16	1	-2/+44
*	Started implementing the typ insert methods.	Bernhard Schommer	2015-09-11	1	-45/+0
*	Started implementing the types needed for storing the debug information.	Bernhard Schommer	2015-09-11	1	-1/+1
*	Revert "Startet implementation of new Debug interface."	Bernhard Schommer	2015-09-10	1	-1/+1
*	Startet implementation of new Debug interface.	Bernhard Schommer	2015-09-06	1	-1/+1
*	Merge branch 'master' into debug_locations	Bernhard Schommer	2015-08-26	1	-18/+29
\|\
\| *	Fixed error in handling of anonymous struct/union/enum types.	Bernhard Schommer	2015-08-24	1	-8/+15
\| *	Revert "Added support for the location of non static global variables."	Bernhard Schommer	2015-08-23	1	-1/+1
\| *	Do not add subsize tag to array types without size such as flexible array me...	Bernhard Schommer	2015-08-23	1	-10/+14
* \|	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	1	-8/+5
\|/
*	Added support for the location of non static global variables.	Bernhard Schommer	2015-08-18	1	-1/+1
*	Allow forward declarations of structure and union types in the debug informat...	Bernhard Schommer	2015-07-03	1	-11/+49
*	Allow Anonymous structs, unions and enums in debug info.	Bernhard Schommer	2015-07-02	1	-9/+9
*	Add bulitin typedes during C to dwarf translation.	Bernhard Schommer	2015-07-02	1	-6/+9
*	Merged PrintAnnot into PrintAsmaux.	Bernhard Schommer	2015-05-14	1	-1/+1
*	Print all files ever encountered in the filenum.	Bernhard Schommer	2015-04-01	1	-0/+1
*	Refactored code, added comments and changed handling of types with attributes...	Bernhard Schommer	2015-03-30	1	-316/+417
*	Compute the size of structs using the result of the packing and bitfield tran...	Bernhard Schommer	2015-03-26	1	-8/+17
*	Added missing functions for printing the structs and unions. Still missing pr...	Bernhard Schommer	2015-03-24	1	-7/+122
*	Added translation fucntion for declarations and fundefinitions.	Bernhard Schommer	2015-03-23	1	-46/+112
*	Activating the printing of the debug information for supported architecture.	Bernhard Schommer	2015-03-19	1	-1/+19
*	Added function to convert C types into their dwarf represnation.	Bernhard Schommer	2015-03-18	1	-1/+167
*	Added file for the translation of the C Ast to Dwarf debugging information.	Bernhard Schommer	2015-03-16	1	-0/+18