compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	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 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