aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat_rm.texi
AgeCommit message (Expand)AuthorFilesLines
2013-04-24gnat_rm.texi: Document pragma Assume.Robert Dewar1-0/+36
2013-04-24gnat_rm.texi: Document pragma Assert_And_Cut.Robert Dewar1-3/+36
2013-04-24[multiple changes]Arnaud Charlet1-2/+38
2013-04-23exp_prag.adb (Expand_Pragma_Check): Check for Assert rather than Assertion.Robert Dewar1-2/+29
2013-04-22[multiple changes]Arnaud Charlet1-10/+13
2013-04-22aspects.ads, [...]: Removal of references to Contract_Case.Yannick Moy1-67/+46
2013-04-12makeutl.adb, [...]: Minor reformatting.Robert Dewar1-9/+18
2013-04-12[multiple changes]Arnaud Charlet1-76/+91
2013-04-12[multiple changes]Arnaud Charlet1-1/+1
2013-04-12[multiple changes]Arnaud Charlet1-0/+19
2013-04-12[multiple changes]Arnaud Charlet1-0/+20
2013-04-11sem_res.adb: Minor code reorganization and comment fixes.Robert Dewar1-1/+1
2013-04-11[multiple changes]Arnaud Charlet1-1/+1
2013-04-11exp_ch4.adb, [...]: Minor reformatting.Robert Dewar1-0/+3
2013-04-11[multiple changes]Arnaud Charlet1-4/+4
2013-02-06[multiple changes]Arnaud Charlet1-2/+22
2013-02-06[multiple changes]Arnaud Charlet1-3/+34
2013-02-06snames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma-related names.Eric Botcazou1-0/+76
2013-02-06[multiple changes]Arnaud Charlet1-2/+36
2013-02-06[multiple changes]Arnaud Charlet1-6/+9
2013-02-06[multiple changes]Arnaud Charlet1-0/+14
2013-01-29[multiple changes]Arnaud Charlet1-4/+5
2013-01-29[multiple changes]Arnaud Charlet1-7/+198
2013-01-04[multiple changes]Arnaud Charlet1-0/+24
2013-01-03[multiple changes]Arnaud Charlet1-0/+3
2013-01-02[multiple changes]Arnaud Charlet1-10/+11
2013-01-02[multiple changes]Arnaud Charlet1-20/+22
2013-01-02checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.Robert Dewar1-0/+54
2012-12-05[multiple changes]Arnaud Charlet1-2/+8
2012-12-05gnat_rm.texi: Update overflow description.Robert Dewar1-28/+14
2012-10-29[multiple changes]Arnaud Charlet1-0/+6
2012-10-29[multiple changes]Arnaud Charlet1-2/+6
2012-10-29[multiple changes]Arnaud Charlet1-2/+5
2012-10-29gnat_rm.texi, [...] (Sem_Prag.Analyze_Pragma): Handle new pragma Attribute_De...Thomas Quinot1-0/+24
2012-10-29[multiple changes]Arnaud Charlet1-0/+12
2012-10-29[multiple changes]Arnaud Charlet1-37/+1
2012-10-29[multiple changes]Arnaud Charlet1-1/+18
2012-10-29[multiple changes]Arnaud Charlet1-0/+18
2012-10-02[multiple changes]Arnaud Charlet1-1/+5
2012-10-02[multiple changes]Arnaud Charlet1-11/+16
2012-10-02[multiple changes]Arnaud Charlet1-0/+49
2012-07-17[multiple changes]Arnaud Charlet1-2/+3
2012-07-17[multiple changes]Arnaud Charlet1-5/+8
2012-07-16[multiple changes]Arnaud Charlet1-7/+11
2012-07-16[multiple changes]Arnaud Charlet1-1/+6
2012-06-26[multiple changes]Arnaud Charlet1-49/+0
2012-05-15[multiple changes]Arnaud Charlet1-1/+1
2012-05-15[multiple changes]Arnaud Charlet1-1/+51
2012-04-26[multiple changes]Arnaud Charlet1-12/+16
2012-03-20gnat_rm.texi, [...]: Update documentation.Yannick Moy1-0/+20