Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -19/+11 |
* | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -0/+20 |
* | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -0/+2 |
* | einfo.adb: Flag 263 is now known as Has_Visible_Refinement. | Hristian Kirtchev | 2013-10-14 | 1 | -7/+20 |
* | einfo.ads, einfo.adb (Default_Aspect_Component_Value): Is on base type only. | Robert Dewar | 2013-10-14 | 1 | -10/+10 |
* | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -77/+86 |
* | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 2013-10-14 | 1 | -15/+9 |
* | [multiple changes] | Arnaud Charlet | 2013-10-13 | 1 | -1/+1 |
* | einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents. | Hristian Kirtchev | 2013-10-13 | 1 | -11/+37 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -8/+14 |
* | freeze.adb: Minor reformatting. | Robert Dewar | 2013-10-10 | 1 | -4/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -19/+15 |
* | [multiple changes] | Arnaud Charlet | 2013-09-10 | 1 | -2/+29 |
* | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 2013-09-10 | 1 | -0/+1 |
* | einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_C... | Hristian Kirtchev | 2013-07-08 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2013-07-08 | 1 | -2/+1 |
* | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 2013-07-05 | 1 | -0/+14 |
* | [multiple changes] | Arnaud Charlet | 2013-04-25 | 1 | -6/+5 |
* | [multiple changes] | Arnaud Charlet | 2013-04-25 | 1 | -6/+8 |
* | einfo.ads, einfo.adb: Remove with and use clauses for Namet. | Hristian Kirtchev | 2013-04-25 | 1 | -0/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-04-25 | 1 | -5/+15 |
* | [multiple changes] | Arnaud Charlet | 2013-04-24 | 1 | -9/+10 |
* | [multiple changes] | Arnaud Charlet | 2013-04-23 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2013-04-23 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2013-04-23 | 1 | -5/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-04-12 | 1 | -1/+27 |
* | aspects.adb: Alphabetize subprogram bodies in this unit. | Hristian Kirtchev | 2013-04-12 | 1 | -1/+7 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -0/+10 |
* | einfo.ads, [...]: Minor reformatting. | Robert Dewar | 2013-04-11 | 1 | -5/+3 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -8/+11 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -9/+45 |
* | [multiple changes] | Arnaud Charlet | 2013-02-06 | 1 | -0/+10 |
* | [multiple changes] | Arnaud Charlet | 2013-02-06 | 1 | -6/+7 |
* | [multiple changes] | Arnaud Charlet | 2013-01-29 | 1 | -5/+11 |
* | [multiple changes] | Arnaud Charlet | 2013-01-03 | 1 | -14/+73 |
* | [multiple changes] | Arnaud Charlet | 2013-01-03 | 1 | -0/+10 |
* | [multiple changes] | Arnaud Charlet | 2013-01-03 | 1 | -14/+15 |
* | [multiple changes] | Arnaud Charlet | 2013-01-03 | 1 | -12/+12 |
* | exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from ... | Thomas Quinot | 2013-01-02 | 1 | -5/+5 |
* | [multiple changes] | Arnaud Charlet | 2013-01-02 | 1 | -13/+24 |
* | [multiple changes] | Arnaud Charlet | 2012-11-06 | 1 | -0/+9 |
* | [multiple changes] | Arnaud Charlet | 2012-10-29 | 1 | -430/+431 |
* | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 2012-10-02 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2012-07-09 | 1 | -0/+1 |
* | [multiple changes] | Arnaud Charlet | 2012-07-09 | 1 | -3/+4 |
* | einfo.adb einfo.ads (Get_Rep_Item): Removed. | Vincent Pucci | 2012-06-14 | 1 | -57/+0 |
* | [multiple changes] | Arnaud Charlet | 2012-06-14 | 1 | -15/+14 |
* | [multiple changes] | Arnaud Charlet | 2012-06-12 | 1 | -2/+10 |
* | [multiple changes] | Arnaud Charlet | 2012-06-12 | 1 | -27/+39 |
* | [multiple changes] | Arnaud Charlet | 2012-06-12 | 1 | -1/+1 |