| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -37/+38 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -33/+58 |
| 2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+53 |
| 2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+45 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -13/+59 |
| 2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+27 |
| 2017-04-27 | exp_ch9.adb (Expand_Entry_Barrier): Code cleanup. | Hristian Kirtchev | 1 | -3/+1 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+25 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -16/+47 |
| 2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2017-01-23 | sem_ch3.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -3/+4 |
| 2017-01-23 | exp_spark.adb (Expand_SPARK_Attribute_Reference): For attributes which return... | Claire Dross | 1 | -1/+51 |
| 2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+24 |
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -9/+11 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -20/+12 |
| 2017-01-13 | Minor reformatting. | Arnaud Charlet | 1 | -11/+16 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+51 |
| 2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -19/+15 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -6/+26 |
| 2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+22 |
| 2014-01-20 | exp_spark.adb (Expand_SPARK_Call): Remove procedure. | Yannick Moy | 1 | -38/+0 |
| 2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -44/+20 |
| 2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -7/+0 |
| 2013-10-13 | [multiple changes] | Arnaud Charlet | 1 | -14/+2 |
| 2013-10-13 | [multiple changes] | Arnaud Charlet | 1 | -110/+0 |
| 2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -18/+0 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -0/+321 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |