Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -11/+11 |
2014-01-29 | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -153/+40 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -75/+116 |
2014-01-24 | sinfo.ads: Documentation update. | Arnaud Charlet | 1 | -0/+3 |
2014-01-24 | sem_ch3.adb (Analyze_Declarations): At the end of an appropriate declarative ... | Ed Schonberg | 1 | -2/+8 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-24 | [multiple changes] | Arnaud Charlet | 1 | -9/+8 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -9/+95 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -23/+0 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -6/+28 |
2014-01-22 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -7/+7 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -5/+6 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -2/+85 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -60/+2 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -10/+10 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -3/+83 |
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 | -15/+14 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2013-10-14 | sem_ch3.adb: Minor fix to error message. | Robert Dewar | 1 | -16/+12 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -29/+52 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2013-10-14 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+0 |
2013-10-14 | einfo.adb: Flag 263 is now known as Has_Visible_Refinement. | Hristian Kirtchev | 1 | -0/+36 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2013-10-14 | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 1 | -9/+24 |
2013-10-13 | einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents. | Hristian Kirtchev | 1 | -5/+10 |
2013-10-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-10-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+14 |
2013-10-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+35 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -48/+46 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -48/+28 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -5/+19 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -8/+20 |
2013-09-10 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+11 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |