Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -14/+24 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -21/+54 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+161 |