summaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref-spark_specific.adb
AgeCommit message (Expand)Author
2019-07-08[Ada] Set dummy Etype for the fake __HEAP entity in GNATprovePiotr Trojanek
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat
2018-08-21[Ada] Minor reformattingsHristian Kirtchev
2018-08-21[Ada] Handle pragmas that come from aspects for GNATprovePiotr Trojanek
2018-07-17[Ada] Attach the special GNATprove HEAP entity to the Standard packagePiotr Trojanek
2018-05-21[Ada] Fix inconstent subprogram body headersPiotr Trojanek
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat
2017-11-09[multiple changes]Pierre-Marie de Rodat
2017-11-08[multiple changes]Pierre-Marie de Rodat
2017-11-08[multiple changes]Pierre-Marie de Rodat
2017-11-08[multiple changes]Pierre-Marie de Rodat
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat
2017-11-08[multiple changes]Pierre-Marie de Rodat
2017-11-08spark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id component to Entity.Piotr Trojanek
2017-11-08spark_xrefs.ads (SPARK_File_Record): Remove string components.Piotr Trojanek
2017-11-08lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.Piotr Trojanek
2017-11-08[multiple changes]Pierre-Marie de Rodat
2017-11-08spark_xrefs.ads (SPARK_Xref_Record): Remove inessential components.Piotr Trojanek
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty en...Piotr Trojanek
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat
2017-09-29[multiple changes]Pierre-Marie de Rodat
2017-09-13[multiple changes]Pierre-Marie de Rodat
2017-09-11lib-xref-spark_specific.adb: Minor rewrite.Yannick Moy
2017-09-11sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about miss...Yannick Moy
2017-09-08[multiple changes]Arnaud Charlet
2017-09-08[multiple changes]Arnaud Charlet
2017-09-07[multiple changes]Arnaud Charlet
2017-01-19[multiple changes]Arnaud Charlet
2017-01-19[multiple changes]Arnaud Charlet
2017-01-19[multiple changes]Arnaud Charlet
2017-01-19[multiple changes]Arnaud Charlet
2017-01-19[multiple changes]Arnaud Charlet
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev
2016-11-30[multiple changes]Arnaud Charlet
2016-06-22[multiple changes]Arnaud Charlet
2016-06-22[multiple changes]Arnaud Charlet
2016-06-22spark_xrefs.ads (Scope_Num): type refined to positive integers.Arnaud Charlet
2016-06-22[multiple changes]Arnaud Charlet
2016-06-22lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not comment...Arnaud Charlet
2016-06-22[multiple changes]Arnaud Charlet
2016-06-22exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of Expand_N_In...Ed Schonberg
2016-06-22lib.ads: Code cleanup.Arnaud Charlet
2016-06-14[multiple changes]Arnaud Charlet
2016-05-02Minor reformatting.Arnaud Charlet
2016-05-022016-05-02 Arnaud Charlet <charlet@adacore.com>Arnaud Charlet
2016-05-02[multiple changes]Arnaud Charlet
2016-05-02lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.Arnaud Charlet
2016-05-02make.adb: Minor...Arnaud Charlet
2016-04-19sem_res.adb (Within_Subprogram_Call): Detect also nodes that appear in entry ...Arnaud Charlet
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-05 01:42:22 +0000