aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/spark_xrefs.adb
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-74/+31
2017-11-08[multiple changes]Pierre-Marie de Rodat1-4/+0
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat1-3/+3
2017-11-08[multiple changes]Pierre-Marie de Rodat1-4/+3
2017-11-08spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.Piotr Trojanek1-1/+1
2017-11-08spark_xrefs.ads (SPARK_File_Record): Remove string components.Piotr Trojanek1-7/+0
2017-11-08[multiple changes]Pierre-Marie de Rodat1-9/+4
2017-11-08spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.Piotr Trojanek1-14/+0
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat1-53/+2
2016-05-02a-tigeli.adb (Get_Line): Always set Last prior to returning.Yannick Moy1-2/+5
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-0/+203