| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 |
| 2014-11-07 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
| 2014-11-07 | [multiple changes] | Arnaud Charlet | 1 | -5/+16 |
| 2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -6/+2 |
| 2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -28/+21 |
| 2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -38/+0 |
| 2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
| 2014-10-31 | [multiple changes] | Arnaud Charlet | 1 | -72/+6 |
| 2014-10-30 | [multiple changes] | Arnaud Charlet | 1 | -11/+8 |
| 2014-10-20 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+18 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -44/+23 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
| 2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -5/+4 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |