[multiple changes]
[gcc.git] / gcc / ada / gnat_rm.texi
2013-07-08 Arnaud Charlet[multiple changes]
2013-07-05 Hristian Kirtchevaspects.adb: Add an entry for SPARK_Mode in table Canon...
2013-07-05 Arnaud Charlet[multiple changes]
2013-07-05 Arnaud Charlet[multiple changes]
2013-07-05 Robert Dewargnat_rm.texi: Document that -gnatR and -gnatD cannot...
2013-07-05 Arnaud Charlet[multiple changes]
2013-07-05 Robert Dewarfreeze.adb (Freeze_Entity): Remove test of obsolete...
2013-07-05 Robert Dewargnat_rm.texi, [...]: Minor comment/text fixes.
2013-07-05 Robert Dewargnat_rm.texi: Add missing doc for various pragmas.
2013-07-05 Robert Dewarpar_sco.adb, [...]: Minor reformatting.
2013-07-05 Arnaud Charlet[multiple changes]
2013-04-25 Robert Dewargnat_rm.texi: Document Reason argument for pragma Warnings.
2013-04-25 Arnaud Charlet[multiple changes]
2013-04-25 Robert Dewarsem_prag.adb: Minor code reorganization (correct misspe...
2013-04-25 Arnaud Charlet[multiple changes]
2013-04-25 Arnaud Charlet[multiple changes]
2013-04-24 Arnaud Charlet[multiple changes]
2013-04-24 Arnaud Charlet[multiple changes]
2013-04-24 Arnaud Charlet[multiple changes]
2013-04-24 Arnaud Charlet2013-04-24 Sergey Rybin <rybin@adacore.com frybin>
2013-04-24 Arnaud Charlet[multiple changes]
2013-04-24 Robert Dewargnat_rm.texi: Document pragma Assume.
2013-04-24 Robert Dewargnat_rm.texi: Document pragma Assert_And_Cut.
2013-04-24 Arnaud Charlet[multiple changes]
2013-04-23 Robert Dewarexp_prag.adb (Expand_Pragma_Check): Check for Assert...
2013-04-22 Arnaud Charlet[multiple changes]
2013-04-22 Yannick Moyaspects.ads, [...]: Removal of references to Contract_Case.
2013-04-12 Robert Dewarmakeutl.adb, [...]: Minor reformatting.
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-11 Robert Dewarsem_res.adb: Minor code reorganization and comment...
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Robert Dewarexp_ch4.adb, [...]: Minor reformatting.
2013-04-11 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-02-06 Eric Botcazousnames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma...
2013-02-06 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-01-29 Arnaud Charlet[multiple changes]
2013-01-29 Arnaud Charlet[multiple changes]
2013-01-04 Arnaud Charlet[multiple changes]
2013-01-03 Arnaud Charlet[multiple changes]
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Robert Dewarchecks.adb (Apply_Scalar_Range_Check): Implement Check_...
2012-12-05 Arnaud Charlet[multiple changes]
2012-12-05 Robert Dewargnat_rm.texi: Update overflow description.
2012-10-29 Arnaud Charlet[multiple changes]
2012-10-29 Arnaud Charlet[multiple changes]
2012-10-29 Arnaud Charlet[multiple changes]
2012-10-29 Thomas Quinotgnat_rm.texi, [...] (Sem_Prag.Analyze_Pragma): Handle...
2012-10-29 Arnaud Charlet[multiple changes]
2012-10-29 Arnaud Charlet[multiple changes]
2012-10-29 Arnaud Charlet[multiple changes]
2012-10-29 Arnaud Charlet[multiple changes]
2012-10-02 Arnaud Charlet[multiple changes]
2012-10-02 Arnaud Charlet[multiple changes]
2012-10-02 Arnaud Charlet[multiple changes]
2012-07-17 Arnaud Charlet[multiple changes]
2012-07-17 Arnaud Charlet[multiple changes]
2012-07-16 Arnaud Charlet[multiple changes]
2012-07-16 Arnaud Charlet[multiple changes]
2012-06-26 Arnaud Charlet[multiple changes]
2012-05-15 Arnaud Charlet[multiple changes]
2012-05-15 Arnaud Charlet[multiple changes]
2012-04-26 Arnaud Charlet[multiple changes]
2012-03-20 Yannick Moygnat_rm.texi, [...]: Update documentation.
2012-03-15 Yannick Moyaspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_...
2012-03-15 Arnaud Charlet[multiple changes]
2012-03-14 Rainer OrthRemove obsolete IRIX 6.5 support
2012-03-07 Arnaud Charlet[multiple changes]
2012-03-07 Arnaud Charlet[multiple changes]
2012-02-17 Arnaud Charlet[multiple changes]
2012-02-17 Arnaud Charlet[multiple changes]
2012-02-17 Arnaud Charlet[multiple changes]
2012-02-08 Arnaud Charlet[multiple changes]
2012-01-30 Arnaud Charlet[multiple changes]
2012-01-10 Arnaud Charlet[multiple changes]
2012-01-06 Arnaud Charlet[multiple changes]
2011-12-02 Arnaud Charlet[multiple changes]
2011-11-23 Arnaud Charlet[multiple changes]
2011-11-21 Arnaud Charlet[multiple changes]
2011-11-21 Arnaud Charlet[multiple changes]
2011-11-04 Arnaud Charlet[multiple changes]
2011-11-04 Arnaud Charlet[multiple changes]
2011-11-04 Robert Dewarsem_prag.adb: Minor reformatting.
2011-10-24 Arnaud Charlet[multiple changes]
2011-10-24 Arnaud Charlet2011-10-24 Sergey Rybin <rybin@adacore.com frybin>
2011-09-27 Pascal Obrys-taprop.ads (Initialize_Lock): New spec for r/w lock.
2011-09-27 Pascal Obryrtsfind.ads: Add RE_Lock_Read_Only into rtsfind circuitry.
2011-09-19 Arnaud Charlet[multiple changes]
2011-09-06 Arnaud Charlet[multiple changes]
2011-09-06 Hristian Kirtchevexp_attr.adb (Expand_N_Attribute_Reference): Rewrite...
2011-09-06 Arnaud Charlet[multiple changes]
2011-09-02 Arnaud CharletFix typo.
2011-09-02 Arnaud Charlet[multiple changes]
next