projects / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[multiple changes]
[gcc.git] / gcc / ada / sem_prag.adb
2014-01-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw
2014-01-20 Robert Dewarsem_aggr.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2014-01-20 Arnaud Charletsem_prag.adb (Process_Import_Or_Interface): In Relaxed_... blob | commitdiff | raw | diff to current
2014-01-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-20 Hristian Kirtcheveinfo.adb (Non_Limited_View): Applies to abstract states. blob | commitdiff | raw | diff to current
2014-01-20 Yannick Moy2014-01-20 Yannick Moy <moy@adacore.com> blob | commitdiff | raw | diff to current
2013-10-17 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-17 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-17 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-17 Hristian Kirtchevaspects.adb, [...]: Remove all entries for Refined_Pre... blob | commitdiff | raw | diff to current
2013-10-17 Hristian Kirtchevexp_util.adb, [...] (Entity_Of): Moved to Sem_Util. blob | commitdiff | raw | diff to current
2013-10-17 Ed Schonbergsem_aux.ads, [...] (Is_Immutably_Limited_Type): Make... blob | commitdiff | raw | diff to current
2013-10-17 Hristian Kirtchevsem_ch13.adb (Analyze_Aspect_Specifications): Flag... blob | commitdiff | raw | diff to current
2013-10-17 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-17 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-17 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-17 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-15 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-15 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-15 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-15 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Hristian Kirtchevsem_prag.adb (Is_Matching_Input): Consume a matching... blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Robert Dewarsem_ch3.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2013-10-14 Hristian Kirtchevsem_prag.adb (Analyze_Depends_In_Decl_Part): Rename... blob | commitdiff | raw | diff to current
2013-10-14 Hristian Kirtcheveinfo.adb: Flag 263 is now known as Has_Visible_Refinement. blob | commitdiff | raw | diff to current
2013-10-14 Hristian Kirtchevsem_prag.adb (Check_Mode): Do not emit an error when... blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Hristian Kirtchevsem_prag.adb (Analyze_Global_In_Decl_Part): Remove... blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-14 Hristian Kirtchevaspects.adb: Add an entry in table Canonical_Aspect... blob | commitdiff | raw | diff to current
2013-10-13 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-13 Robert Dewargnat_rm.texi: Add documentation for pragmas Pre[_Class... blob | commitdiff | raw | diff to current
2013-10-13 Hristian Kirtcheveinfo.adb: Add node/list usage for Refined_State and... blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-09-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-09-10 Robert Dewarsem_prag.adb (Analyze_Pragma, [...]): Don't allow REASO... blob | commitdiff | raw | diff to current
2013-09-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-09-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-09-10 Robert Dewarexp_prag.adb (Expand_Pragma_Check): Ignore pragma if... blob | commitdiff | raw | diff to current
2013-09-10 Robert Dewarsem_ch3.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2013-09-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-09-10 Ed Schonbergsem_ch12.adb (Analyze_Package_Instantiation): If the... blob | commitdiff | raw | diff to current
2013-09-10 Robert Dewareinfo.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2013-09-10 Hristian Kirtchevsem_prag.adb (Get_SPARK_Mode_Id): Handle the case where... blob | commitdiff | raw | diff to current
2013-07-08 Hristian Kirtcheveinfo.adb (Get_Pragma): Handle the retrieval of delayed... blob | commitdiff | raw | diff to current
2013-07-08 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-07-08 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-07-08 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-07-08 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-07-08 Ed Schonbergsem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode... blob | commitdiff | raw | diff to current
2013-07-05 Hristian Kirtchevaspects.adb: Add an entry for SPARK_Mode in table Canon... blob | commitdiff | raw | diff to current
2013-07-05 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-07-05 Robert Dewarfreeze.adb (Freeze_Entity): Remove test of obsolete... blob | commitdiff | raw | diff to current
2013-07-05 Robert Dewargnat_rm.texi, [...]: Minor comment/text fixes. blob | commitdiff | raw | diff to current
2013-07-05 Robert Dewarpar_sco.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2013-07-05 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-07-05 Ed Schonbergsem_prag.adb (Analyze_PPC_In_Decl_Part): For a class... blob | commitdiff | raw | diff to current
2013-04-25 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-25 Robert Dewargnat_rm.texi: Document Reason argument for pragma Warnings. blob | commitdiff | raw | diff to current
2013-04-25 Robert Dewarsem_prag.adb: Minor code reorganization (correct misspe... blob | commitdiff | raw | diff to current
2013-04-25 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-25 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-25 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Yannick Moyadabkend.adb, [...]: Everything with name 'Alfa' rename... blob | commitdiff | raw | diff to current
2013-04-24 Robert Dewargnat_rm.texi: Document pragma Assume. blob | commitdiff | raw | diff to current
2013-04-24 Robert Dewargnat_rm.texi: Document pragma Assert_And_Cut. blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Hristian Kirtchevexp_ch6.adb: Remove with and use clause for Sem_Prag. blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-23 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-23 Robert Dewarsem_ch13.adb: Minor code reorganization (remove some... blob | commitdiff | raw | diff to current
2013-04-23 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
next