summaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.ads
Commit message (Expand)AuthorAgeFilesLines
* [multiple changes]Arnaud Charlet2012-05-151-1/+1
* [multiple changes]Arnaud Charlet2012-05-151-18/+23
* [multiple changes]Arnaud Charlet2012-05-151-0/+25
* [multiple changes]Arnaud Charlet2012-05-151-0/+13
* [multiple changes]Arnaud Charlet2012-05-151-1/+8
* a-assert.ads: Remove execute permission.Mike Stump2012-04-101-0/+0
* aspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_Contract_Case.Yannick Moy2012-03-151-2/+7
* [multiple changes]Arnaud Charlet2012-03-091-0/+4
* [multiple changes]Arnaud Charlet2012-02-081-26/+29
* [multiple changes]Arnaud Charlet2012-02-081-0/+4
* einfo.ads, [...]: Minor reformatting.Robert Dewar2012-01-301-1/+0
* [multiple changes]Arnaud Charlet2012-01-301-1/+5
* [multiple changes]Arnaud Charlet2012-01-231-1/+4
* [multiple changes]Arnaud Charlet2011-12-211-0/+18
* [multiple changes]Arnaud Charlet2011-12-201-12/+14
* [multiple changes]Arnaud Charlet2011-12-151-0/+6
* sem_ch6.adb (Is_Public_Subprogram_For): New procedureArnaud Charlet2011-11-211-0/+3
* [multiple changes]Arnaud Charlet2011-11-071-7/+7
* [multiple changes]Arnaud Charlet2011-11-071-0/+12
* [multiple changes]Arnaud Charlet2011-09-191-0/+25
* [multiple changes]Arnaud Charlet2011-09-011-0/+3
* [multiple changes]Arnaud Charlet2011-08-311-0/+3
* a-cdlili.adb, [...]: Minor reformatting.Robert Dewar2011-08-291-1/+1
* [multiple changes]Arnaud Charlet2011-08-291-0/+3
* [multiple changes]Arnaud Charlet2011-08-291-1/+21
* [multiple changes]Arnaud Charlet2011-08-051-0/+15
* gnat_rm.texi: Document new pragma and aspect.Yannick Moy2011-08-041-1/+11
* [multiple changes]Arnaud Charlet2011-08-021-98/+101
* [multiple changes]Arnaud Charlet2011-08-021-3/+5
* [multiple changes]Arnaud Charlet2011-08-011-2/+41
* [multiple changes]Arnaud Charlet2011-08-011-2/+65
* aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition.Robert Dewar2011-08-011-27/+38
* aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate.Robert Dewar2011-08-011-1/+5
* [multiple changes]Arnaud Charlet2011-08-011-43/+37
* Fix typos in gcc/ada.Ralf Wildenhues2010-12-201-3/+3
* [multiple changes]Arnaud Charlet2010-10-181-2/+10
* [multiple changes]Arnaud Charlet2010-10-121-0/+6
* [multiple changes]Arnaud Charlet2010-10-111-14/+24
* [multiple changes]Arnaud Charlet2010-10-111-21/+54
* [multiple changes]Arnaud Charlet2010-10-111-0/+161