[multiple changes]
[gcc.git] / gcc / ada / sem_prag.adb
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-10-10 Arnaud Charlet[multiple changes]
2013-09-10 Arnaud Charlet[multiple changes]
2013-09-10 Robert Dewarsem_prag.adb (Analyze_Pragma, [...]): Don't allow REASO...
2013-09-10 Arnaud Charlet[multiple changes]
2013-09-10 Arnaud Charlet[multiple changes]
2013-09-10 Robert Dewarexp_prag.adb (Expand_Pragma_Check): Ignore pragma if...
2013-09-10 Robert Dewarsem_ch3.adb, [...]: Minor reformatting.
2013-09-10 Arnaud Charlet[multiple changes]
2013-09-10 Ed Schonbergsem_ch12.adb (Analyze_Package_Instantiation): If the...
2013-09-10 Robert Dewareinfo.adb, [...]: Minor reformatting.
2013-09-10 Hristian Kirtchevsem_prag.adb (Get_SPARK_Mode_Id): Handle the case where...
2013-07-08 Hristian Kirtcheveinfo.adb (Get_Pragma): Handle the retrieval of delayed...
2013-07-08 Arnaud Charlet[multiple changes]
2013-07-08 Arnaud Charlet[multiple changes]
2013-07-08 Arnaud Charlet[multiple changes]
2013-07-08 Arnaud Charlet[multiple changes]
2013-07-08 Ed Schonbergsem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...
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 Robert Dewarfreeze.adb (Freeze_Entity): Remove test of obsolete...
2013-07-05 Robert Dewargnat_rm.texi, [...]: Minor comment/text fixes.
2013-07-05 Robert Dewarpar_sco.adb, [...]: Minor reformatting.
2013-07-05 Arnaud Charlet[multiple changes]
2013-07-05 Ed Schonbergsem_prag.adb (Analyze_PPC_In_Decl_Part): For a class...
2013-04-25 Arnaud Charlet[multiple changes]
2013-04-25 Robert Dewargnat_rm.texi: Document Reason argument for pragma Warnings.
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-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 Charlet[multiple changes]
2013-04-24 Yannick Moyadabkend.adb, [...]: Everything with name 'Alfa' rename...
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-24 Hristian Kirtchevexp_ch6.adb: Remove with and use clause for Sem_Prag.
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 Charlet[multiple changes]
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-23 Robert Dewarsem_ch13.adb: Minor code reorganization (remove some...
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-23 Robert Dewarexp_prag.adb (Expand_Pragma_Check): Check for Assert...
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-22 Yannick Moyexp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite...
2013-04-22 Arnaud Charlet[multiple changes]
2013-04-22 Arnaud Charlet[multiple changes]
2013-04-22 Robert Dewarsem_prag.adb, [...]: Minor reformatting.
2013-04-22 Arnaud Charlet[multiple changes]
2013-04-22 Yannick Moypar-prag.adb, [...]: Remove all references to Pragma_Co...
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 Hristian Kirtchevaspects.adb (Find_Aspect): New routine.
2013-04-12 Hristian Kirtchevaspects.adb: Alphabetize subprogram bodies in this...
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Ed Schonbergs-rident.ads: Add various missing Ada 2012 restrictions...
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-12 Hristian Kirtchevsem_ch13.adb (Analyze_Aspect_Specifications): Aspect...
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-11 Ed Schonbergsem_prag.adb (Analyze_Pragma, [...]): pre-analyze expre...
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Robert Dewarexp_ch4.adb (Expand_Concatenate): Remove wrapping in...
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
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]
next