[Ada] Complete the more extended AST traversal used in GNATprove
[gcc.git] / gcc / ada / sinfo.ads
2019-08-13 Yannick Moy[Ada] Complete the more extended AST traversal used...
2019-07-22 Eric Botcazou[Ada] Sinfo: update doc about Do_Division/Overlflow...
2019-07-09 Piotr Trojanek[Ada] Reformat comments
2019-07-09 Yannick Moy[Ada] Sinfo: refine comment for Do_Range_Check
2019-07-03 Gary Dismukes[Ada] Minor editorial corrections and reformatting
2019-07-03 Hristian Kirtchev[Ada] ABE checks v3.0, foundations of Elaboration order...
2019-07-03 Bob Duff[Ada] Spell "laid" correctly
2019-01-08 Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-11-14 Bob Duff[Ada] System'To_Address not always static
2018-11-14 Piotr Trojanek[Ada] Fix handling of generic actuals with default...
2018-09-26 Hristian Kirtchev[Ada] Minor reformattings
2018-09-26 Olivier Hainque[Ada] Front-end support for OpenACC pragmas
2018-08-21 Hristian Kirtchev[Ada] Minor reformattings
2018-07-16 Piotr Trojanek[Ada] Deconstruct unused Withed_Body filed of N_With_Cl...
2018-06-11 Javier Miranda[Ada] Wrong code in array aggregates of Ada coextensions
2018-06-11 Hristian Kirtchev[Ada] Minor reformatting
2018-05-30 Bob Duff[Ada] Spell preanalysis, preanalyze correctly
2018-05-24 Piotr Trojanek[Ada] Minor fix grammar in comment of N_Defining_Identifier
2018-05-24 Hristian Kirtchev[Ada] Fix crash on formal containers
2018-05-23 Hristian Kirtchev[Ada] Suppression of elaboration-related warnings
2018-05-23 Bob Duff[Ada] Minor reformatting
2018-05-22 Ed Schonberg[Ada] Ada2020: Reduction expressions
2018-01-11 Arnaud Charlet[Ada] Bump copyright notices to 2018
2018-01-11 Hristian Kirtchev[Ada] Encoding of with clauses in ALI files
2017-12-15 Pierre-Marie de... [multiple changes]
2017-12-05 Pierre-Marie de... [multiple changes]
2017-11-16 Hristian Kirtchevopt.ads: Elaboration warnings are now on by default.
2017-11-16 Pierre-Marie de... [multiple changes]
2017-11-09 Pierre-Marie de... exp_ch3.adb, [...]: Minor reformatting.
2017-11-09 Pierre-Marie de... gnat1drv.adb (Adjust_Global_Switches): Suppress warning...
2017-11-08 Hristian Kirtchevexp_ch3.adb (Expand_N_Object_Declaration): Save and...
2017-10-20 Pierre-Marie de... [multiple changes]
2017-10-20 Bob Duffsinfo.ads, sinfo.adb (Alloc_For_BIP_Return): New flag...
2017-10-14 Pierre-Marie de... [multiple changes]
2017-10-09 Pierre-Marie de... [multiple changes]
2017-10-09 Pierre-Marie de... [multiple changes]
2017-09-29 Bob Duffexp_ch6.adb (Expand_Call_Helper): Handle case of build...
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 Arnaud Charlet[multiple changes]
2017-04-27 Arnaud Charlet[multiple changes]
2017-04-25 Arnaud Charlet[multiple changes]
2017-04-25 Arnaud Charlet[multiple changes]
2017-04-25 Arnaud Charlet[multiple changes]
2017-01-23 Arnaud Charlet[multiple changes]
2017-01-23 Arnaud Charlet[multiple changes]
2017-01-23 Ed Schonbergscans.ads: New token At_Sign.
2017-01-20 Arnaud Charlet[multiple changes]
2017-01-20 Arnaud Charlet[multiple changes]
2017-01-19 Arnaud Charlet[multiple changes]
2017-01-13 Arnaud Charlet[multiple changes]
2017-01-13 Ed Schonbergexp_util.adb (Insert_Actions): Handle Iterated_Componen...
2017-01-13 Hristian Kirtchevatree.adb (Allocate_Initialize_Node): A newly created...
2017-01-12 Arnaud Charlet[multiple changes]
2017-01-12 Bob Duffcontracts.adb, [...] (Pragma_Name): Change name to...
2017-01-09 Hristian Kirtcheveinfo.ads, einfo.adb: Remove uses of flags Has_Default_...
2017-01-06 Bob Duffsnames.ads-tmpl (Renamed): New name for the pragma...
2017-01-06 Arnaud Charlet[multiple changes]
2017-01-06 Arnaud Charlet[multiple changes]
2016-11-30 Arnaud Charlet[multiple changes]
2016-10-13 Arnaud Charlet[multiple changes]
2016-07-06 Arnaud Charlet[multiple changes]
2016-07-04 Arnaud Charlet[multiple changes]
2016-06-20 Arnaud Charlet[multiple changes]
2016-06-14 Arnaud Charlet[multiple changes]
2016-04-27 Arnaud Charlet[multiple changes]
2016-04-20 Arnaud Charlet[multiple changes]
2016-04-20 Arnaud Charletexp_attr.adb (Expand_N_Attribute_Reference [Attribute_V...
2016-04-20 Arnaud Charlet[multiple changes]
2016-04-18 Arnaud Charlet[multiple changes]
2015-11-13 Arnaud Charlet[multiple changes]
2015-11-12 Arnaud Charlet[multiple changes]
2015-10-26 Arnaud Charlet[multiple changes]
2015-10-26 Arnaud Charlet[multiple changes]
2015-10-26 Arnaud Charlet[multiple changes]
2015-10-26 Arnaud Charlet[multiple changes]
2015-10-26 Arnaud Charlet2015-10-26 Joel Brobecker <brobecker@adacore.com...
2015-10-23 Arnaud Charlet[multiple changes]
2015-10-23 Arnaud Charlet[multiple changes]
2015-10-20 Arnaud Charlet[multiple changes]
2015-10-16 Arnaud Charlet[multiple changes]
2015-10-16 Arnaud Charletchecks.adb: Fix typo.
2015-10-16 Arnaud Charletexp_ch5.adb, [...]: Code clean up: remove special handl...
2015-05-26 Arnaud Charlet[multiple changes]
2015-05-26 Hristian Kirtchevexp_ch3.adb (Expand_N_Full_Type_Declaration): Capture...
2015-05-22 Ed Schonbergsem_ch10.adb (Analyze_With_Clause): In ASIS_Mode...
2015-05-12 Arnaud Charlet[multiple changes]
2015-03-24 Arnaud Charlet[multiple changes]
2015-03-13 Arnaud Charlet[multiple changes]
2015-02-20 Arnaud Charlet[multiple changes]
2015-01-07 Hristian Kirtchev2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>
2014-11-20 Arnaud Charlet[multiple changes]
2014-11-20 Arnaud Charlet[multiple changes]
2014-10-30 Arnaud Charlet[multiple changes]
2014-10-23 Arnaud Charlet[multiple changes]
2014-10-17 Arnaud Charlet[multiple changes]
2014-10-10 Arnaud Charlet[multiple changes]
2014-08-04 Arnaud Charlet[multiple changes]
2014-08-01 Arnaud Charlet[multiple changes]
2014-08-01 Arnaud Charlet[multiple changes]
next