| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Further function to add debug information. | Bernhard Schommer | 2015-09-15 | 1 | -31/+67 |
| | | | | | | Added the rest of the global declarations and started adding functions to fill in the missing information about struct and union fields etc. | ||||
| * | Started adding function information to the debug information. | Bernhard Schommer | 2015-09-15 | 1 | -3/+48 |
| | | |||||
| * | Implemented insert_type function and started implementing add declaration. | Bernhard Schommer | 2015-09-14 | 1 | -13/+206 |
| | | | | | | | The insert_type function add types by adding their subtypes. Also currently the structs or unions are added as empty skeletopn and later during filled during the inserting of the declarations. | ||||
| * | Started implementing the typ insert methods. | Bernhard Schommer | 2015-09-11 | 1 | -5/+99 |
| | | | | | | | 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 | -0/+109 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |