Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-12-15 | exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne... | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-12-15 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+73 |
2017-12-05 | sem_util.adb (Contains_Refined_State): Remove. | Pierre-Marie de Rodat | 1 | -6/+23 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+4 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -8/+6 |
2017-11-09 | exp_ch3.adb, [...]: Minor reformatting. | Pierre-Marie de Rodat | 1 | -13/+17 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -7/+6 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+23 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-08 | lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta... | Pierre-Marie de Rodat | 1 | -2/+34 |
2017-10-20 | exp_aggr.adb (Initialize_Array_Component): Avoid adjusting a component of an ... | Pierre-Marie de Rodat | 1 | -1/+15 |
2017-10-09 | exp_ch6.adb: (Make_Build_In_Place_Call_In_Object_Declaration): Remove the cod... | Pierre-Marie de Rodat | 1 | -1/+6 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+9 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -15/+13 |
2017-09-18 | sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference ... | Pierre-Marie de Rodat | 1 | -4/+11 |
2017-09-18 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+17 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -3/+15 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2017-05-22 | sem_ch4.adb (Analyze_Call): In Ada2012 an incomplete type from a limited view... | Eric Botcazou | 1 | -10/+18 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+12 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -10/+12 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+32 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -6/+2 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+19 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2017-04-27 | exp_ch4.adb, [...]: Minor typo fix and reformatting. | Gary Dismukes | 1 | -57/+57 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -41/+66 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -114/+112 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
2017-01-23 | ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine. | Hristian Kirtchev | 1 | -3/+1 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -8/+9 |
2017-01-23 | sem_ch4.adb (Try_Primitive_Operations, [...]): argument is valid if it is a d... | Ed Schonberg | 1 | -0/+7 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
2017-01-20 | Minor reformatting. | Arnaud Charlet | 1 | -7/+9 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -8/+25 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -12/+0 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -8/+9 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+32 |
2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -26/+32 |