[Ada] Fix handling of generic actuals with default expression in SPARK
[gcc.git] / gcc / ada / sem_ch12.adb
2018-11-14 Piotr Trojanek[Ada] Fix handling of generic actuals with default...
2018-09-26 Hristian Kirtchev[Ada] Spurious elaboration issue due to inlining
2018-07-17 Hristian Kirtchev[Ada] Configuration state not observed for instance...
2018-07-16 Hristian Kirtchev[Ada] Minor reformatting
2018-07-16 Ed Schonberg[Ada] Fix Default_Storage_Pool aspect handling in gener...
2018-06-11 Hristian Kirtchev[Ada] Minor reformatting
2018-06-11 Ed Schonberg[Ada] Crash on instantiation of nested generic in priva...
2018-05-25 Hristian Kirtchev[Ada] Minor reformatting
2018-05-25 Ed Schonberg[Ada] Strengthen checks for instantiation with interfac...
2018-05-25 Ed Schonberg[Ada] Checks on instantiations with formal derived...
2018-05-24 Hristian Kirtchev[Ada] Fix crash on formal containers
2018-05-23 Hristian Kirtchev[Ada] Suppression of elaboration-related warnings
2018-05-22 Ed Schonberg[Ada] Spurious visibility error in a nested instance...
2018-05-22 Justin Squirek[Ada] No error on misplaced pragma Pure_Function
2018-05-21 Hristian Kirtchev[Ada] Spurious error on early call region of tagged...
2018-01-11 Hristian Kirtchev[Ada] Minor reformatting
2018-01-11 Ed Schonberg[Ada] Warning on use of predefined operations on an...
2018-01-11 Hristian Kirtchev[Ada] Encoding of with clauses in ALI files
2017-12-05 Pierre-Marie de... [multiple changes]
2017-11-16 Hristian Kirtchevopt.ads: Elaboration warnings are now on by default.
2017-11-09 Pierre-Marie de... [multiple changes]
2017-11-09 Pierre-Marie de... [multiple changes]
2017-11-09 Pierre-Marie de... [multiple changes]
2017-11-09 Pierre-Marie de... [multiple changes]
2017-10-20 Pierre-Marie de... sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with...
2017-10-20 Pierre-Marie de... exp_aggr.adb (Initialize_Array_Component): Avoid adjust...
2017-10-09 Pierre-Marie de... [multiple changes]
2017-10-09 Pierre-Marie de... [multiple changes]
2017-10-09 Pierre-Marie de... exp_ch6.adb (Expand_N_Extended_Return_Statement): Add...
2017-09-25 Pierre-Marie de... [multiple changes]
2017-09-25 Pierre-Marie de... [multiple changes]
2017-09-25 Pierre-Marie de... [multiple changes]
2017-09-18 Pierre-Marie de... sem_ch4.adb (Complete_Object_Operation): Do not insert...
2017-09-08 Yannick Moysem_aux.adb, [...] (Get_Called_Entity): New function...
2017-09-08 Arnaud Charlet[multiple changes]
2017-09-08 Arnaud Charlet[multiple changes]
2017-09-08 Arnaud Charlet[multiple changes]
2017-09-08 Arnaud Charlet[multiple changes]
2017-09-08 Arnaud Charlet[multiple changes]
2017-09-07 Arnaud Charlet[multiple changes]
2017-09-06 Arnaud Charlet[multiple changes]
2017-09-06 Arnaud Charlet[multiple changes]
2017-09-06 Arnaud Charlet[multiple changes]
2017-09-06 Arnaud Charlet[multiple changes]
2017-09-06 Arnaud Charlet[multiple changes]
2017-04-28 Arnaud Charlet[multiple changes]
2017-04-28 Arnaud Charlet[multiple changes]
2017-04-27 Arnaud Charlet[multiple changes]
2017-04-27 Arnaud Charlet[multiple changes]
2017-04-27 Arnaud Charlet[multiple changes]
2017-04-25 Hristian Kirtchevcontracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac...
2017-04-25 Arnaud Charlet[multiple changes]
2017-04-25 Arnaud Charlet[multiple changes]
2017-04-25 Arnaud Charlet[multiple changes]
2017-01-19 Arnaud Charlet[multiple changes]
2017-01-13 Arnaud Charlet[multiple changes]
2017-01-13 Hristian Kirtchevsem_aggr.adb, [...]: Update all eligible case statement...
2017-01-13 Arnaud Charlet[multiple changes]
2017-01-13 Arnaud Charlet[multiple changes]
2017-01-13 Hristian Kirtchevatree.adb (Allocate_Initialize_Node): A newly created...
2017-01-12 Bob Duffcontracts.adb, [...] (Pragma_Name): Change name to...
2016-10-13 Arnaud Charlet[multiple changes]
2016-10-12 Hristian Kirtchevexp_ch5.adb, [...]: Minor reformatting.
2016-10-12 Ed Schonbergsem_ch12.adb (Check_Formal_Package_Instance): Skip...
2016-10-12 Arnaud Charlet[multiple changes]
2016-07-07 Arnaud Charlet[multiple changes]
2016-07-07 Arnaud Charlet[multiple changes]
2016-07-06 Arnaud Charlet[multiple changes]
2016-07-06 Javier Mirandasem_ch7.adb (Analyze_Package_Specification): Insert...
2016-07-06 Arnaud Charlet[multiple changes]
2016-07-04 Arnaud Charlet[multiple changes]
2016-07-04 Bob Duffsem_eval.adb (Decompose_Expr): Set 'out' parameters...
2016-07-04 Arnaud Charlet[multiple changes]
2016-07-04 Arnaud Charlet[multiple changes]
2016-07-04 Hristian Kirtchevsem_ch3.adb, [...]: Minor reformatting.
2016-07-04 Arnaud Charlet[multiple changes]
2016-06-16 Arnaud Charlet[multiple changes]
2016-06-14 Javier Mirandasem_attr.adb (Analyze_Attribute_Old_Result): Adding...
2016-06-14 Arnaud Charlet[multiple changes]
2016-06-14 Arnaud Charlet[multiple changes]
2016-06-14 Arnaud Charlet[multiple changes]
2016-05-02 Gary Dismukesexp_util.ads, [...]: Minor reformatting.
2016-05-02 Arnaud Charlet[multiple changes]
2016-05-02 Arnaud Charlet[multiple changes]
2016-04-21 Arnaud Charlet[multiple changes]
2016-04-21 Arnaud Charlet[multiple changes]
2016-04-20 Arnaud Charlet[multiple changes]
2016-04-20 Arnaud Charlet[multiple changes]
2016-04-20 Hristian Kirtchevsem_ch12.adb (Qualify_Universal_Operands): New routine.
2016-04-20 Arnaud Charlet[multiple changes]
2016-04-19 Arnaud Charlet[multiple changes]
2016-04-19 Arnaud Charlet[multiple changes]
2016-04-18 Arnaud Charlet[multiple changes]
2016-04-18 Arnaud Charlet[multiple changes]
2016-04-18 Arnaud Charlet[multiple changes]
2016-02-11 Jakub Jelinekcgraph.c: Spelling fixes - behaviour -> behavior and...
2015-11-18 Arnaud Charlet[multiple changes]
2015-11-12 Arnaud Charlet[multiple changes]
2015-10-27 Arnaud Charlet[multiple changes]
2015-10-26 Arnaud Charlet[multiple changes]
next