Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -56/+71 |
2017-11-16 | opt.ads: Elaboration warnings are now on by default. | Hristian Kirtchev | 1 | -3/+7 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -27/+11 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-11-09 | exp_ch3.adb, [...]: Minor reformatting. | Pierre-Marie de Rodat | 1 | -7/+11 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+2 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-09 | gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her... | Pierre-Marie de Rodat | 1 | -6/+19 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+8 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+32 |
2017-11-08 | lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta... | Pierre-Marie de Rodat | 1 | -7/+5 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -0/+15 |
2017-10-20 | exp_aggr.adb (Initialize_Array_Component): Avoid adjusting a component of an ... | Pierre-Marie de Rodat | 1 | -3/+2 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+9 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -38/+15 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -42/+73 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+8 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+12 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -13/+19 |
2017-09-25 | exp_imgv.adb (Expand_Image_Attribute): Disable the optimized expansion of use... | Pierre-Marie de Rodat | 1 | -0/+9 |
2017-09-18 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-09-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+17 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -13/+19 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+8 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+18 |
2017-04-28 | Minor reformatting. | Arnaud Charlet | 1 | -8/+10 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -2/+45 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -6/+0 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+9 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -14/+3 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -10/+17 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -13/+33 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2017-04-25 | checks.adb (Apply_Scalar_Range_Check): Analyze precisely conversions from flo... | Yannick Moy | 1 | -6/+10 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+8 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |