aboutsummaryrefslogtreecommitdiffstats
path: root/debug
Commit message (Expand)AuthorAgeFilesLines
* Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-011-1/+1
* Changed the producer tag to include more information.Bernhard Schommer2015-05-181-1/+2
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-1/+1
* Print all files ever encountered in the filenum.Bernhard Schommer2015-04-011-0/+1
* Added more comments and fixed issue in DwarfPrinter.mliBernhard Schommer2015-03-303-10/+21
* Refactored code, added comments and changed handling of types with attributes...Bernhard Schommer2015-03-301-316/+417
* Refactored the DwarfPrinter and added comments.Bernhard Schommer2015-03-301-106/+80
* Compute the size of structs using the result of the packing and bitfield tran...Bernhard Schommer2015-03-262-8/+26
* Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-243-18/+135
* Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-234-69/+148
* Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-192-9/+32
* Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-184-24/+203
* Added file for the translation of the C Ast to Dwarf debugging information.Bernhard Schommer2015-03-162-7/+18
* Added printers for the rest of the possible tags.Bernhard Schommer2015-03-162-14/+76
* Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-163-156/+293
* Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-113-152/+96
* Starting to remove the seperate printers for each backend.Bernhard Schommer2015-02-022-8/+105
* Started implementation of printing the dwarf entries.Bernhard Schommer2014-12-152-11/+15
* Changed the d1line and d1file to d2line and d2file and prologue and epilogue ...Bernhard Schommer2014-12-041-1/+1
* Renamed the printer module for the Abbreviations and deactivated adding the -...Bernhard Schommer2014-12-021-17/+5
* Removed compile error and added dummy function for the printing of entries.Bernhard Schommer2014-11-172-8/+9
* More functionality for the Printer.Bernhard Schommer2014-11-141-1/+4
* Moved abbreviation printer into a seperate file. The printer should also prin...Bernhard Schommer2014-11-122-294/+346
* Added functions for printing of the abbreviations.Bernhard Schommer2014-11-112-3/+17
* Generalised functionality for the printing of the abbreviations.Bernhard Schommer2014-11-111-0/+266
* Added more functions to print the abbreviations.Bernhard Schommer2014-11-061-72/+47
* More functions for printing the abbreviations.Bernhard Schommer2014-10-311-44/+40
* Started implementing functions to compute the abbreviations for the diab comp...Bernhard Schommer2014-10-291-6/+6
* Added the type information to the global information stored for each atom.Bernhard Schommer2014-10-271-1/+4
* Added more functionality to DwarfUtil.Bernhard Schommer2014-10-241-0/+39
* Added a file for utility functions on the Dwarf types.Bernhard Schommer2014-10-232-42/+66
* Added type for all tags.Bernhard Schommer2014-10-211-1/+22
* Fixed smaller mistakes.Bernhard Schommer2014-10-211-8/+7
* Removed more not needed attributes.Bernhard Schommer2014-10-201-92/+32
* Removed more not needed attributes from the tag types.Bernhard Schommer2014-10-171-19/+50
* Started revising the tag types to only include attributes which are actually ...Bernhard Schommer2014-10-151-17/+10
* Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ...Bernhard Schommer2014-10-151-1/+56
* Added more types.Bernhard Schommer2014-10-141-0/+125
* Added a file containing definitions for the types used to store the debug inf...Bernhard Schommer2014-10-131-0/+121
generated by cgit (git 2.34.1) at 2024-06-03 02:47:37 +0000