aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2016-04-19[multiple changes]Arnaud Charlet1-0/+6
2016-04-18[multiple changes]Arnaud Charlet1-3/+4
2016-04-18[multiple changes]Arnaud Charlet1-0/+12
2016-04-18[multiple changes]Arnaud Charlet1-4/+2
2016-04-18sem_res.adb (Resolve_Short_Circuit): Do not use expression-with-actions when ...Arnaud Charlet1-2/+4
2016-04-18[multiple changes]Arnaud Charlet1-5/+17
2016-04-18[multiple changes]Arnaud Charlet1-0/+2
2016-04-18contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.Hristian Kirtchev1-1/+1
2016-04-18[multiple changes]Arnaud Charlet1-14/+21
2016-04-18[multiple changes]Arnaud Charlet1-1/+1
2015-11-18[multiple changes]Arnaud Charlet1-0/+9
2015-11-18[multiple changes]Arnaud Charlet1-1/+5
2015-11-18[multiple changes]Arnaud Charlet1-2/+6
2015-11-13[multiple changes]Arnaud Charlet1-1/+1
2015-11-12contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Remove the guard c...Hristian Kirtchev1-3/+3
2015-10-27[multiple changes]Arnaud Charlet1-0/+17
2015-10-27[multiple changes]Arnaud Charlet1-1/+3
2015-10-27inline.adb (Is_Expression_Function): Removed.Hristian Kirtchev1-3/+4
2015-10-26[multiple changes]Arnaud Charlet1-1/+9
2015-10-26contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b...Hristian Kirtchev1-0/+7
2015-10-26[multiple changes]Arnaud Charlet1-0/+2
2015-10-26[multiple changes]Arnaud Charlet1-4/+4
2015-10-26[multiple changes]Arnaud Charlet1-3/+3
2015-10-26[multiple changes]Arnaud Charlet1-15/+18
2015-10-26[multiple changes]Arnaud Charlet1-4/+4
2015-10-23[multiple changes]Arnaud Charlet1-31/+27
2015-10-23[multiple changes]Arnaud Charlet1-1/+2
2015-10-20fmap.adb, [...]: Fix coding style for marking start of processing of subprogr...Yannick Moy1-1/+1
2015-10-20s-valllu.adb, [...]: Fix typos.Arnaud Charlet1-3/+3
2015-10-20sem_aggr.adb, [...]: Fix typos.Arnaud Charlet1-22/+22
2015-10-20[multiple changes]Arnaud Charlet1-2/+2
2015-10-20[multiple changes]Arnaud Charlet1-2/+3
2015-10-20[multiple changes]Arnaud Charlet1-0/+2
2015-10-20[multiple changes]Arnaud Charlet1-0/+42
2015-10-20[multiple changes]Arnaud Charlet1-0/+1
2015-10-202015-10-20 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-29/+61
2015-10-16exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore...Hristian Kirtchev1-0/+22
2015-05-28sem_util.adb (Wrong_Type): In any instance...Ed Schonberg1-9/+11
2015-05-26[multiple changes]Arnaud Charlet1-10/+4
2015-05-25einfo.ads, einfo.adb (Has_Out_Or_In_Out_Parameter): This attribute is now pre...Javier Miranda1-5/+0
2015-05-22sem_res.adb (Resolve_Actuals): If the call is to an overridden operation...Ed Schonberg1-4/+40
2015-05-12[multiple changes]Arnaud Charlet1-16/+7
2015-03-02[multiple changes]Arnaud Charlet1-1/+27
2015-02-20[multiple changes]Arnaud Charlet1-5/+5
2015-02-20[multiple changes]Arnaud Charlet1-7/+15
2015-02-20[multiple changes]Arnaud Charlet1-3/+3
2015-02-05015-02-05 Robert Dewar <dewar@adacore.com>Arnaud Charlet1-1/+4
2015-01-30sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity or a function...Ed Schonberg1-10/+40
2015-01-30[multiple changes]Arnaud Charlet1-8/+3
2015-01-072015-01-07 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-191/+1