aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.
[platform/upstream/gcc.git] / gcc / ada / sem_ch13.adb
2013-07-05 Hristian Kirtchevaspects.adb: Add an entry for SPARK_Mode in table Canon...
2013-07-05 Ed Schonbergsem_ch13.adb (Analyze_Aspect_Specifications): For pre...
2013-04-25 Arnaud Charlet[multiple changes]
2013-04-25 Hristian Kirtcheveinfo.ads, einfo.adb: Remove with and use clauses for...
2013-04-24 Arnaud Charlet[multiple changes]
2013-04-24 Arnaud Charlet[multiple changes]
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 Ed Schonbergexp_ch8.adb (Expand_N_Subprogram_Renaming_Declaration...
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 Arnaud Charlet[multiple changes]
2013-04-22 Arnaud Charlet[multiple changes]
2013-04-22 Yannick Moyaspects.ads, [...]: Removal of references to Contract_Case.
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 Ed Schonbergs-rident.ads: Add various missing Ada 2012 restrictions...
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Hristian Kirtchevsem_ch13.adb (Analyze_Aspect_Specifications): Aspect...
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 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-01-04 Arnaud Charlet[multiple changes]
2013-01-04 Robert Dewarexp_prag.adb, [...]: Minor reformatting.
2013-01-04 Arnaud Charlet[multiple changes]
2013-01-03 Arnaud Charlet[multiple changes]
2013-01-03 Arnaud Charlet[multiple changes]
2013-01-03 Arnaud Charlet[multiple changes]
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Robert Dewarerrout.adb (Set_Msg_Insertion_Warning): Correct typo...
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Thomas Quinotsem_ch13.adb (Analyze_Aspect_Specifications): For a...
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Thomas Quinotscos.ads (In_Decision): Add missing entry for 'a'.
2012-12-05 Ed Schonbergaspects.ads, [...]: Add aspect Relative_Deadline.
2012-12-05 Arnaud Charlet[multiple changes]
2012-12-05 Arnaud Charlet[multiple changes]
2012-12-05 Arnaud Charlet[multiple changes]
2012-12-05 Arnaud Charlet[multiple changes]
2012-11-06 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-29 Bob Duffsem_ch13.adb (Replace_Type_Reference): Use correct...
2012-10-05 Arnaud Charlet[multiple changes]
2012-10-02 Arnaud Charlet[multiple changes]
2012-10-02 Robert Dewarexp_ch7.adb, [...]: Minor reformatting.
2012-10-02 Arnaud Charlet[multiple changes]
2012-10-01 Arnaud Charlet[multiple changes]
2012-10-01 Ed Schonbergaspects.ads: Type_Invariant'class is a valid aspect.
2012-10-01 Arnaud Charlet[multiple changes]
2012-10-01 Yannick Moysem_ch13.adb (Add_Invariants): Analyze the invariant...
2012-10-01 Arnaud Charlet[multiple changes]
2012-10-01 Arnaud Charlet[multiple changes]
2012-08-06 Arnaud Charlet[multiple changes]
2012-08-06 Arnaud Charlet[multiple changes]
2012-07-30 Robert Dewarpar_sco.adb, [...]: Minor reformatting.
2012-07-23 Arnaud Charlet[multiple changes]
2012-07-16 Arnaud Charlet[multiple changes]
2012-07-16 Arnaud Charlet[multiple changes]
2012-07-12 Arnaud Charlet[multiple changes]
2012-07-09 Arnaud Charlet[multiple changes]
2012-07-09 Arnaud Charlet[multiple changes]
2012-07-09 Arnaud Charlet[multiple changes]
2012-07-09 Arnaud Charlet[multiple changes]
2012-07-09 Arnaud Charlet[multiple changes]
2012-07-09 Arnaud Charlet[multiple changes]
2012-07-09 Arnaud Charlet[multiple changes]
2012-06-26 Arnaud Charlet[multiple changes]
2012-06-14 Arnaud Charlet[multiple changes]
2012-06-14 Arnaud Charlet[multiple changes]
2012-06-14 Vincent Puccieinfo.adb einfo.ads (Get_Rep_Item): Removed.
2012-06-12 Arnaud Charlet[multiple changes]
2012-06-12 Arnaud Charlet[multiple changes]
2012-06-12 Arnaud Charlet[multiple changes]
2012-06-12 Arnaud Charlet[multiple changes]
2012-06-12 Arnaud Charlet[multiple changes]
2012-05-15 Arnaud Charlet[multiple changes]
2012-05-15 Arnaud Charlet[multiple changes]
2012-05-15 Robert Dewarexp_ch9.adb, [...]: Minor reformatting.
2012-05-15 Arnaud Charlet[multiple changes]
2012-04-26 Arnaud Charlet[multiple changes]
2012-03-15 Yannick Moyaspects.adb, [...] (Aspect_Id): New GNAT aspect Aspect_...
2012-03-09 Arnaud Charlet[multiple changes]
2012-02-08 Arnaud Charlet[multiple changes]
2012-02-08 Arnaud Charlet[multiple changes]
2012-01-30 Robert Dewara-strhas.ads, [...]: Minor reformatting/code reorganiza...
next