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