aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.ads
AgeCommit message (Expand)AuthorFilesLines
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