compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Renamed the printer module for the Abbreviations and deactivated adding the ↵	Bernhard Schommer	2014-12-02	1	-29/+5
\| \| \| \|	-g option to the assembler.
*	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 ↵	Bernhard Schommer	2014-11-12	1	-31/+48
\| \| \| \|	print the debug info.
*	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 ↵	Bernhard Schommer	2014-10-29	1	-7/+81
\| \| \| \|	compiler.
*	Refactored the printing functions a little bit more by moving the system ↵	Bernhard Schommer	2014-10-28	1	-0/+98
	dependent parts into other modules and some of the functions into a util file.