aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
2016-06-06exp_ch9.adb (Expand_N_Protected_Type_Declaration): Insert the declaration of ...Eric Botcazou1-21/+21
2016-05-02[multiple changes]Arnaud Charlet1-1/+4
2016-05-02[multiple changes]Arnaud Charlet1-2/+2
2016-05-02[multiple changes]Arnaud Charlet1-0/+7
2016-05-02[multiple changes]Arnaud Charlet1-4/+5
2016-05-02[multiple changes]Arnaud Charlet1-5/+6
2016-04-27[multiple changes]Arnaud Charlet1-4/+12
2016-04-27[multiple changes]Arnaud Charlet1-22/+25
2016-04-27[multiple changes]Arnaud Charlet1-6/+13
2016-04-27[multiple changes]Arnaud Charlet1-2/+2
2016-04-21[multiple changes]Arnaud Charlet1-1/+1
2016-04-21a-tasatt.adb, [...] (Fast_Path): Rewritten to avoid reading potentially unini...Arnaud Charlet1-2/+2
2016-04-21[multiple changes]Arnaud Charlet1-0/+7
2016-04-21[multiple changes]Arnaud Charlet1-5/+12
2016-04-21sem_ch3.adb, [...]: Minor reformatting.Hristian Kirtchev1-2/+3
2016-04-21[multiple changes]Arnaud Charlet1-0/+18
2016-04-21[multiple changes]Arnaud Charlet1-1/+2
2016-04-20[multiple changes]Arnaud Charlet1-1/+10
2016-04-20[multiple changes]Arnaud Charlet1-11/+20
2016-04-19[multiple changes]Arnaud Charlet1-2/+2
2016-04-18[multiple changes]Arnaud Charlet1-2/+2
2016-04-18sem_ch3.adb (Analyze_Object_Declaration): Do not consider internally generate...Hristian Kirtchev1-2/+6
2016-04-18contracts.adb (Analyze_Object_Contract): Update references to SPARK RM.Hristian Kirtchev1-10/+2
2016-04-18[multiple changes]Arnaud Charlet1-1/+1
2016-04-18[multiple changes]Arnaud Charlet1-8/+8
2015-11-24sem_ch3.adb, [...]: Minor reformatting, rewording, and typo corrections.Gary Dismukes1-3/+3
2015-11-18[multiple changes]Arnaud Charlet1-47/+3
2015-11-18sem_ch4.adb: Minor reformatting.Hristian Kirtchev1-1/+20
2015-11-12[multiple changes]Arnaud Charlet1-1/+3
2015-11-12[multiple changes]Arnaud Charlet1-0/+2
2015-11-12[multiple changes]Arnaud Charlet1-3/+3
2015-11-12[multiple changes]Arnaud Charlet1-4/+13
2015-10-26[multiple changes]Arnaud Charlet1-9/+26
2015-10-26sem_ch3.adb, [...]: Minor reformatting.Hristian Kirtchev1-7/+6
2015-10-26[multiple changes]Arnaud Charlet1-1/+1
2015-10-26s-rident.ads (No_Dynamic_Sized_Objects): New restriction name.Bob Duff1-0/+25
2015-10-26[multiple changes]Arnaud Charlet1-3/+10
2015-10-262015-10-26 Joel Brobecker <brobecker@adacore.com brobecker>Arnaud Charlet1-1/+17
2015-10-23[multiple changes]Arnaud Charlet1-268/+63
2015-10-23[multiple changes]Arnaud Charlet1-27/+29
2015-10-20s-valllu.adb, [...]: Fix typos.Arnaud Charlet1-3/+3
2015-10-20[multiple changes]Arnaud Charlet1-2/+9
2015-10-20[multiple changes]Arnaud Charlet1-2/+4
2015-10-202015-10-20 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev1-15/+12
2015-10-20[multiple changes]Arnaud Charlet1-0/+23
2015-10-20[multiple changes]Arnaud Charlet1-1/+1
2015-10-20sem_ch3.adb (Check_Nonoverridable_Aspects): New procedure within Analyze_Full...Ed Schonberg1-13/+120
2015-10-20[multiple changes]Arnaud Charlet1-1/+1
2015-10-16[multiple changes]Arnaud Charlet1-1/+7
2015-10-16[multiple changes]Arnaud Charlet1-0/+2