aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.ads
AgeCommit message (Expand)AuthorFilesLines
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
2010-10-12[multiple changes]Arnaud Charlet1-0/+6
2010-10-11[multiple changes]Arnaud Charlet1-14/+24
2010-10-11[multiple changes]Arnaud Charlet1-21/+54
2010-10-11[multiple changes]Arnaud Charlet1-0/+161