| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added location for the formal parameters and move the end of all | Bernhard Schommer | 2015-09-28 | 1 | -2/+5 |
| | | | | | scopes before the last statement. | ||||
| * | More refactoring of the Debug Information. | Bernhard Schommer | 2015-09-27 | 1 | -0/+73 |
| In order to remove unnecessary dependecies the implemenation type is made and the DebugInit file initializes the fields in the record. This allows it to move more functions behind the Debug interface without introducing circular dependencies. | |||||
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |