| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-08-21 | [Ada] Handle pragmas that come from aspects for GNATprove | Piotr Trojanek | 1 | -0/+5 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-11-09 | gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her... | Pierre-Marie de Rodat | 1 | -7/+11 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -6/+0 |
| 2017-11-08 | lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter. | Piotr Trojanek | 1 | -6/+3 |
| 2017-11-08 | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 1 | -8/+1 |
| 2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+3 |
| 2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
| 2016-11-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2016-06-22 | spark_xrefs.ads (Scope_Num): type refined to positive integers. | Arnaud Charlet | 1 | -10/+0 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-10-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
| 2015-10-20 | fmap.adb, [...]: Fix coding style for marking start of processing of subprogr... | Yannick Moy | 1 | -4/+0 |
| 2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -7/+1 |
| 2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
| 2014-05-21 | 2014-05-21 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -3/+7 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -5/+0 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -79/+66 |
| 2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -0/+33 |
| 2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -19/+21 |
| 2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
| 2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -7/+20 |
| 2012-03-30 | lib-xref-alfa.adb, [...]: Minor addition of comments and refactoring. | Yannick Moy | 1 | -3/+6 |
| 2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -11/+11 |
| 2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
| 2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
| 2011-08-04 | sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of referen... | Yannick Moy | 1 | -0/+4 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -132/+24 |
| 2011-08-02 | sem_ch3.adb, [...]: Update comments. | Robert Dewar | 1 | -115/+109 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -15/+139 |
| 2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
| 2010-06-14 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2010-06-14 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2010-06-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2009-07-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
| 2009-07-15 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2008-09-14 | a-crbtgk.adb, [...]: Fix typos in comments. | Ralf Wildenhues | 1 | -1/+1 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |