| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2013-04-25 | gnat_rm.texi: Document Reason argument for pragma Warnings. | Robert Dewar | 1 | -10/+23 |
| 2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -15/+42 |
| 2013-04-25 | sem_prag.adb: Minor code reorganization (correct misspelling Restiction). | Robert Dewar | 1 | -259/+682 |
| 2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+32 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+74 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+29 |
| 2013-04-24 | 2013-04-24 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -3/+3 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+41 |
| 2013-04-24 | gnat_rm.texi: Document pragma Assume. | Robert Dewar | 1 | -0/+36 |
| 2013-04-24 | gnat_rm.texi: Document pragma Assert_And_Cut. | Robert Dewar | 1 | -3/+36 |
| 2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -2/+38 |
| 2013-04-23 | exp_prag.adb (Expand_Pragma_Check): Check for Assert rather than Assertion. | Robert Dewar | 1 | -2/+29 |
| 2013-04-22 | [multiple changes] | Arnaud Charlet | 1 | -10/+13 |
| 2013-04-22 | aspects.ads, [...]: Removal of references to Contract_Case. | Yannick Moy | 1 | -67/+46 |
| 2013-04-12 | makeutl.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -9/+18 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -76/+91 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+19 |
| 2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+20 |
| 2013-04-11 | sem_res.adb: Minor code reorganization and comment fixes. | Robert Dewar | 1 | -1/+1 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2013-04-11 | exp_ch4.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+3 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+22 |
| 2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+34 |
| 2013-02-06 | snames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma-related names. | Eric Botcazou | 1 | -0/+76 |
| 2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+36 |
| 2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -6/+9 |
| 2013-02-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+14 |
| 2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
| 2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -7/+198 |
| 2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+24 |
| 2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -10/+11 |
| 2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -20/+22 |
| 2013-01-02 | checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow. | Robert Dewar | 1 | -0/+54 |
| 2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
| 2012-12-05 | gnat_rm.texi: Update overflow description. | Robert Dewar | 1 | -28/+14 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2012-10-29 | gnat_rm.texi, [...] (Sem_Prag.Analyze_Pragma): Handle new pragma Attribute_De... | Thomas Quinot | 1 | -0/+24 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -37/+1 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+18 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+18 |
| 2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
| 2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -11/+16 |
