| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 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 | -74/+31 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+0 |
| 2017-11-08 | lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta... | Pierre-Marie de Rodat | 1 | -3/+3 |
| 2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+3 |
| 2017-11-08 | spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity. | Piotr Trojanek | 1 | -1/+1 |
| 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 | -9/+4 |
| 2017-11-08 | spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components. | Piotr Trojanek | 1 | -14/+0 |
| 2017-11-08 | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 1 | -53/+2 |
| 2016-05-02 | a-tigeli.adb (Get_Line): Always set Last prior to returning. | Yannick Moy | 1 | -2/+5 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -0/+203 |
