Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Proper treatment of extended asm. | Xavier Leroy | 2015-04-21 | 1 | -1/+5 | |
| * | Use Cerrors for error reporting instead of rolling our own reporting in C2C. | Xavier Leroy | 2015-04-21 | 1 | -11/+5 | |
| * | Cleanups and updates for extended asm. | Xavier Leroy | 2015-04-21 | 5 | -7/+5 | |
| * | Printing of EF_inline_asm builtins in GCC extended asm syntax. | Xavier Leroy | 2015-04-21 | 1 | -0/+30 | |
| * | Support for GCC-style extended asm, continued: | Xavier Leroy | 2015-04-21 | 15 | -101/+306 | |
| * | 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 |