| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-05-24 | [Ada] Improve GNATprove messages on unproved checks | Yannick Moy | 1 | -8/+59 |
| 2018-05-22 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -7/+15 |
| 2018-05-21 | [Ada] Pretty-print attribute names using mixed case | Daniel Mercier | 1 | -1/+26 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-09-06 | exp_util.adb (Side_Effect_Free): For CodePeer (only) treat uses of 'Image and... | Steve Baird | 1 | -14/+58 |
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -42/+58 |
| 2016-06-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2016-06-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+17 |
| 2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -109/+188 |
| 2014-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2014-10-20 | [multiple changes] | Arnaud Charlet | 1 | -7/+34 |
| 2012-10-29 | * pprint.ads, pprint.adb: New. | Arnaud Charlet | 1 | -0/+682 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |