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