| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -243/+283 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -304/+437 |
| 2017-10-20 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+1 |
| 2017-10-20 | sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a... | Pierre-Marie de Rodat | 1 | -8/+28 |
| 2017-10-19 | [multiple changes] | Pierre-Marie de Rodat | 1 | -15/+65 |
| 2017-10-14 | sem_elab.adb (In_Preelaborated_Context): A generic package subject to Remote_... | Hristian Kirtchev | 1 | -1/+1 |
| 2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -7/+21 |
| 2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -201/+404 |
| 2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+7 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -17/+47 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+21 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2836/+7133 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
| 2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -10/+12 |
| 2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -5/+2 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -94/+113 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -7/+20 |
| 2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -4/+8 |
| 2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -50/+57 |
| 2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -50/+36 |
| 2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -8/+25 |
| 2017-01-12 | Minor reformatting. | Arnaud Charlet | 1 | -6/+6 |
| 2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -3/+3 |
| 2017-01-09 | einfo.ads, einfo.adb: Remove uses of flags Has_Default_Init_Cond... | Hristian Kirtchev | 1 | -1/+1 |
| 2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -3/+3 |
| 2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -4/+11 |
| 2016-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
| 2016-07-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2016-07-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
| 2016-06-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
| 2016-06-16 | [multiple changes] | Arnaud Charlet | 1 | -9/+8 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -43/+75 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
| 2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -16/+85 |
| 2016-04-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2016-04-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -9/+10 |
| 2015-11-19 | sem_elab.adb (Check_Internal_Call_Continue): Correction to previous change... | Bob Duff | 1 | -1/+1 |
| 2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -22/+38 |
| 2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2015-11-12 | sem_ch10.adb, atree.adb: Minor reformatting. | Hristian Kirtchev | 1 | -2/+29 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -33/+33 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
| 2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+26 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |