aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Experiment: support a subset of GCC's extended asm statements.Xavier Leroy2015-04-1725-63/+341
* Define M_PI if not already there (it's not in <math.h> for strict ISO C99).Xavier Leroy2015-04-171-0/+4
* Correct type of label function.Bernhard Schommer2015-04-161-1/+1
* Added missing dummy functions.Bernhard Schommer2015-04-162-0/+12
* Merge pull request #37 from AbsInt/dwarfBernhard Schommer2015-04-1524-42/+1615
|\
| * Merge branch 'dwarf' of /local/schommer/trunk/build/compcert.ppc/compcert int...Bernhard Schommer2015-04-1424-42/+1615
|/|
| * Merge branch 'master' into dwarfBernhard Schommer2015-04-145-7/+18
| |\
| * \ Merge branch 'master' into dwarfBernhard Schommer2015-04-043-12/+23
| |\ \
| * \ \ Merge branch 'master' into dwarfBernhard Schommer2015-04-0288-682/+1973
| |\ \ \
| * \ \ \ Merge branch 'master' into dwarfBernhard Schommer2015-04-012-2/+2
| |\ \ \ \
| * | | | | Print all files ever encountered in the filenum.Bernhard Schommer2015-04-013-4/+11
| * | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-3122-112/+1117
| |\ \ \ \ \
| * | | | | | 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
| * | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-301-2/+2
| |\ \ \ \ \ \
| * | | | | | | 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-263-18/+36
| * | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-261-9/+4
| |\ \ \ \ \ \ \
| * | | | | | | | Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-246-31/+149
| * | | | | | | | Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-236-73/+188
| * | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-231-2/+6
| |\ \ \ \ \ \ \ \
| * | | | | | | | | Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-194-17/+48
| * | | | | | | | | Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-187-30/+208
| * | | | | | | | | 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
| * | | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-163-3/+6
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-1612-158/+343
| * | | | | | | | | | Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-1110-160/+169
| * | | | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-111-1/+3
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'github/backend_printer' into dwarfBernhard Schommer2015-03-1013-3441/+3116
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2015-03-1033-606/+1612
| |\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | Starting to remove the seperate printers for each backend.Bernhard Schommer2015-02-029-276/+432
| * | | | | | | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-01-281-10/+2
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2015-01-2342-1768/+4233
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2015-01-2010-265/+342
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2015-01-121-3/+6
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2015-01-1234-61988/+914
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | Added dummy printing function for entries.Bernhard Schommer2014-12-181-1/+4
| * | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-1710-58/+88
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | Added more printing code.Bernhard Schommer2014-12-151-3/+8
| * | | | | | | | | | | | | | | | | | | Started implementation of printing the dwarf entries.Bernhard Schommer2014-12-153-11/+31
| * | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-114-17/+28
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2014-12-041-1/+0
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2014-12-042-6/+1
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | Changed the d1line and d1file to d2line and d2file and prologue and epilogue ...Bernhard Schommer2014-12-045-9/+79
| * | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-021-14/+7
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | | Renamed the printer module for the Abbreviations and deactivated adding the -...Bernhard Schommer2014-12-023-47/+11
| * | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarfBernhard Schommer2014-11-2750-684/+2264
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2014-11-191-1/+1
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into dwarfBernhard Schommer2014-11-1712-179/+489
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
generated by cgit (git 2.34.1) at 2024-07-01 05:18:16 +0000