Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-07-05 | [Ada] Accept compilation switches -Og/-Ofast in non-GCC backends | Yannick Moy | 1 | -5/+18 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-11-14 | [Ada] Handle -gx switches explicitly | Arnaud Charlet | 1 | -0/+20 |
2018-05-21 | [Ada] Fix inconstent subprogram body headers | Piotr Trojanek | 1 | -3/+3 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -6/+6 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+9 |
2016-07-07 | [multiple changes] | Arnaud Charlet | 1 | -32/+6 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -5/+15 |
2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -5/+5 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -3/+3 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2012-10-29 | * adabkend.ads, adabkend.adb, aa_util.ads, aa_util.adb: New. | Arnaud Charlet | 1 | -0/+282 |