Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiment: support a subset of GCC's extended asm statements. | Xavier Leroy | 2015-04-17 | 25 | -63/+341 |
* | Define M_PI if not already there (it's not in <math.h> for strict ISO C99). | Xavier Leroy | 2015-04-17 | 1 | -0/+4 |
* | Correct type of label function. | Bernhard Schommer | 2015-04-16 | 1 | -1/+1 |
* | Added missing dummy functions. | Bernhard Schommer | 2015-04-16 | 2 | -0/+12 |
* | Merge pull request #37 from AbsInt/dwarf | Bernhard Schommer | 2015-04-15 | 24 | -42/+1615 |
|\ | |||||
| * | Merge branch 'dwarf' of /local/schommer/trunk/build/compcert.ppc/compcert int... | Bernhard Schommer | 2015-04-14 | 24 | -42/+1615 |
|/| | |||||
| * | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-14 | 5 | -7/+18 |
| |\ | |||||
| * \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-04 | 3 | -12/+23 |
| |\ \ | |||||
| * \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-02 | 88 | -682/+1973 |
| |\ \ \ | |||||
| * \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-04-01 | 2 | -2/+2 |
| |\ \ \ \ | |||||
| * | | | | | Print all files ever encountered in the filenum. | Bernhard Schommer | 2015-04-01 | 3 | -4/+11 |
| * | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-31 | 22 | -112/+1117 |
| |\ \ \ \ \ | |||||
| * | | | | | | Added more comments and fixed issue in DwarfPrinter.mli | Bernhard Schommer | 2015-03-30 | 3 | -10/+21 |
| * | | | | | | Refactored code, added comments and changed handling of types with attributes... | Bernhard Schommer | 2015-03-30 | 1 | -316/+417 |
| * | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-30 | 1 | -2/+2 |
| |\ \ \ \ \ \ | |||||
| * | | | | | | | Refactored the DwarfPrinter and added comments. | Bernhard Schommer | 2015-03-30 | 1 | -106/+80 |
| * | | | | | | | Compute the size of structs using the result of the packing and bitfield tran... | Bernhard Schommer | 2015-03-26 | 3 | -18/+36 |
| * | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-26 | 1 | -9/+4 |
| |\ \ \ \ \ \ \ | |||||
| * | | | | | | | | Added missing functions for printing the structs and unions. Still missing pr... | Bernhard Schommer | 2015-03-24 | 6 | -31/+149 |
| * | | | | | | | | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 6 | -73/+188 |
| * | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-23 | 1 | -2/+6 |
| |\ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 4 | -17/+48 |
| * | | | | | | | | | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 7 | -30/+208 |
| * | | | | | | | | | Added file for the translation of the C Ast to Dwarf debugging information. | Bernhard Schommer | 2015-03-16 | 2 | -7/+18 |
| * | | | | | | | | | Added printers for the rest of the possible tags. | Bernhard Schommer | 2015-03-16 | 2 | -14/+76 |
| * | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-16 | 3 | -3/+6 |
| |\ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | Started implementing the printing functions for the debug info. Added a globa... | Bernhard Schommer | 2015-03-16 | 12 | -158/+343 |
| * | | | | | | | | | | Started integrating the debug printing in the common backend_printer. | Bernhard Schommer | 2015-03-11 | 10 | -160/+169 |
| * | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-11 | 1 | -1/+3 |
| |\ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ | Merge remote-tracking branch 'github/backend_printer' into dwarf | Bernhard Schommer | 2015-03-10 | 13 | -3441/+3116 |
| |\ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-03-10 | 33 | -606/+1612 |
| |\ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | | | | Starting to remove the seperate printers for each backend. | Bernhard Schommer | 2015-02-02 | 9 | -276/+432 |
| * | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-28 | 1 | -10/+2 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-23 | 42 | -1768/+4233 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-20 | 10 | -265/+342 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-12 | 1 | -3/+6 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-12 | 34 | -61988/+914 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | | | | | | | | | Added dummy printing function for entries. | Bernhard Schommer | 2014-12-18 | 1 | -1/+4 |
| * | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-17 | 10 | -58/+88 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | | | | | | | | | | Added more printing code. | Bernhard Schommer | 2014-12-15 | 1 | -3/+8 |
| * | | | | | | | | | | | | | | | | | | | Started implementation of printing the dwarf entries. | Bernhard Schommer | 2014-12-15 | 3 | -11/+31 |
| * | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-11 | 4 | -17/+28 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-04 | 1 | -1/+0 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-04 | 2 | -6/+1 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | | | | | | | | | | | | | Changed the d1line and d1file to d2line and d2file and prologue and epilogue ... | Bernhard Schommer | 2014-12-04 | 5 | -9/+79 |
| * | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-02 | 1 | -14/+7 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | Renamed the printer module for the Abbreviations and deactivated adding the -... | Bernhard Schommer | 2014-12-02 | 3 | -47/+11 |
| * | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-11-27 | 50 | -684/+2264 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-11-19 | 1 | -1/+1 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-11-17 | 12 | -179/+489 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ |