| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge branch 'debugscopes' into debug_locations | Bernhard Schommer | 2015-09-21 | 1 | -0/+1 |
| |\ | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml | ||||
| | * | Various changes in the debug printer. | Bernhard Schommer | 2015-09-07 | 1 | -0/+1 |
| | | | | | | | | | | | | | The debug printer now uses udata for member sizes since structs can have a size larger than 255 bytes. Also functions that are inlined no longer have an high and low pc in their abbreviation entry. | ||||
| * | | First version with computation of dwarf info from debug info. | Bernhard Schommer | 2015-09-17 | 1 | -11/+1 |
| |/ | | | | | Introduced a new dwarf generation from the information collected in the DebugInformation and removed the old CtODwarf translation. | ||||
| * | Added more comments and fixed issue in DwarfPrinter.mli | Bernhard Schommer | 2015-03-30 | 1 | -9/+1 |
| | | |||||
| * | Compute the size of structs using the result of the packing and bitfield ↵ | Bernhard Schommer | 2015-03-26 | 1 | -0/+9 |
| | | | | | transformations. | ||||
| * | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 1 | -3/+4 |
| | | |||||
| * | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 1 | -1/+6 |
| | | |||||
| * | Added file for the translation of the C Ast to Dwarf debugging information. | Bernhard Schommer | 2015-03-16 | 1 | -7/+0 |
| | | |||||
| * | Started implementing the printing functions for the debug info. Added a ↵ | Bernhard Schommer | 2015-03-16 | 1 | -2/+1 |
| | | | | | global target dependend option to activate the printing only for targets wher it works. | ||||
| * | Started integrating the debug printing in the common backend_printer. | Bernhard Schommer | 2015-03-11 | 1 | -2/+33 |
| | | |||||
| * | Removed compile error and added dummy function for the printing of entries. | Bernhard Schommer | 2014-11-17 | 1 | -5/+0 |
| | | |||||
| * | Moved abbreviation printer into a seperate file. The printer should also ↵ | Bernhard Schommer | 2014-11-12 | 1 | -294/+33 |
| | | | | | print the debug info. | ||||
| * | Added functions for printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 1 | -2/+16 |
| | | |||||
| * | Generalised functionality for the printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 1 | -0/+266 |
| | | |||||
| * | Added the type information to the global information stored for each atom. | Bernhard Schommer | 2014-10-27 | 1 | -1/+4 |
| | | |||||
| * | Added more functionality to DwarfUtil. | Bernhard Schommer | 2014-10-24 | 1 | -0/+39 |
| | | |||||
| * | Added a file for utility functions on the Dwarf types. | Bernhard Schommer | 2014-10-23 | 1 | -0/+32 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |