Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2015-05-26 | sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound. | Yannick Moy | 1 | -18/+61 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -32/+30 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-05-26 | inline.adb (Has_Initialized_Type): Adapt to new names. | Yannick Moy | 1 | -0/+133 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -22/+2 |
2015-02-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2015-02-05 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+15 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -50/+50 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+66 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+45 |
2014-05-21 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-02-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+24 |
2014-02-18 | sem_aux.adb (Is_By_Reference_Type): For each components of a record type... | Vincent Celier | 1 | -0/+7 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+18 |
2014-01-20 | sem_aggr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+2 |
2014-01-20 | einfo.adb (Non_Limited_View): Applies to abstract states. | Hristian Kirtchev | 1 | -14/+21 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -99/+99 |
2013-10-17 | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 1 | -8/+65 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2013-04-23 | sem_aux.adb [...] (Effectively_has_Constrained_Partial_View): Rename subprogr... | Ed Schonberg | 1 | -70/+70 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2012-08-06 | [multiple changes] | Arnaud Charlet | 1 | -22/+86 |
2012-06-14 | [multiple changes] | Arnaud Charlet | 1 | -8/+2 |
2012-06-14 | einfo.adb einfo.ads (Get_Rep_Item): Removed. | Vincent Pucci | 1 | -2/+150 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+11 |
2012-04-10 | a-assert.ads: Remove execute permission. | Mike Stump | 1 | -0/+0 |
2011-12-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+105 |
2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2011-09-01 | sem_aux.adb, [...]: Minor reformatting | Thomas Quinot | 1 | -3/+1 |
2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -11/+1 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -13/+0 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2011-08-02 | einfo.ads, einfo.adb (Suppress_Initialization): Replaces Suppress_Init_Procs. | Robert Dewar | 1 | -0/+10 |
2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -1/+1 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+19 |