aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref.ads
AgeCommit message (Expand)AuthorFilesLines
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff1-9/+4
2020-07-10[Ada] Remove references to non-existing E_Protected_ObjectPiotr Trojanek1-1/+0
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-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-08-21[Ada] Handle pragmas that come from aspects for GNATprovePiotr Trojanek1-0/+5
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-7/+11
2017-11-08[multiple changes]Pierre-Marie de Rodat1-6/+0
2017-11-08lib-xref.ads, [...] (Traverse_Declarations): Remove Inside_Stubs parameter.Piotr Trojanek1-6/+3
2017-11-08sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi...Pierre-Marie de Rodat1-8/+1
2017-09-29[multiple changes]Pierre-Marie de Rodat1-2/+3
2017-01-19[multiple changes]Arnaud Charlet1-2/+3
2017-01-19[multiple changes]Arnaud Charlet1-0/+8
2016-11-30[multiple changes]Arnaud Charlet1-1/+1
2016-06-22spark_xrefs.ads (Scope_Num): type refined to positive integers.Arnaud Charlet1-10/+0
2016-06-14[multiple changes]Arnaud Charlet1-3/+3
2016-06-14[multiple changes]Arnaud Charlet1-0/+5
2016-05-02[multiple changes]Arnaud Charlet1-3/+3
2016-04-27[multiple changes]Arnaud Charlet1-2/+2
2015-11-12[multiple changes]Arnaud Charlet1-1/+1
2015-10-27[multiple changes]Arnaud Charlet1-4/+3
2015-10-20fmap.adb, [...]: Fix coding style for marking start of processing of subprogr...Yannick Moy1-4/+0
2015-05-26[multiple changes]Arnaud Charlet1-7/+1
2014-07-29[multiple changes]Arnaud Charlet1-2/+6
2014-05-212014-05-21 Yannick Moy <moy@adacore.com>Yannick Moy1-3/+7
2014-02-19[multiple changes]Arnaud Charlet1-5/+0
2014-02-19[multiple changes]Arnaud Charlet1-79/+66
2014-01-31[multiple changes]Arnaud Charlet1-0/+33
2014-01-23[multiple changes]Arnaud Charlet1-0/+1
2013-07-05[multiple changes]Arnaud Charlet1-1/+1
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-19/+21
2013-01-03[multiple changes]Arnaud Charlet1-1/+6
2012-06-12[multiple changes]Arnaud Charlet1-1/+1
2012-06-12[multiple changes]Arnaud Charlet1-7/+20
2012-03-30lib-xref-alfa.adb, [...]: Minor addition of comments and refactoring.Yannick Moy1-3/+6
2011-08-31[multiple changes]Arnaud Charlet1-11/+11
2011-08-29[multiple changes]Arnaud Charlet1-0/+9
2011-08-29[multiple changes]Arnaud Charlet1-0/+1
2011-08-29[multiple changes]Arnaud Charlet1-2/+3
2011-08-04[multiple changes]Arnaud Charlet1-1/+0
2011-08-04sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of referen...Yannick Moy1-0/+4
2011-08-04[multiple changes]Arnaud Charlet1-0/+5
2011-08-03[multiple changes]Arnaud Charlet1-132/+24
2011-08-02sem_ch3.adb, [...]: Update comments.Robert Dewar1-115/+109
2011-08-02[multiple changes]Arnaud Charlet1-15/+139
2010-10-12[multiple changes]Arnaud Charlet1-1/+1
generated by cgit v1.1 at 2025-02-25 17:38:26 +0000