Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-10-20 | [Ada] Fixes for pretty command-line GNATprove output with -gnatdF | Yannick Moy | 1 | -20/+31 |
2020-10-20 | [Ada] Display source code pointing at locations in messages for GNATprove | Yannick Moy | 1 | -2/+9 |
2020-10-19 | [Ada] Alternative display of multi-line messages for GNATprove | Yannick Moy | 1 | -1/+8 |
2020-07-08 | [Ada] Fix typo and layout in comments about matching | Piotr Trojanek | 1 | -6/+6 |
2020-07-06 | [Ada] Various typo fixes and reformatting of comments | Gary Dismukes | 1 | -6/+6 |
2020-06-18 | [Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatwe | Ghjuvan Lacambre | 1 | -5/+39 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2019-08-20 | [Ada] Pragma Warning_As_Error works for style warnings | Bob Duff | 1 | -105/+95 |
2019-07-09 | [Ada] Reword "wild card" to "wildcard" | Piotr Trojanek | 1 | -1/+1 |
2019-07-04 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -0/+1 |
2019-07-03 | [Ada] Suppress warnings in generic instantiations with pragma Warnings | Yannick Moy | 1 | -3/+27 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+0 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+3 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+17 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -5/+6 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -5/+8 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2016-04-18 | sem_ch6.adb (Is_Inline_Pragma): The pragma argument can be a selected compone... | Bob Duff | 1 | -2/+2 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -7/+13 |
2015-03-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -7/+38 |
2014-10-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+18 |
2014-10-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -21/+65 |
2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-06-11 | 2014-06-11 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -7/+5 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -64/+108 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -7/+7 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -32/+46 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -104/+135 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+15 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-02-20 | [multiple changes] | Arnaud Charlet | 1 | -15/+18 |
2014-02-06 | 2014-02-06 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -1/+2 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -7/+0 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -11/+13 |