[multiple changes]
[gcc.git] / gcc / ada / sem_ch6.adb
2014-07-29 Arnaud Charlet[multiple changes]
2014-07-29 Robert Dewarsem_aggr.adb (Resolve_Array_Aggregate): Change Is_Stati...
2014-07-18 Robert Dewarpar_sco.adb, [...]: Minor reformatting.
2014-07-17 Arnaud Charlet[multiple changes]
2014-06-13 Robert Dewarlib.ads, [...] (Is_Compiler_Unit): Removed.
2014-06-11 Arnaud Charlet[multiple changes]
2014-06-11 Arnaud Charlet[multiple changes]
2014-06-11 Arnaud Charlet[multiple changes]
2014-05-21 Hristian Kirtchevfreeze.adb (Freeze_Record_Type): Update the use of...
2014-05-21 Arnaud Charlet[multiple changes]
2014-05-21 Arnaud Charlet[multiple changes]
2014-05-21 Arnaud Charlet[multiple changes]
2014-02-25 Arnaud Charlet[multiple changes]
2014-02-25 Hristian Kirtchevexp_ch6.adb (Add_Or_Save_Precondition): New routine.
2014-02-25 Arnaud Charlet[multiple changes]
2014-02-25 Arnaud Charlet[multiple changes]
2014-02-25 Yannick Moysem_ch3.adb, [...]: Mark most references to SPARK RM...
2014-02-24 Arnaud Charlet[multiple changes]
2014-02-24 Hristian Kirtchevsem_ch6.adb (Analyze_Subprogram_Body_Contract): Do...
2014-02-24 Arnaud Charlet[multiple changes]
2014-02-24 Arnaud Charlet[multiple changes]
2014-02-24 Arnaud Charlet[multiple changes]
2014-02-20 Arnaud Charlet[multiple changes]
2014-02-20 Arnaud Charlet[multiple changes]
2014-02-20 Robert Dewareinfo.ads: Minor comment addition: Etype of package...
2014-02-19 Arnaud Charlet[multiple changes]
2014-02-19 Arnaud Charlet[multiple changes]
2014-02-06 Arnaud Charlet[multiple changes]
2014-02-06 Arnaud Charlet[multiple changes]
2014-02-06 Arnaud Charlet[multiple changes]
2014-01-31 Arnaud Charlet[multiple changes]
2014-01-31 Arnaud Charlet[multiple changes]
2014-01-29 Robert Dewara-except-2005.adb, [...]: Minor reformatting.
2014-01-29 Arnaud Charlet[multiple changes]
2014-01-29 Arnaud Charlet[multiple changes]
2014-01-27 Ed Schonbergsem_ch6.adb: sem_ch6.adb (Set_Actual_Subtypes): If...
2014-01-27 Arnaud Charlet[multiple changes]
2014-01-24 Ed Schonbergsem_ch3.adb (Analyze_Declarations): At the end of an...
2014-01-24 Arnaud Charlet[multiple changes]
2014-01-24 Arnaud Charlet[multiple changes]
2014-01-23 Arnaud Charlet[multiple changes]
2014-01-22 Arnaud Charlet[multiple changes]
2014-01-22 Arnaud Charlet[multiple changes]
2014-01-21 Arnaud Charlet[multiple changes]
2014-01-21 Arnaud Charlet[multiple changes]
2014-01-21 Arnaud Charlet[multiple changes]
2014-01-21 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Robert Dewarsem_aggr.adb, [...]: Minor reformatting.
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Yannick Moyexp_spark.adb (Expand_SPARK_Call): Remove procedure.
2014-01-20 Yannick Moy2014-01-20 Yannick Moy <moy@adacore.com>
2013-10-17 Ed Schonbergsem_aux.ads, [...] (Is_Immutably_Limited_Type): Make...
2013-10-17 Arnaud Charlet[multiple changes]
2013-10-14 Arnaud Charlet[multiple changes]
2013-10-14 Arnaud Charlet[multiple changes]
2013-10-14 Hristian Kirtchevaspects.adb: Add an entry in table Canonical_Aspect...
2013-10-13 Robert Dewargnat_rm.texi: Add documentation for pragmas Pre[_Class...
2013-10-13 Hristian Kirtcheveinfo.adb: Add node/list usage for Refined_State and...
2013-10-10 Robert Dewarsem_aggr.adb (Resolve_Array_Aggregate): Identify duplic...
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 Arnaud Charlet[multiple changes]
2013-09-10 Arnaud Charlet[multiple changes]
2013-07-08 Arnaud Charlet[multiple changes]
2013-04-25 Arnaud Charlet[multiple changes]
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-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 Yannick Moyadabkend.adb, [...]: Everything with name 'Alfa' rename...
2013-04-24 Hristian Kirtchevexp_ch6.adb: Remove with and use clause for Sem_Prag.
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 Robert Dewarsem_prag.adb, [...]: Minor reformatting.
2013-04-22 Yannick Moypar-prag.adb, [...]: Remove all references to Pragma_Co...
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Hristian Kirtchevaspects.adb: Alphabetize subprogram bodies in this...
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
next