| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-10-26 | [Ada] AI12-0395: Allow aspect_specifications on formal parameters | Arnaud Charlet | 1 | -2/+2 |
| 2020-10-20 | [Ada] Add support for Unreferenced aspect on formal parameters | Arnaud Charlet | 1 | -0/+19 |
| 2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -3/+3 |
| 2020-07-06 | [Ada] Default_Initial_Condition check done after extended return with init | Arnaud Charlet | 1 | -0/+1 |
| 2020-06-10 | [Ada] Fix assertion failure on functions with contracts | Ghjuvan Lacambre | 1 | -3/+6 |
| 2020-06-10 | [Ada] Reject illegal bodies for null procedures | Ghjuvan Lacambre | 1 | -0/+7 |
| 2020-06-08 | [Ada] Remove processing of SPARK_05 restriction | Arnaud Charlet | 1 | -21/+0 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-12-18 | [Ada] Fix three-letter typos like "sss" in comments and docs | Piotr Trojanek | 1 | -1/+1 |
| 2019-12-16 | [Ada] Syntax error on improperly indented imported subprogram | Bob Duff | 1 | -19/+25 |
| 2019-07-09 | [Ada] Reformat comments | Piotr Trojanek | 1 | -1/+1 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-01-11 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -2/+4 |
| 2018-01-11 | [Ada] No error on missing enclosing parentheses in Expression Function | Justin Squirek | 1 | -2/+20 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+1 |
| 2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
| 2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -8/+21 |
| 2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
| 2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-10-20 | sem_aggr.adb, [...]: Fix typos. | Arnaud Charlet | 1 | -1/+1 |
| 2014-10-17 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+10 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -14/+15 |
| 2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
| 2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -7/+4 |
| 2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -12/+15 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
| 2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
| 2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -9/+58 |
| 2013-01-04 | types.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -7/+18 |
| 2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -7/+2 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
| 2012-07-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+31 |
| 2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
| 2012-02-17 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2011-11-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-11-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2011-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
| 2011-10-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-10-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-09-05 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+3 |
| 2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -2/+34 |
| 2011-09-01 | [multiple changes] | Arnaud Charlet | 1 | -4/+20 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+23 |
| 2011-08-02 | par-ch6.adb: Correct obsolete name in comments | Yannick Moy | 1 | -4/+4 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -35/+34 |
| 2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+19 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |