Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2019-12-16 | [Ada] Minor: improve comments | Bob Duff | 1 | -3/+4 |
2019-12-16 | [Ada] Check for "size for" in Special_Msg_Delete | Bob Duff | 1 | -0/+1 |
2019-12-12 | [Ada] Mark Ada subprograms and variables referenced from gigi | Eric Botcazou | 1 | -0/+6 |
2019-10-10 | [Ada] Mention GNAT Studio instead of GPS | Anthony Leonardo Gracio | 1 | -2/+2 |
2019-08-19 | [Ada] Factor out the "size for& too small..." error message | Bob Duff | 1 | -0/+6 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-09-26 | [Ada] Issue info message on inlined subprograms in GNATprove mode | Yannick Moy | 1 | -1/+3 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+4 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -7/+6 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+8 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2016-04-18 | sem_ch6.adb (Is_Inline_Pragma): The pragma argument can be a selected compone... | Bob Duff | 1 | -4/+10 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-26 | 2015-10-26 Joel Brobecker <brobecker@adacore.com brobecker> | Arnaud Charlet | 1 | -3/+0 |
2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2015-02-20 | a-dispat.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+7 |
2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2014-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -6/+12 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -62/+0 |
2014-07-29 | gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old. | Robert Dewar | 1 | -1/+1 |
2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2014-06-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+23 |
2014-06-11 | 2014-06-11 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -1/+2 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -9/+29 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -6/+13 |
2014-02-25 | lib.ads, [...]: Implement pragma Compiler_Unit_Warning... | Arnaud Charlet | 1 | -1/+2 |
2014-02-25 | sem_ch3.adb, [...]: Mark most references to SPARK RM in error messages for re... | Yannick Moy | 1 | -1/+5 |
2014-02-20 | [multiple changes] | Arnaud Charlet | 1 | -6/+13 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+28 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-14 | sem_res.adb: Minor fix to error message text. | Robert Dewar | 1 | -0/+2 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |