Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -15/+16 |
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 | -0/+1 |
2012-03-09 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-02-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-02-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-02-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-01-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-01-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2011-12-21 | [multiple changes] | Arnaud Charlet | 1 | -6/+18 |
2011-12-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2011-11-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2011-11-21 | sem_ch6.adb (Is_Public_Subprogram_For): New procedure | Arnaud Charlet | 1 | -0/+1 |
2011-11-07 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
2011-09-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+27 |
2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+26 |
2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2011-08-04 | gnat_rm.texi: Document new pragma and aspect. | Yannick Moy | 1 | -1/+2 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+17 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -75/+14 |
2011-08-01 | aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition. | Robert Dewar | 1 | -2/+69 |
2011-08-01 | aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate. | Robert Dewar | 1 | -0/+2 |
2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+14 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -7/+45 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -14/+126 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+104 |