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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Added functions for printing of the abbreviations.	Bernhard Schommer	2014-11-11	2	-3/+17
*	Generalised functionality for the printing of the abbreviations.	Bernhard Schommer	2014-11-11	1	-0/+266
*	Added more functions to print the abbreviations.	Bernhard Schommer	2014-11-06	1	-72/+47
*	More functions for printing the abbreviations.	Bernhard Schommer	2014-10-31	1	-44/+40
*	Started implementing functions to compute the abbreviations for the diab comp...	Bernhard Schommer	2014-10-29	1	-6/+6
*	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	2	-42/+66
*	Added type for all tags.	Bernhard Schommer	2014-10-21	1	-1/+22
*	Fixed smaller mistakes.	Bernhard Schommer	2014-10-21	1	-8/+7
*	Removed more not needed attributes.	Bernhard Schommer	2014-10-20	1	-92/+32
*	Removed more not needed attributes from the tag types.	Bernhard Schommer	2014-10-17	1	-19/+50
*	Started revising the tag types to only include attributes which are actually ...	Bernhard Schommer	2014-10-15	1	-17/+10
*	Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ...	Bernhard Schommer	2014-10-15	1	-1/+56
*	Added more types.	Bernhard Schommer	2014-10-14	1	-0/+125
*	Added a file containing definitions for the types used to store the debug inf...	Bernhard Schommer	2014-10-13	1	-0/+121