Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [Ada] Update copyright notice | Arnaud Charlet | 2021-05-03 | 1 | -1/+1 |
* | [Ada] Declare expressions | Bob Duff | 2020-06-16 | 1 | -4/+8 |
* | [Ada] Remove processing of SPARK_05 restriction | Arnaud Charlet | 2020-06-08 | 1 | -40/+0 |
* | [Ada] Bump copyright year | Arnaud Charlet | 2020-06-02 | 1 | -1/+1 |
* | [Ada] Syntax error on improperly indented imported subprogram | Bob Duff | 2019-12-16 | 1 | -8/+8 |
* | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 2019-01-08 | 1 | -1/+1 |
* | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 2018-01-11 | 1 | -1/+1 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-11-08 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2014-06-11 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2013-09-10 | 1 | -8/+34 |
* | [multiple changes] | Arnaud Charlet | 2013-04-12 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -1/+43 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -4/+30 |
* | [multiple changes] | Arnaud Charlet | 2011-08-01 | 1 | -16/+15 |
* | [multiple changes] | Arnaud Charlet | 2010-10-12 | 1 | -4/+18 |
* | [multiple changes] | Arnaud Charlet | 2010-10-07 | 1 | -1/+1 |
* | par-ch9.adb, [...]: Update comments. | Arnaud Charlet | 2010-06-18 | 1 | -4/+3 |
* | checks.adb (Safe_To_Capture_In_Parameter_Value): Deal with case expression (c... | Robert Dewar | 2010-06-18 | 1 | -9/+11 |
* | [multiple changes] | Arnaud Charlet | 2009-04-09 | 1 | -2/+2 |
* | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 2007-09-10 | 1 | -5/+4 |
* | Update FSF address | R. Kelley Cook | 2005-07-01 | 1 | -2/+2 |
* | 1aexcept.adb, [...]: Merge header, formatting and other trivial changes from ... | Geert Bosch | 2003-04-24 | 1 | -1/+0 |
* | Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for... | Nathanael Nerode | 2002-10-23 | 1 | -1/+1 |
* | Delete all lines containing "$Revision:". | Geoffrey Keating | 2002-03-14 | 1 | -1/+0 |
* | New Language: Ada | Richard Kenner | 2001-10-02 | 1 | -0/+282 |