aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_aux.ads
AgeCommit message (Expand)AuthorFilesLines
2021-09-22[Ada] Add Package_Body helper routine to be used in GNATprovePiotr Trojanek1-0/+4
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-25/+0
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-4/+0
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-7/+0
2020-06-16[Ada] ACATS C452005/C452006 memberships use wrong equality operationArnaud Charlet1-0/+3
2020-06-10[Ada] Remove unreferenced GNATprove utility routine Get_Low_BoundPiotr Trojanek1-3/+0
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-10/+1
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-2/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-0/+14
2019-07-10[Ada] Fix spurious messages on global variables for SPARK pointer supportYannick Moy1-0/+4
2019-07-05[Ada] Minor reformattingHristian Kirtchev1-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-09-25[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-09-11sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about miss...Yannick Moy1-1/+2
2017-09-08sem_aux.adb, [...] (Get_Called_Entity): New function to return the entity ass...Yannick Moy1-2/+5
2016-04-21[multiple changes]Arnaud Charlet1-1/+5
2015-10-26[multiple changes]Arnaud Charlet1-1/+1
2015-05-27[multiple changes]Arnaud Charlet1-3/+3
2015-05-26[multiple changes]Arnaud Charlet1-0/+3
2015-05-26[multiple changes]Arnaud Charlet1-8/+8
2015-05-26sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound.Yannick Moy1-4/+11
2015-05-26[multiple changes]Arnaud Charlet1-5/+7
2015-05-26inline.adb (Has_Initialized_Type): Adapt to new names.Yannick Moy1-6/+32
2014-07-31[multiple changes]Arnaud Charlet1-1/+1
2014-07-29[multiple changes]Arnaud Charlet1-13/+12
2014-07-18[multiple changes]Arnaud Charlet1-0/+15
2014-07-17[multiple changes]Arnaud Charlet1-0/+6
2014-07-17[multiple changes]Arnaud Charlet1-0/+5
2014-06-11[multiple changes]Arnaud Charlet1-1/+5
2014-02-24sem_ch5.adb, [...]: Change spelling 'parametrization' to 'parameterization'.Gary Dismukes1-1/+1
2014-02-18[multiple changes]Arnaud Charlet1-0/+5
2014-01-22[multiple changes]Arnaud Charlet1-0/+3
2014-01-22[multiple changes]Arnaud Charlet1-0/+4
2014-01-20einfo.adb (Non_Limited_View): Applies to abstract states.Hristian Kirtchev1-6/+4
2013-10-17[multiple changes]Arnaud Charlet1-2/+2
2013-10-17sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit...Ed Schonberg1-1/+8
2013-10-14[multiple changes]Arnaud Charlet1-1/+1
2013-10-14[multiple changes]Arnaud Charlet1-0/+4
2013-04-23sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr...Ed Schonberg1-14/+15
2012-08-06[multiple changes]Arnaud Charlet1-6/+60
2012-06-14[multiple changes]Arnaud Charlet1-11/+11
2012-06-14einfo.adb einfo.ads (Get_Rep_Item): Removed.Vincent Pucci1-0/+47
2012-05-15[multiple changes]Arnaud Charlet1-2/+2
2012-04-10a-assert.ads: Remove execute permission.Mike Stump1-0/+0
2011-12-02[multiple changes]Arnaud Charlet1-0/+18
2011-08-03a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th...Hristian Kirtchev1-1/+1
2011-08-03[multiple changes]Arnaud Charlet1-4/+0
generated by cgit v1.1 at 2024-08-18 19:04:50 +0000