Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-12-05 | sem_util.adb (Contains_Refined_State): Remove. | Pierre-Marie de Rodat | 1 | -3/+3 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -7/+7 |
2016-04-21 | frontend.adb: Update call to Unnest_Subprograms. | Javier Miranda | 1 | -8/+5 |
2016-04-20 | Minor reformatting. | Arnaud Charlet | 1 | -3/+3 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -7/+7 |
2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -7/+156 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -17/+0 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -19/+15 |
2015-03-02 | back_end.adb (Call_Back_End): Remove previous patch... | Robert Dewar | 1 | -1/+1 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -26/+26 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-03-02 | debug.adb: Document new debug flag -gnatd.1. | Robert Dewar | 1 | -0/+561 |