| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2020-11-30 | [Ada] Add comment on special Heap variable used in GNATprove | Yannick Moy | 1 | -1/+2 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 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 | gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her... | Pierre-Marie de Rodat | 1 | -114/+4 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+1 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -8/+0 |
| 2017-11-08 | lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta... | Pierre-Marie de Rodat | 1 | -1/+0 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -10/+3 |
| 2017-11-08 | spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity. | Piotr Trojanek | 1 | -2/+2 |
| 2017-11-08 | spark_xrefs.ads (SPARK_File_Record): Remove string components. | Piotr Trojanek | 1 | -7/+0 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -8/+7 |
| 2017-11-08 | spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components. | Piotr Trojanek | 1 | -33/+0 |
| 2017-11-08 | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 1 | -161/+5 |
| 2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -8/+11 |
| 2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -20/+20 |
| 2016-06-22 | spark_xrefs.ads (Scope_Num): type refined to positive integers. | Arnaud Charlet | 1 | -1/+1 |
| 2016-05-02 | 2016-05-02 Arnaud Charlet <charlet@adacore.com> | Arnaud Charlet | 1 | -11/+14 |
| 2016-05-02 | lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope. | Arnaud Charlet | 1 | -2/+2 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -7/+13 |
| 2015-10-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-10-27 | sinput.ads, [...]: Fix typos. | Arnaud Charlet | 1 | -5/+5 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
| 2014-10-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+16 |
| 2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
| 2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -0/+367 |
