aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref-spark_specific.adb
AgeCommit message (Expand)AuthorFilesLines
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
2016-06-22lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not comment...Arnaud Charlet1-10/+38
2016-06-22[multiple changes]Arnaud Charlet1-4/+3
2016-06-22exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of Expand_N_In...Ed Schonberg1-20/+10
2016-06-22lib.ads: Code cleanup.Arnaud Charlet1-21/+2
2016-06-14[multiple changes]Arnaud Charlet1-6/+19
2016-05-02Minor reformatting.Arnaud Charlet1-3/+3
2016-05-022016-05-02 Arnaud Charlet <charlet@adacore.com>Arnaud Charlet1-63/+48
2016-05-02[multiple changes]Arnaud Charlet1-2/+2
2016-05-02lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.Arnaud Charlet1-2/+12
2016-05-02make.adb: Minor...Arnaud Charlet1-6/+6
2016-04-19sem_res.adb (Within_Subprogram_Call): Detect also nodes that appear in entry ...Arnaud Charlet1-4/+4
2016-04-18[multiple changes]Arnaud Charlet1-2/+2
2016-04-18sem_ch6.adb (Is_Inline_Pragma): The pragma argument can be a selected compone...Bob Duff1-2/+15
2015-11-25[multiple changes]Arnaud Charlet1-1/+2
2015-11-25[multiple changes]Arnaud Charlet1-6/+16
2015-11-12[multiple changes]Arnaud Charlet1-2/+6
2015-10-27lib-xref-spark_specific.adb, [...]: Minor reformatting.Hristian Kirtchev1-0/+1
2015-10-27[multiple changes]Arnaud Charlet1-0/+12
generated by cgit v1.1 at 2024-08-19 04:59:27 +0000