Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-12-15 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+54 |
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -5/+41 |
2017-11-16 | opt.ads: Elaboration warnings are now on by default. | Hristian Kirtchev | 1 | -10/+53 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+43 |
2017-11-09 | exp_ch3.adb, [...]: Minor reformatting. | Pierre-Marie de Rodat | 1 | -18/+18 |
2017-11-09 | gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her... | Pierre-Marie de Rodat | 1 | -18/+0 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -2/+66 |
2017-10-20 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-10-20 | sinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag to indicate that an all... | Bob Duff | 1 | -1/+14 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -4/+1 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -79/+256 |
2017-09-29 | exp_ch6.adb (Expand_Call_Helper): Handle case of build-in-place functions ret... | Bob Duff | 1 | -3/+3 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -19/+53 |
2017-09-18 | sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference ... | Pierre-Marie de Rodat | 1 | -16/+0 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -21/+55 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -8/+17 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2017-01-23 | scans.ads: New token At_Sign. | Ed Schonberg | 1 | -0/+34 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -10/+9 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2017-01-13 | exp_util.adb (Insert_Actions): Handle Iterated_Component_Association. | Ed Schonberg | 1 | -0/+24 |
2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -26/+95 |
2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -7/+8 |
2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -8/+9 |
2017-01-09 | einfo.ads, einfo.adb: Remove uses of flags Has_Default_Init_Cond... | Hristian Kirtchev | 1 | -3/+18 |
2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -2/+8 |
2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2016-11-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2016-10-13 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-07-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2016-07-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2016-06-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -13/+11 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2016-04-20 | exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]): Disable expans... | Arnaud Charlet | 1 | -3/+3 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-11-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -7/+23 |