]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/exp_util.ads
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / exp_util.ads
2021-07-09  Piotr Trojanek[Ada] Fix typo in comment related to derived discrimina...
2021-07-06  Gary Dismukes[Ada] Removal of various ??? comments plus related...
2021-06-17  Gary Dismukes[Ada] Implementation of Inox feature of fixed lower...
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-07  Gary Dismukes[Ada] Remove some ??? comments
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2020-12-17  Arnaud Charlet[Ada] Remove unused subprograms in validsw
2020-11-30  Gary Dismukes[Ada] Implement inheritance for Default_Initial_Conditi...
2020-10-23  Johannes Kanig[Ada] GNATprove: remove support for external axiomatiza...
2020-10-20  Piotr Trojanek[Ada] Support for new aspect Subprogram_Variant on...
2020-10-20  Piotr Trojanek[Ada] Minor reorder subprogram declarations alphabetically
2020-10-16  Arnaud Charlet[Ada] Remove support for -gnatP and pragma Polling
2020-10-16  Eric Botcazou[Ada] Add Max_Integer_Size attribute and couple of...
2020-07-10  Arnaud Charlet[Ada] Use small limit for aggregates inside subprograms
2020-07-06  Piotr Trojanek[Ada] Fix typo in comment of Get_Index_Subtype
2020-06-08  Piotr Trojanek[Ada] Reuse Get_Index_Subtype in the special expander...
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-12-12  Eric Botcazou[Ada] Mark Ada subprograms and variables referenced...
2019-09-19  Piotr Trojanek[Ada] Remove duplicated routines for getting homonym...
2019-09-18  Claire Dross[Ada] Factor out code for deciding statically known...
2019-08-12  Eric Botcazou[Ada] Small comment tweaks for 3 predicates on bit...
2019-07-11  Hristian Kirtchev[Ada] Missing finalization of private protected type
2019-07-03  Hristian Kirtchev[Ada] ABE checks v3.0, foundations of Elaboration order...
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-12-11  Gary Dismukes[Ada] Minor reformattings
2018-12-11  Hristian Kirtchev[Ada] Crash on ignored Ghost expression function
2018-12-03  Hristian Kirtchev[Ada] Minor reformattings
2018-11-14  Ed Schonberg[Ada] Problem with boundary case of XOR operation and...
2018-11-14  Hristian Kirtchev[Ada] Limited function violates No_Exception_Propagation
2018-09-26  Eric Botcazou[Ada] Preparation for new description of interface...
2018-05-30  Hristian Kirtchev[Ada] Minor reformatting
2018-05-28  Justin Squirek[Ada] Spurious constraint error on array of null-exclud...
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018
2017-12-05  Pierre-Marie de... sem_util.adb (Contains_Refined_State): Remove.
2017-10-09  Pierre-Marie de... [multiple changes]
2017-09-13  Pierre-Marie de... [multiple changes]
2017-09-07  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-27  Yannick Moyexp_util.ads, [...] (Evaluate_Name): Force evaluation...
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Gary Dismukesexp_util.adb, [...]: Minor reformatting.
2017-04-25  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-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Hristian Kirtchevexp_util.adb, [...]: Revert previous changes.
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
2017-01-12  Arnaud Charlet[multiple changes]
2017-01-09  Hristian Kirtcheveinfo.ads, einfo.adb: Remove uses of flags Has_Default_...
2016-07-06  Arnaud Charlet[multiple changes]
2016-07-06  Arnaud Charlet[multiple changes]
2016-05-02  Gary Dismukesexp_util.ads, [...]: Minor reformatting.
2016-05-02  Arnaud Charlet[multiple changes]
2016-04-27  Arnaud Charlet[multiple changes]
2016-04-20  Arnaud Charlet[multiple changes]
2015-11-18  Hristian Kirtchevre PR ada/66242 (Front-end error if exception propagati...
2015-11-18  Hristian Kirtchevsem_ch4.adb: Minor reformatting.
2015-11-12  Arnaud Charlet[multiple changes]
2015-10-26  Arnaud Charlet[multiple changes]
2015-10-16  Arnaud Charletexp_ch5.adb, [...]: Code clean up: remove special handl...
2015-05-26  Arnaud Charlet[multiple changes]
2015-05-22  Bob Duffexp_utils.ads, [...] (Find_Optional_Prim_Op): New inter...
2015-05-22  Robert Dewarexp_ch4.adb: Minor rewording.
2015-05-12  Arnaud Charlet[multiple changes]
2015-03-13  Arnaud Charlet[multiple changes]
2015-03-13  Robert Dewarexp_util.ads, [...] (Force_Evaluation): Add Related_Id...
2015-01-30  Arnaud Charlet[multiple changes]
2015-01-30  Arnaud Charlet[multiple changes]
2014-11-20  Arnaud Charlet[multiple changes]
2014-11-20  Eric Botcazousem_ch3.adb (Analyze_Object_Declaration): Swap a couple...
2014-10-30  Arnaud Charlet[multiple changes]
2014-10-23  Arnaud Charlet[multiple changes]
2014-10-23  Arnaud Charlet[multiple changes]
2014-10-10  Robert Dewarexp_util.ads, [...]: Minor code reorganization.
2014-08-04  Arnaud Charlet[multiple changes]
2014-08-01  Arnaud Charlet[multiple changes]
2014-08-01  Arnaud Charlet[multiple changes]
2014-07-31  Arnaud Charlet[multiple changes]
2014-07-30  Arnaud Charlet[multiple changes]
2014-07-17  Arnaud Charlet[multiple changes]
2014-07-16  Arnaud Charlet[multiple changes]
2014-02-19  Arnaud Charlet[multiple changes]
2014-02-19  Arnaud Charlet[multiple changes]
2014-02-18  Arnaud Charlet[multiple changes]
2014-02-06  Robert Dewarexp_util.ads, [...]: Minor reformatting and code clean...
2014-02-06  Arnaud Charlet[multiple changes]
2013-10-17  Hristian Kirtchevexp_util.adb, [...] (Entity_Of): Moved to Sem_Util.
2013-10-14  Arnaud Charlet[multiple changes]
2013-10-10  Arnaud Charlet[multiple changes]
2013-04-24  Arnaud Charlet[multiple changes]
2013-04-23  Arnaud Charlet[multiple changes]
2013-04-12  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]
next