Age | Commit message (Expand) | Author | Files | Lines |
2024-05-16 | ada: Fix casing of CUDA in error messages | Piotr Trojanek | 1 | -1/+12 |
2024-05-14 | ada: Fix pragma Warnings and -gnatD interaction | Ronan Desplanques | 1 | -6/+5 |
2024-05-14 | ada: Fix crash with -gnatdJ and -gnatw.w | Ronan Desplanques | 1 | -49/+9 |
2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
2023-06-20 | ada: Add the ability to add error codes to error messages | Yannick Moy | 1 | -0/+46 |
2023-05-16 | ada: Add tags on style messages | Arnaud Charlet | 1 | -13/+24 |
2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2022-11-22 | ada: Adjust number of errors when removing warning in dead code | Piotr Trojanek | 1 | -17/+18 |
2022-11-14 | ada: Improve location of error messages in instantiations | Yannick Moy | 1 | -1/+1 |
2022-11-08 | ada: Move warnings switches -- initial work | Bob Duff | 1 | -0/+1 |
2022-09-12 | [Ada] Special-case printing of SPARK_Mode in error messages | Piotr Trojanek | 1 | -2/+28 |
2022-05-30 | [Ada] Fix spurious options being inserted in -fdiagnostics-format=json output | Ghjuvan Lacambre | 1 | -1/+1 |
2022-05-30 | [Ada] Add "option" field to GNAT's -fdiagnostics-format=json output | Ghjuvan Lacambre | 1 | -9/+26 |
2022-05-12 | [Ada] Make debug printouts more robust | Bob Duff | 1 | -0/+1 |
2022-05-09 | [Ada] Improve error messages to include full package name | Justin Squirek | 1 | -6/+12 |
2022-01-11 | [Ada] Remove warnings-as-errors about constraints error in dead code | Piotr Trojanek | 1 | -0/+1 |
2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
2022-01-07 | [Ada] Cleanup and modification of unreferenced warnings | Justin Squirek | 1 | -1/+0 |
2021-10-25 | [Ada] Change format of the ?? warning insertion sequence | Etienne Servais | 1 | -32/+58 |
2021-10-25 | [Ada] Fix deleted Compile_Time warnings causing crashes | Ghjuvan Lacambre | 1 | -1/+3 |
2021-09-22 | [Ada] Fix conformance errors and erroneous code | Bob Duff | 1 | -36/+12 |
2021-05-04 | [Ada] Move match function for pragma Warnings to public spec | Yannick Moy | 1 | -5/+0 |
2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2021-04-29 | [Ada] Add colors to GNATprove messages output to a terminal | Yannick Moy | 1 | -7/+38 |
2021-04-28 | [Ada] Use spans instead of locations for compiler diagnostics | Yannick Moy | 1 | -8/+8 |
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 |