compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-01-12	1	-15/+3
*	Added dummy printing function for entries.	Bernhard Schommer	2014-12-18	1	-1/+4
*	Merge branch 'master' into dwarf	Bernhard Schommer	2014-12-17	1	-4/+4
*	Added more printing code.	Bernhard Schommer	2014-12-15	1	-3/+8
*	Started implementation of printing the dwarf entries.	Bernhard Schommer	2014-12-15	1	-0/+16
*	Changed the d1line and d1file to d2line and d2file and prologue and epilogue ...	Bernhard Schommer	2014-12-04	1	-6/+66
*	Renamed the printer module for the Abbreviations and deactivated adding the -...	Bernhard Schommer	2014-12-02	1	-29/+5
*	Removed compile error and added dummy function for the printing of entries.	Bernhard Schommer	2014-11-17	1	-0/+3
*	Moved abbreviation printer into a seperate file. The printer should also prin...	Bernhard Schommer	2014-11-12	1	-31/+48
*	Added functions for printing of the abbreviations.	Bernhard Schommer	2014-11-11	1	-0/+24
*	Generalised functionality for the printing of the abbreviations.	Bernhard Schommer	2014-11-11	1	-235/+41
*	Added more functions to print the abbreviations.	Bernhard Schommer	2014-11-06	1	-27/+120
*	More functions for printing the abbreviations.	Bernhard Schommer	2014-10-31	1	-33/+101
*	Started implementing functions to compute the abbreviations for the diab comp...	Bernhard Schommer	2014-10-29	1	-7/+81
*	Refactored the printing functions a little bit more by moving the system depe...	Bernhard Schommer	2014-10-28	1	-0/+98