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