Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-12-15 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+2 |
2017-12-15 | gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"... | Pierre-Marie de Rodat | 1 | -2/+20 |
2017-12-15 | exp_unst.adb (Unnest_Subprograms): Nothing to do if the main unit is a generi... | Pierre-Marie de Rodat | 1 | -25/+33 |
2017-12-05 | sem_util.adb (Contains_Refined_State): Remove. | Pierre-Marie de Rodat | 1 | -8/+29 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+8 |
2017-11-09 | exp_util.adb, freeze.adb: Minor reformatting. | Gary Dismukes | 1 | -2/+2 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -65/+0 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -2/+4 |
2017-10-20 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-10-20 | sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a... | Pierre-Marie de Rodat | 1 | -3/+9 |
2017-10-20 | exp_aggr.adb (Initialize_Array_Component): Avoid adjusting a component of an ... | Pierre-Marie de Rodat | 1 | -1/+4 |
2017-10-19 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+7 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+2 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+16 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -38/+56 |
2017-09-29 | exp_ch6.adb (Expand_Call_Helper): Handle case of build-in-place functions ret... | Bob Duff | 1 | -4/+8 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+1 |
2017-09-13 | [multiple changes] | Pierre-Marie de Rodat | 1 | -41/+42 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -78/+1 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -52/+84 |
2017-09-06 | exp_util.adb (Side_Effect_Free): For CodePeer (only) treat uses of 'Image and... | Steve Baird | 1 | -6/+45 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -10/+0 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -5/+25 |
2017-09-06 | exp_util.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -11/+10 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -4/+18 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2017-04-28 | exp_util.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -3/+3 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -15/+6 |
2017-04-27 | exp_ch9.adb (Expand_Entry_Barrier): Code cleanup. | Hristian Kirtchev | 1 | -6/+5 |
2017-04-27 | exp_util.adb, [...]: Minor reformatting and code cleanups. | Hristian Kirtchev | 1 | -5/+3 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+11 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -3/+6 |
2017-04-27 | Minor reformatting. | Arnaud Charlet | 1 | -2/+2 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2017-04-27 | exp_util.ads, [...] (Evaluate_Name): Force evaluation of expression being qua... | Yannick Moy | 1 | -49/+62 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2017-04-25 | Minor reformatting. | Arnaud Charlet | 1 | -14/+10 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -155/+39 |
2017-04-25 | exp_util.adb, [...]: Minor reformatting. | Gary Dismukes | 1 | -1/+1 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+59 |
2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -16/+27 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -9/+10 |