aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2013-10-17sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit...Ed Schonberg1-5/+5
2013-10-17[multiple changes]Arnaud Charlet1-17/+23
2013-10-14[multiple changes]Arnaud Charlet1-2/+1
2013-10-14[multiple changes]Arnaud Charlet1-0/+12
2013-10-14aspects.adb: Add an entry in table Canonical_Aspect for Initializes.Hristian Kirtchev1-18/+45
2013-10-13gnat_rm.texi: Add documentation for pragmas Pre[_Class] Post[_Class].Robert Dewar1-1/+0
2013-10-13einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents.Hristian Kirtchev1-4/+39
2013-10-10sem_aggr.adb (Resolve_Array_Aggregate): Identify duplicated cases.Robert Dewar1-3/+3
2013-10-10[multiple changes]Arnaud Charlet1-889/+36
2013-10-10[multiple changes]Arnaud Charlet1-43/+85
2013-10-10[multiple changes]Arnaud Charlet1-9/+7
2013-10-10[multiple changes]Arnaud Charlet1-8/+23
2013-10-10[multiple changes]Arnaud Charlet1-2/+7
2013-09-10[multiple changes]Arnaud Charlet1-7/+6
2013-09-10[multiple changes]Arnaud Charlet1-4/+0
2013-09-10[multiple changes]Arnaud Charlet1-1/+8
2013-07-08[multiple changes]Arnaud Charlet1-9/+12
2013-04-25[multiple changes]Arnaud Charlet1-29/+52
2013-04-25[multiple changes]Arnaud Charlet1-468/+5
2013-04-25sem_prag.adb: Minor code reorganization (correct misspelling Restiction).Robert Dewar1-4/+3
2013-04-25[multiple changes]Arnaud Charlet1-2/+2
2013-04-25[multiple changes]Arnaud Charlet1-1/+5
2013-04-25[multiple changes]Arnaud Charlet1-8/+102
2013-04-25[multiple changes]Arnaud Charlet1-11/+32
2013-04-24[multiple changes]Arnaud Charlet1-217/+152
2013-04-24[multiple changes]Arnaud Charlet1-0/+2
2013-04-24[multiple changes]Arnaud Charlet1-8/+17
2013-04-242013-04-24 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet1-2/+29
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-2/+2
2013-04-24exp_ch6.adb: Remove with and use clause for Sem_Prag.Hristian Kirtchev1-340/+283
2013-04-23[multiple changes]Arnaud Charlet1-25/+25
2013-04-23[multiple changes]Arnaud Charlet1-11/+6
2013-04-23[multiple changes]Arnaud Charlet1-5/+2
2013-04-22exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as null statement i...Yannick Moy1-0/+7
2013-04-22[multiple changes]Arnaud Charlet1-3/+4
2013-04-22sem_prag.adb, [...]: Minor reformatting.Robert Dewar1-9/+5
2013-04-22par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_C...Yannick Moy1-108/+10
2013-04-12[multiple changes]Arnaud Charlet1-22/+14
2013-04-12[multiple changes]Arnaud Charlet1-7/+19
2013-04-12aspects.adb: Alphabetize subprogram bodies in this unit.Hristian Kirtchev1-16/+17
2013-04-12[multiple changes]Arnaud Charlet1-35/+42
2013-04-12[multiple changes]Arnaud Charlet1-1/+1
2013-04-11[multiple changes]Arnaud Charlet1-0/+7
2013-04-11[multiple changes]Arnaud Charlet1-2/+3
2013-04-11sem_ch6.adb (Analyze_Null_Procedure): New subprogram...Ed Schonberg1-76/+155
2013-04-11[multiple changes]Arnaud Charlet1-0/+7
2013-04-11[multiple changes]Arnaud Charlet1-2/+8
2013-04-11[multiple changes]Arnaud Charlet1-1/+1
2013-04-11[multiple changes]Arnaud Charlet1-1/+6
2013-04-11[multiple changes]Arnaud Charlet1-137/+105