Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+49 |
2012-07-17 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2012-07-17 | [multiple changes] | Arnaud Charlet | 1 | -5/+8 |
2012-07-16 | [multiple changes] | Arnaud Charlet | 1 | -7/+11 |
2012-07-16 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2012-06-26 | [multiple changes] | Arnaud Charlet | 1 | -49/+0 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -1/+51 |
2012-04-26 | [multiple changes] | Arnaud Charlet | 1 | -12/+16 |
2012-03-20 | gnat_rm.texi, [...]: Update documentation. | Yannick Moy | 1 | -0/+20 |