compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-01-12	1	-15/+3
\| \| \| \| \|	Conflicts: powerpc/PrintAsm.ml
*	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
\| \| \| \| \|	Conflicts: powerpc/PrintAsm.ml
*	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
\| \| \| \|	printing for printing the line directives without forcing the assembler to generate debug information.
*	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.