aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)AuthorFilesLines
2013-10-17exp_util.adb, [...] (Entity_Of): Moved to Sem_Util.Hristian Kirtchev1-0/+29
2013-10-17exp_util.adb (Get_Current_Value_Condition, [...]): Handle the case of express...Thomas Quinot1-0/+6
2013-10-17sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit...Ed Schonberg1-1/+1
2013-10-17[multiple changes]Arnaud Charlet1-0/+175
2013-10-17[multiple changes]Arnaud Charlet1-3/+3
2013-10-15[multiple changes]Arnaud Charlet1-1/+8
2013-10-14sem_ch3.adb: Minor fix to error message.Robert Dewar1-7/+6
2013-10-14[multiple changes]Arnaud Charlet1-1/+5
2013-10-14[multiple changes]Arnaud Charlet1-4/+22
2013-10-14einfo.adb: Flag 263 is now known as Has_Visible_Refinement.Hristian Kirtchev1-2/+1
2013-10-14[multiple changes]Arnaud Charlet1-1/+2
2013-10-14[multiple changes]Arnaud Charlet1-41/+133
2013-10-14aspects.adb: Add an entry in table Canonical_Aspect for Initializes.Hristian Kirtchev1-11/+56
2013-10-13gnat_rm.texi: Add documentation for pragmas Pre[_Class] Post[_Class].Robert Dewar1-5/+109
2013-10-13einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents.Hristian Kirtchev1-1/+122
2013-10-10[multiple changes]Arnaud Charlet1-0/+39
2013-10-10[multiple changes]Arnaud Charlet1-14/+30
2013-10-10[multiple changes]Arnaud Charlet1-6/+6
2013-10-10[multiple changes]Arnaud Charlet1-8/+10
2013-10-10[multiple changes]Arnaud Charlet1-2/+4
2013-07-08[multiple changes]Arnaud Charlet1-2/+2
2013-07-08[multiple changes]Arnaud Charlet1-3/+2
2013-04-25[multiple changes]Arnaud Charlet1-4/+4
2013-04-25[multiple changes]Arnaud Charlet1-73/+108
2013-04-25[multiple changes]Arnaud Charlet1-9/+7
2013-04-25[multiple changes]Arnaud Charlet1-2/+5
2013-04-25sem_prag.adb: Minor code reorganization (correct misspelling Restiction).Robert Dewar1-1/+4
2013-04-25[multiple changes]Arnaud Charlet1-0/+34
2013-04-25sem_ch12.adb, [...]: Minor reformatting.Robert Dewar1-3/+2
2013-04-25[multiple changes]Arnaud Charlet1-3/+11
2013-04-25[multiple changes]Arnaud Charlet1-0/+92
2013-04-25[multiple changes]Arnaud Charlet1-1/+11
2013-04-25einfo.ads, einfo.adb: Remove with and use clauses for Namet.Hristian Kirtchev1-20/+0
2013-04-25[multiple changes]Arnaud Charlet1-0/+20
2013-04-24[multiple changes]Arnaud Charlet1-1/+1
2013-04-24[multiple changes]Arnaud Charlet1-0/+62
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-3/+3
2013-04-23[multiple changes]Arnaud Charlet1-0/+37
2013-04-23[multiple changes]Arnaud Charlet1-1/+1
2013-04-23sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr...Ed Schonberg1-1/+1
2013-04-23[multiple changes]Arnaud Charlet1-2/+3
2013-04-23[multiple changes]Arnaud Charlet1-11/+16
2013-04-22sem_prag.adb, [...]: Minor reformatting.Robert Dewar1-2/+1
2013-04-22[multiple changes]Arnaud Charlet1-1/+4
2013-04-12[multiple changes]Arnaud Charlet1-9/+4
2013-04-12aspects.adb: Alphabetize subprogram bodies in this unit.Hristian Kirtchev1-30/+53
2013-04-11einfo.ads, [...]: Minor reformatting.Robert Dewar1-8/+5
2013-04-11[multiple changes]Arnaud Charlet1-0/+88
2013-04-11[multiple changes]Arnaud Charlet1-2/+2
2013-04-11[multiple changes]Arnaud Charlet1-2/+3