| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |