| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-12-11 | [Ada] Suppress call to Initial_Condition when the annotation is ignored | Hristian Kirtchev | 1 | -1/+7 |
| 2018-11-14 | [Ada] Lingering loop for ignored Ghost assignment | Hristian Kirtchev | 1 | -2/+2 |
| 2018-06-11 | [Ada] Suppress the expansion of ignored assertion pragmas | Hristian Kirtchev | 1 | -4/+18 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -47/+253 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -14/+19 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+88 |
| 2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -6/+10 |
| 2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
| 2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -1/+0 |
| 2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -49/+6 |
| 2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -2/+2 |
| 2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -34/+30 |
| 2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -11/+24 |
| 2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+21 |
| 2015-10-16 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore... | Hristian Kirtchev | 1 | -56/+28 |
| 2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -29/+39 |
| 2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
| 2015-05-26 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh... | Hristian Kirtchev | 1 | -6/+74 |
| 2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2015-05-26 | exp_ch6.adb (Process_Contract_Cases_For): Update the call to Expand_Pragma_Co... | Hristian Kirtchev | 1 | -407/+405 |
| 2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
| 2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -36/+72 |
| 2015-02-20 | exp_ch3.adb (Default_Initialize_Object): Call Add_Inlined_Body on the Abort_U... | Eric Botcazou | 1 | -6/+11 |
| 2014-10-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
| 2014-10-17 | [multiple changes] | Arnaud Charlet | 1 | -28/+62 |
| 2014-08-04 | exp_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+1 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -11/+93 |
| 2014-07-31 | cstand.adb, [...]: Remove obsolete VMS-specific code. | Robert Dewar | 1 | -179/+0 |
| 2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
| 2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -19/+14 |
| 2014-07-16 | [multiple changes] | Arnaud Charlet | 1 | -27/+22 |
| 2014-02-24 | 2014-02-24 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -0/+1 |
| 2014-02-20 | einfo.ads: Minor comment addition: Etype of package is Standard_Void_Type. | Robert Dewar | 1 | -51/+51 |
| 2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+641 |
| 2014-01-20 | sem_aggr.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+1 |
| 2014-01-20 | sem_prag.adb (Process_Import_Or_Interface): In Relaxed_RM_Semantics, support ... | Arnaud Charlet | 1 | -1/+12 |
| 2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -22/+33 |
| 2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+58 |
