| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add the debug interface file. | Bernhard Schommer | 2015-09-16 | 1 | -2/+44 |
| | | | | | | | | | The new file Debug.ml contains the interface for generating and printing debug information. In order to generate debug information the init function initializes the necessary functions depending on the -g flag. If the -g is not there all functions are dummy functions which do nothing. | ||||
| * | Started implementing the typ insert methods. | Bernhard Schommer | 2015-09-11 | 1 | -45/+0 |
| | | | | | | | In contrast to CtoDwarf this time we use the name to identify everything. To make this work we print the full identifier with stamp to avoid the problems with anonymous structs and unions. | ||||
| * | Started implementing the types needed for storing the debug information. | Bernhard Schommer | 2015-09-11 | 1 | -1/+1 |
| | | |||||
| * | Revert "Startet implementation of new Debug interface." | Bernhard Schommer | 2015-09-10 | 1 | -1/+1 |
| | | | | | This reverts commit 861292a6c5e58b4f78bef207c717b801b3fc1fed. | ||||
| * | Startet implementation of new Debug interface. | Bernhard Schommer | 2015-09-06 | 1 | -1/+1 |
| | | | | | | | Added a new file debug/Debug.ml which will be the interface between for generating and printing the debuging information. Currently it contains only the code for the line directived. | ||||
| * | Merge branch 'master' into debug_locations | Bernhard Schommer | 2015-08-26 | 1 | -18/+29 |
| |\ | | | | | | | | | | | | | Conflicts: debug/CtoDwarf.ml debug/DwarfPrinter.ml debug/DwarfTypes.mli | ||||
| | * | Fixed error in handling of anonymous struct/union/enum types. | Bernhard Schommer | 2015-08-24 | 1 | -8/+15 |
| | | | | | | | | | Composite types should be always handled by the composite_type_info table and not by the normal type table. | ||||
| | * | Revert "Added support for the location of non static global variables." | Bernhard Schommer | 2015-08-23 | 1 | -1/+1 |
| | | | | | | | | | This reverts commit b4846ffadfa3fbb73ffa7d9c43e5218adeece8da. | ||||
| | * | Do not add subsize tag to array types without size such as flexible array ↵ | Bernhard Schommer | 2015-08-23 | 1 | -10/+14 |
| | | | | | | | | | members. | ||||
| * | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -8/+5 |
| |/ | |||||
| * | Added support for the location of non static global variables. | Bernhard Schommer | 2015-08-18 | 1 | -1/+1 |
| | | |||||
| * | Allow forward declarations of structure and union types in the debug ↵ | Bernhard Schommer | 2015-07-03 | 1 | -11/+49 |
| | | | | | information. | ||||
| * | Allow Anonymous structs, unions and enums in debug info. | Bernhard Schommer | 2015-07-02 | 1 | -9/+9 |
| | | |||||
| * | Add bulitin typedes during C to dwarf translation. | Bernhard Schommer | 2015-07-02 | 1 | -6/+9 |
| | | |||||
| * | Merged PrintAnnot into PrintAsmaux. | Bernhard Schommer | 2015-05-14 | 1 | -1/+1 |
| | | |||||
| * | Print all files ever encountered in the filenum. | Bernhard Schommer | 2015-04-01 | 1 | -0/+1 |
| | | |||||
| * | Refactored code, added comments and changed handling of types with ↵ | Bernhard Schommer | 2015-03-30 | 1 | -316/+417 |
| | | | | | attributes to avoid duplications. | ||||
| * | Compute the size of structs using the result of the packing and bitfield ↵ | Bernhard Schommer | 2015-03-26 | 1 | -8/+17 |
| | | | | | transformations. | ||||
| * | Added missing functions for printing the structs and unions. Still missing ↵ | Bernhard Schommer | 2015-03-24 | 1 | -7/+122 |
| | | | | | printing of packed structs. | ||||
| * | Added translation fucntion for declarations and fundefinitions. | Bernhard Schommer | 2015-03-23 | 1 | -46/+112 |
| | | |||||
| * | Activating the printing of the debug information for supported architecture. | Bernhard Schommer | 2015-03-19 | 1 | -1/+19 |
| | | |||||
| * | Added function to convert C types into their dwarf represnation. | Bernhard Schommer | 2015-03-18 | 1 | -1/+167 |
| | | |||||
| * | Added file for the translation of the C Ast to Dwarf debugging information. | Bernhard Schommer | 2015-03-16 | 1 | -0/+18 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |