Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -70/+51 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -13/+31 |
2014-01-20 | sem_aggr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -4/+6 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -2/+2 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -2/+10 |
2013-10-17 | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 1 | -1/+1 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -22/+45 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -2/+16 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -499/+554 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+18 |
2013-10-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2013-10-10 | freeze.adb: Minor reformatting. | Robert Dewar | 1 | -2/+8 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+42 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -134/+59 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -13/+21 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+28 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -21/+164 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -14/+12 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2013-07-08 | sem_dim.adb: Minor error message change. | Robert Dewar | 1 | -69/+83 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2013-07-05 | freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions... | Robert Dewar | 1 | -15/+0 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -3/+3 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -17/+82 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -13/+14 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-01-04 | exp_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+3 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+25 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -4/+24 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+14 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -6/+3 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -10/+34 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+12 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -46/+55 |
2012-10-29 | freeze.adb: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2012-10-05 | [multiple changes] | Arnaud Charlet | 1 | -19/+39 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2012-10-02 | exp_ch7.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+5 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2012-07-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2012-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |