aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref-spark_specific.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-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-0/+4
2021-05-07[Ada] Minor reformattingsBob Duff1-2/+2
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-1/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-5/+5
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Use new API when creating a special SPARK heap entityPiotr Trojanek1-4/+4
2019-07-08[Ada] Set dummy Etype for the fake __HEAP entity in GNATprovePiotr Trojanek1-0/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-08-21[Ada] Minor reformattingsHristian Kirtchev1-0/+1
2018-08-21[Ada] Handle pragmas that come from aspects for GNATprovePiotr Trojanek1-1/+11
2018-07-17[Ada] Attach the special GNATprove HEAP entity to the Standard packagePiotr Trojanek1-0/+1
2018-05-21[Ada] Fix inconstent subprogram body headersPiotr Trojanek1-3/+3
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-1044/+31
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+3
2017-11-08[multiple changes]Pierre-Marie de Rodat1-0/+6
2017-11-08[multiple changes]Pierre-Marie de Rodat1-5/+4
2017-11-08[multiple changes]Pierre-Marie de Rodat1-51/+0
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat1-65/+1
2017-11-08[multiple changes]Pierre-Marie de Rodat1-2/+1
2017-11-08spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.Piotr Trojanek1-8/+8
2017-11-08spark_xrefs.ads (SPARK_File_Record): Remove string components.Piotr Trojanek1-27/+3
2017-11-08lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.Piotr Trojanek1-7/+4
2017-11-08[multiple changes]Pierre-Marie de Rodat1-17/+13
2017-11-08spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.Piotr Trojanek1-51/+6
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty en...Piotr Trojanek1-6/+1
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat1-18/+3
2017-09-29[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-09-13[multiple changes]Pierre-Marie de Rodat1-33/+17
2017-09-11lib-xref-spark_specific.adb: Minor rewrite.Yannick Moy1-1/+1
2017-09-11sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about miss...Yannick Moy1-3/+3
2017-09-08[multiple changes]Arnaud Charlet1-1/+5
2017-09-08[multiple changes]Arnaud Charlet1-0/+13
2017-09-07[multiple changes]Arnaud Charlet1-3/+13
2017-01-19[multiple changes]Arnaud Charlet1-1/+1
2017-01-19[multiple changes]Arnaud Charlet1-4/+7
2017-01-19[multiple changes]Arnaud Charlet1-16/+8
2017-01-19[multiple changes]Arnaud Charlet1-1/+10
2017-01-19[multiple changes]Arnaud Charlet1-47/+51
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-28/+35
2016-11-30[multiple changes]Arnaud Charlet1-7/+0
2016-06-22[multiple changes]Arnaud Charlet1-47/+50
2016-06-22[multiple changes]Arnaud Charlet1-193/+199
2016-06-22spark_xrefs.ads (Scope_Num): type refined to positive integers.Arnaud Charlet1-402/+362
2016-06-22[multiple changes]Arnaud Charlet1-8/+10
generated by cgit v1.1 at 2025-02-06 19:18:03 +0000