aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_aux.ads
AgeCommit message (Expand)AuthorFilesLines
2024-06-20ada: Rewrite generic formal/actual matchingBob Duff1-8/+7
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-8/+8
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-07ada: Inline composite node kind AST queriesPiotr Trojanek1-1/+1
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-3/+0
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
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
generated by cgit v1.1 at 2024-11-06 02:43:08 +0000