projects / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[multiple changes]
[gcc.git] / gcc / ada / sem_ch13.adb
2014-06-11 Arnaud Charlet[multiple changes] blob | commitdiff | raw
2014-06-11 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-06-11 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-05-21 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-05-21 Robert Dewarsem_ch13.adb: Minor reformatting. blob | commitdiff | raw | diff to current
2014-05-21 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-25 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-25 Hristian Kirtchevexp_ch6.adb (Add_Or_Save_Precondition): New routine. blob | commitdiff | raw | diff to current
2014-02-24 Hristian Kirtchevsem_ch6.adb (Analyze_Subprogram_Body_Contract): Do... blob | commitdiff | raw | diff to current
2014-02-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-20 Robert Dewareinfo.ads: Minor comment addition: Etype of package... blob | commitdiff | raw | diff to current
2014-02-19 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19 Robert Dewarpar-ch9.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2014-02-19 Ed Schonbergstyle.adb (Missing_Overriding): Warning does not apply... blob | commitdiff | raw | diff to current
2014-02-06 Robert Dewarexp_util.ads, [...]: Minor reformatting and code clean... blob | commitdiff | raw | diff to current
2014-02-06 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-04 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-29 Robert Dewara-except-2005.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2014-01-29 Robert Dewarexp_ch9.adb, [...]: Minor reformatting and code clean up. blob | commitdiff | raw | diff to current
2014-01-29 Hristian Kirtchev2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> blob | commitdiff | raw | diff to current
2014-01-24 Robert Dewarback_end.adb: Remove Short_Enums handling (handled... blob | commitdiff | raw | diff to current
2014-01-24 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-23 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-22 Robert Dewarsem_ch3.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2014-01-21 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-20 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-20 Arnaud Charlet[multiple changes] 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 Hristian Kirtchevaspects.adb, [...]: Remove all entries for Refined_Pre... blob | commitdiff | raw | diff to current
2013-10-17 Thomas Quinotexp_util.adb (Get_Current_Value_Condition, [...]):... 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-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 Dewareinfo.ads, einfo.adb (Default_Aspect_Component_Value... 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 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 Robert Dewarfreeze.adb: Minor reformatting. blob | commitdiff | raw | diff to current
2013-10-10 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-10 Robert Dewarsem_aggr.adb (Resolve_Array_Aggregate): Identify duplic... 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 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 Thomas Quinotaspects.ads, [...]: Minor reformatting. 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 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-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 Ed Schonbergsem_ch13.adb (Analyze_Aspect_Specifications): For pre... blob | commitdiff | raw | diff to current
2013-04-25 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-25 Hristian Kirtcheveinfo.ads, einfo.adb: Remove with and use clauses for... 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 Hristian Kirtchevexp_ch6.adb: Remove with and use clause for Sem_Prag. blob | commitdiff | raw | diff to current
2013-04-24 Ed Schonbergexp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration... 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
2013-04-23 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-22 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-22 Yannick Moyaspects.ads, [...]: Removal of references to Contract_Case. blob | commitdiff | raw | diff to current
2013-04-12 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-12 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-12 Hristian Kirtchevaspects.adb (Find_Aspect): New routine. blob | commitdiff | raw | diff to current
2013-04-12 Ed Schonbergs-rident.ads: Add various missing Ada 2012 restrictions... blob | commitdiff | raw | diff to current
2013-04-12 Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
next