Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+29 |
2013-09-10 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+1 |
2013-07-08 | einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_C... | Hristian Kirtchev | 1 | -1/+3 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -0/+14 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -6/+8 |
2013-04-25 | einfo.ads, einfo.adb: Remove with and use clauses for Namet. | Hristian Kirtchev | 1 | -0/+6 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -5/+15 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -9/+10 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -5/+6 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+27 |
2013-04-12 | aspects.adb: Alphabetize subprogram bodies in this unit. | Hristian Kirtchev | 1 | -1/+7 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2013-04-11 | einfo.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+3 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -8/+11 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -9/+45 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -5/+11 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -14/+73 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -14/+15 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -12/+12 |
2013-01-02 | exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from ... | Thomas Quinot | 1 | -5/+5 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -13/+24 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -430/+431 |
2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -1/+1 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2012-06-14 | einfo.adb einfo.ads (Get_Rep_Item): Removed. | Vincent Pucci | 1 | -57/+0 |
2012-06-14 | [multiple changes] | Arnaud Charlet | 1 | -15/+14 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+10 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -27/+39 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -9/+0 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -7/+16 |
2012-03-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -7/+8 |
2012-03-07 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2012-03-07 | einfo.adb, einfo.ads: Remove unused entity flags. | Thomas Quinot | 1 | -37/+0 |
2012-03-07 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-01-30 | a-strhas.ads, [...]: Minor reformatting/code reorganization. | Robert Dewar | 1 | -73/+75 |
2012-01-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+22 |
2012-01-30 | einfo.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
2012-01-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |