compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added more comments and fixed issue in DwarfPrinter.mli	Bernhard Schommer	2015-03-30	1	-9/+1
\|
*	Compute the size of structs using the result of the packing and bitfield ↵	Bernhard Schommer	2015-03-26	1	-0/+9
\| \| \| \|	transformations.
*	Added translation fucntion for declarations and fundefinitions.	Bernhard Schommer	2015-03-23	1	-3/+4
\|
*	Added function to convert C types into their dwarf represnation.	Bernhard Schommer	2015-03-18	1	-1/+6
\|
*	Added file for the translation of the C Ast to Dwarf debugging information.	Bernhard Schommer	2015-03-16	1	-7/+0
\|
*	Started implementing the printing functions for the debug info. Added a ↵	Bernhard Schommer	2015-03-16	1	-2/+1
\| \| \| \|	global target dependend option to activate the printing only for targets wher it works.
*	Started integrating the debug printing in the common backend_printer.	Bernhard Schommer	2015-03-11	1	-2/+33
\|
*	Removed compile error and added dummy function for the printing of entries.	Bernhard Schommer	2014-11-17	1	-5/+0
\|
*	Moved abbreviation printer into a seperate file. The printer should also ↵	Bernhard Schommer	2014-11-12	1	-294/+33
\| \| \| \|	print the debug info.
*	Added functions for printing of the abbreviations.	Bernhard Schommer	2014-11-11	1	-2/+16
\|
*	Generalised functionality for the printing of the abbreviations.	Bernhard Schommer	2014-11-11	1	-0/+266
\|
*	Added the type information to the global information stored for each atom.	Bernhard Schommer	2014-10-27	1	-1/+4
\|
*	Added more functionality to DwarfUtil.	Bernhard Schommer	2014-10-24	1	-0/+39
\|
*	Added a file for utility functions on the Dwarf types.	Bernhard Schommer	2014-10-23	1	-0/+32