Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-05-22 | sem_ch4.adb (Analyze_Call): In Ada2012 an incomplete type from a limited view... | Eric Botcazou | 1 | -89/+1 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -11/+6 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2017-04-25 | Minor reformatting. | Arnaud Charlet | 1 | -1/+1 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -5/+6 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2017-01-23 | ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine. | Hristian Kirtchev | 1 | -6/+6 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -17/+32 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
2017-01-20 | Minor reformatting. | Arnaud Charlet | 1 | -4/+2 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+11 |
2017-01-13 | sem_aggr.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -0/+1 |
2017-01-13 | inline.adb: Minor reformatting and typo fix. | Gary Dismukes | 1 | -4/+4 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -8/+3 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -141/+149 |
2017-01-13 | inline.adb, inline.ads (Call_Can_Be_Inlined_In_GNATprove_Mode): New function ... | Yannick Moy | 1 | -7/+70 |
2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -1/+1 |
2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -1/+1 |
2016-07-04 | sem_eval.adb (Decompose_Expr): Set 'out' parameters Kind and Cons to valid va... | Bob Duff | 1 | -4/+5 |
2016-06-22 | lib.ads: Code cleanup. | Arnaud Charlet | 1 | -1/+1 |
2016-06-16 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-06-14 | sem_attr.adb (Analyze_Attribute_Old_Result): Adding assertion. | Javier Miranda | 1 | -0/+53 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -12/+4 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -65/+70 |
2016-04-19 | sem_res.adb (Within_Subprogram_Call): Detect also nodes that appear in entry ... | Arnaud Charlet | 1 | -1/+1 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-27 | inline.adb (Is_Expression_Function): Removed. | Hristian Kirtchev | 1 | -18/+0 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -15/+8 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+31 |
2015-10-20 | fmap.adb, [...]: Fix coding style for marking start of processing of subprogr... | Yannick Moy | 1 | -1/+1 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2015-10-16 | [multiple changes] | Arnaud Charlet | 1 | -24/+23 |
2015-10-16 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2015-05-26 | inline.adb (Has_Initialized_Type): Adapt to new names. | Yannick Moy | 1 | -1/+1 |
2015-03-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-03-13 | [multiple changes] | Arnaud Charlet | 1 | -55/+57 |
2015-03-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+82 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2015-02-20 | exp_ch3.adb (Default_Initialize_Object): Call Add_Inlined_Body on the Abort_U... | Eric Botcazou | 1 | -10/+19 |
2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -21/+20 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -39/+81 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -7/+12 |