Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-07-03 | [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 | Hristian Kirtchev | 1 | -7663/+12020 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-07-31 | [Ada] Sem_Elab: remove duplicate condition | Arnaud Charlet | 1 | -1/+0 |
2018-06-11 | [Ada] Performance degradation with references | Hristian Kirtchev | 1 | -156/+6 |
2018-05-30 | [Ada] Spell preanalysis, preanalyze correctly | Bob Duff | 1 | -1/+1 |
2018-05-24 | [Ada] Simplify routines with a local Result variable | Piotr Trojanek | 1 | -8/+4 |
2018-05-24 | [Ada] Quadratic compile time with tagged types | Justin Squirek | 1 | -77/+4 |
2018-05-24 | [Ada] Crash on compilation unit instance | Hristian Kirtchev | 1 | -0/+44 |
2018-05-23 | [Ada] Fix various defects found by static analysis | Arnaud Charlet | 1 | -8/+8 |
2018-05-23 | [Ada] Suspension and elaboration warnings/checks | Hristian Kirtchev | 1 | -16/+125 |
2018-05-23 | [Ada] Suppression of elaboration-related warnings | Hristian Kirtchev | 1 | -11/+16 |
2018-05-23 | [Ada] Suppression of elaboration-related warnings | Hristian Kirtchev | 1 | -34/+177 |
2018-05-21 | [Ada] Spurious error on early call region of tagged type | Hristian Kirtchev | 1 | -0/+7 |
2018-05-21 | [Ada] Placement of pragma Elaboration_Checks | Hristian Kirtchev | 1 | -43/+61 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2018-01-11 | [Ada] Encoding of with clauses in ALI files | Hristian Kirtchev | 1 | -11/+1 |
2017-12-15 | exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne... | Pierre-Marie de Rodat | 1 | -0/+10 |
2017-12-15 | exp_unst.adb (Unnest_Subprograms): Nothing to do if the main unit is a generi... | Pierre-Marie de Rodat | 1 | -6/+88 |
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+73 |
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -606/+4486 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+4 |
2017-11-16 | opt.ads: Elaboration warnings are now on by default. | Hristian Kirtchev | 1 | -41/+64 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+19 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -7/+7 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1240/+3413 |
2017-11-09 | gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her... | Pierre-Marie de Rodat | 1 | -78/+142 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-08 | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 1 | -62/+160 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -243/+283 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -304/+437 |
2017-10-20 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+1 |
2017-10-20 | sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a... | Pierre-Marie de Rodat | 1 | -8/+28 |
2017-10-19 | [multiple changes] | Pierre-Marie de Rodat | 1 | -15/+65 |
2017-10-14 | sem_elab.adb (In_Preelaborated_Context): A generic package subject to Remote_... | Hristian Kirtchev | 1 | -1/+1 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -7/+21 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -201/+404 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+7 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -17/+47 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+21 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2836/+7133 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -4/+7 |
2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -10/+12 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -5/+2 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -94/+113 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -7/+20 |