aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.ads
AgeCommit message (Expand)AuthorFilesLines
2013-04-23[multiple changes]Arnaud Charlet1-235/+210
2013-04-22aspects.ads, [...]: Removal of references to Contract_Case.Yannick Moy1-6/+1
2013-04-12aspects.adb (Find_Aspect): New routine.Hristian Kirtchev1-2/+9
2013-04-12aspects.adb: Alphabetize subprogram bodies in this unit.Hristian Kirtchev1-17/+23
2013-04-11[multiple changes]Arnaud Charlet1-1/+5
2013-01-29[multiple changes]Arnaud Charlet1-3/+5
2013-01-04[multiple changes]Arnaud Charlet1-0/+4
2013-01-03[multiple changes]Arnaud Charlet1-1/+5
2012-12-05aspects.ads, [...]: Add aspect Relative_Deadline.Ed Schonberg1-0/+3
2012-12-05[multiple changes]Arnaud Charlet1-1/+0
2012-12-05[multiple changes]Arnaud Charlet1-3/+8
2012-10-02[multiple changes]Arnaud Charlet1-1/+1
2012-10-01aspects.ads: Type_Invariant'class is a valid aspect.Ed Schonberg1-5/+6
2012-08-06[multiple changes]Arnaud Charlet1-0/+4
2012-05-15[multiple changes]Arnaud Charlet1-1/+1
2012-05-15[multiple changes]Arnaud Charlet1-18/+23
2012-05-15[multiple changes]Arnaud Charlet1-0/+25
2012-05-15[multiple changes]Arnaud Charlet1-0/+13
2012-05-15[multiple changes]Arnaud Charlet1-1/+8
2012-04-10a-assert.ads: Remove execute permission.Mike Stump1-0/+0
2012-03-15aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_Contract_Case.Yannick Moy1-2/+7
2012-03-09[multiple changes]Arnaud Charlet1-0/+4
2012-02-08[multiple changes]Arnaud Charlet1-26/+29
2012-02-08[multiple changes]Arnaud Charlet1-0/+4
2012-01-30einfo.ads, [...]: Minor reformatting.Robert Dewar1-1/+0
2012-01-30[multiple changes]Arnaud Charlet1-1/+5
2012-01-23[multiple changes]Arnaud Charlet1-1/+4
2011-12-21[multiple changes]Arnaud Charlet1-0/+18
2011-12-20[multiple changes]Arnaud Charlet1-12/+14
2011-12-15[multiple changes]Arnaud Charlet1-0/+6
2011-11-21sem_ch6.adb (Is_Public_Subprogram_For): New procedureArnaud Charlet1-0/+3
2011-11-07[multiple changes]Arnaud Charlet1-7/+7
2011-11-07[multiple changes]Arnaud Charlet1-0/+12
2011-09-19[multiple changes]Arnaud Charlet1-0/+25
2011-09-01[multiple changes]Arnaud Charlet1-0/+3
2011-08-31[multiple changes]Arnaud Charlet1-0/+3
2011-08-29a-cdlili.adb, [...]: Minor reformatting.Robert Dewar1-1/+1
2011-08-29[multiple changes]Arnaud Charlet1-0/+3
2011-08-29[multiple changes]Arnaud Charlet1-1/+21
2011-08-05[multiple changes]Arnaud Charlet1-0/+15
2011-08-04gnat_rm.texi: Document new pragma and aspect.Yannick Moy1-1/+11
2011-08-02[multiple changes]Arnaud Charlet1-98/+101
2011-08-02[multiple changes]Arnaud Charlet1-3/+5
2011-08-01[multiple changes]Arnaud Charlet1-2/+41
2011-08-01[multiple changes]Arnaud Charlet1-2/+65
2011-08-01aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition.Robert Dewar1-27/+38
2011-08-01aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate.Robert Dewar1-1/+5
2011-08-01[multiple changes]Arnaud Charlet1-43/+37
2010-12-20Fix typos in gcc/ada.Ralf Wildenhues1-3/+3
2010-10-18[multiple changes]Arnaud Charlet1-2/+10