| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2015-10-26 | contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b... | Hristian Kirtchev | 1 | -46/+46 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+33 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -52/+197 |
| 2015-10-26 | Code clean ups. | Arnaud Charlet | 1 | -18/+23 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -232/+351 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -53/+5 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -51/+52 |
| 2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+2453 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |