aboutsummaryrefslogtreecommitdiffstats
path: root/debug/DwarfPrinter.ml
Commit message (Expand)AuthorAgeFilesLines
...
* Added support for the location of non static global variables.Bernhard Schommer2015-08-181-1/+7
* Swapped high and low pc in the printing of the debug information for subrouti...Bernhard Schommer2015-07-241-2/+2
* Allow forward declarations of structure and union types in the debug informat...Bernhard Schommer2015-07-031-2/+2
* Do not search for high and low pc of inlined functions.Bernhard Schommer2015-07-021-3/+11
* Allow Anonymous structs, unions and enums in debug info.Bernhard Schommer2015-07-021-6/+6
* 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
* Refactored the DwarfPrinter and added comments.Bernhard Schommer2015-03-301-106/+80
* Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-241-7/+8
* Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-231-15/+16
* Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-191-8/+13
* Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-181-18/+25
* Added printers for the rest of the possible tags.Bernhard Schommer2015-03-161-12/+74
* Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-115/+243
* Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-111-95/+63
* Starting to remove the seperate printers for each backend.Bernhard Schommer2015-02-021-0/+356
* Renamed the printer module for the Abbreviations and deactivated adding the -...Bernhard Schommer2014-12-021-322/+0
* Removed compile error and added dummy function for the printing of entries.Bernhard Schommer2014-11-171-3/+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-121-0/+313
generated by cgit (git 2.34.1) at 2024-05-20 04:51:36 +0000