| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -1/+0 |
| 2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2016-05-02 | get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when they are d... | Arnaud Charlet | 1 | -8/+4 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+1 |
| 2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -0/+500 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |