]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/lib-writ.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / lib-writ.adb
2021-07-08  Piotr Trojanek[Ada] Replace low-level condition with a high-level...
2021-07-08  Piotr Trojanek[Ada] Avoid linear search when ensuring dependency...
2021-07-07  Piotr Trojanek[Ada] Simplify handling of Generate_Code flag for compi...
2021-07-07  Piotr Trojanek[Ada] Tune discovery of No_Elaboration_Code restriction
2021-07-06  Piotr Trojanek[Ada] Simplify dependency on System
2021-07-05  Ghjuvan Lacambre[Ada] Turn GNAT_Annotate into its own pragma
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types -- cleanup
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-06  Piotr Trojanek[Ada] Style cleanups related to writing of ALI files
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2020-12-16  Arnaud Charlet[Ada] Code cleanup: rename ALI.Scope
2020-11-30  Ghjuvan Lacambre[Ada] Implement -gnateb switch
2020-11-26  Piotr Trojanek[Ada] Reuse Is_Generic_Subprogram where possible
2020-11-24  Piotr Trojanek[Ada] Use high-level Present instead of low-level equal...
2020-10-23  Arnaud Charlet[Ada] Clean up in writing of ALI files
2020-07-27  Arnaud Charlet[Ada] Use membership tests in front-end
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-08-20  Eric Botcazou[Ada] Get rid of linear searches in Lib
2019-07-11  Piotr Trojanek[Ada] Use high-level wrappers for Lib.Units.Table
2019-07-05  Hristian Kirtchev[Ada] Minor reformatting
2019-07-05  Hristian Kirtchev[Ada] Diagnostics in Elaboration order v4.0
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
2019-01-08  Justin Squirek[Ada] Revert recent changes in the generation of deps...
2018-10-01  Alexandre Oliva[Ada] use -gnatd_A to disable .ali on -fcompare-debug...
2018-09-26  Justin Squirek[Ada] Regression in partial compilation of RCI units
2018-08-21  Hristian Kirtchev[Ada] Minor reformattings
2018-08-21  Javier Miranda[Ada] Crash processing SPARK annotate aspect
2018-07-31  Justin Squirek[Ada] GNATmake fails to detect missing body
2018-05-29  Arnaud Charlet[Ada] Lib.Write: avoid use of System.Case_Util
2018-05-29  Bob Duff[Ada] Preliminary work to avoid full pathnames in ALI...
2018-05-21  Piotr Trojanek[Ada] Fix inconstent subprogram body headers
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-11-16  Pierre-Marie de... [multiple changes]
2017-11-09  Pierre-Marie de... gnat1drv.adb (Adjust_Global_Switches): Suppress warning...
2017-11-08  Pierre-Marie de... sem_disp.adb (Is_Inherited_Public_Operation): Extend...
2017-10-14  Pierre-Marie de... [multiple changes]
2017-09-29  Pierre-Marie de... [multiple changes]
2017-09-06  Arnaud Charlet[multiple changes]
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-25  Hristian Kirtchevcontracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac...
2017-01-12  Bob Duffcontracts.adb, [...] (Pragma_Name): Change name to...
2017-01-06  Bob Duffsnames.ads-tmpl (Renamed): New name for the pragma...
2016-10-12  Arnaud Charlet[multiple changes]
2016-10-12  Arnaud Charlet[multiple changes]
2016-04-21  Arnaud Charlet[multiple changes]
2016-04-21  Hristian Kirtchevlib-writ.adb, [...]: Minor reformatting and code cleanup.
2016-04-21  Arnaud Charlet[multiple changes]
2016-04-19  Arnaud Charlet[multiple changes]
2015-11-23  Olivier Hainqueopt.ads (Exception_Mechanism): Now three values: Front_...
2015-10-16  Arnaud Charletexp_ch5.adb, [...]: Code clean up: remove special handl...
2015-02-05  Arnaud Charlet015-02-05 Robert Dewar <dewar@adacore.com>
2015-01-30  Arnaud Charlet[multiple changes]
2015-01-06  Arnaud Charlet[multiple changes]
2014-10-10  Arnaud Charlet[multiple changes]
2014-08-01  Arnaud Charlet[multiple changes]
2014-08-01  Robert Dewarsnames.ads-tmpl, [...]: Remove VMS-specific code.
2014-07-31  Arnaud Charlet[multiple changes]
2014-07-31  Arnaud Charlet[multiple changes]
2014-07-31  Arnaud Charlet[multiple changes]
2014-07-30  Thomas Quinotlib-load.ads: Minor reformatting.
2014-07-29  Arnaud Charlet[multiple changes]
2014-07-29  Robert Dewarsem_aggr.adb (Resolve_Array_Aggregate): Change Is_Stati...
2014-07-18  Arnaud Charlet[multiple changes]
2014-07-18  Arnaud Charlet[multiple changes]
2014-07-18  Arnaud Charlet[multiple changes]
2014-07-17  Arnaud Charlet[multiple changes]
2014-06-13  Robert Dewarexp_attr.adb, [...]: Minor reformatting.
2014-06-13  Robert Dewarlib.ads, [...] (Is_Compiler_Unit): Removed.
2014-01-29  Robert Dewara-except-2005.adb, [...]: Minor reformatting.
2014-01-20  Yannick Moy2014-01-20 Yannick Moy <moy@adacore.com>
2013-10-17  Arnaud Charlet[multiple changes]
2013-10-14  Arnaud Charlet[multiple changes]
2013-10-10  Arnaud Charlet[multiple changes]
2013-10-10  Arnaud Charlet[multiple changes]
2013-07-08  Arnaud Charlet[multiple changes]
2013-07-05  Hristian Kirtchevaspects.adb: Add an entry for SPARK_Mode in table Canon...
2013-04-24  Yannick Moyadabkend.adb, [...]: Everything with name 'Alfa' rename...
2013-04-11  Arnaud Charlet[multiple changes]
2012-12-05  Arnaud Charlet[multiple changes]
2012-10-29  Arnaud Charlet[multiple changes]
2012-07-12  Arnaud Charlet[multiple changes]
2012-04-25  Arnaud Charlet[multiple changes]
2012-04-02  Arnaud Charlet[multiple changes]
2011-12-05  Arnaud Charlet[multiple changes]
2011-09-19  Arnaud Charlet[multiple changes]
2011-09-01  Arnaud Charlet[multiple changes]
2011-08-31  Arnaud Charlet[multiple changes]
2011-08-05  Arnaud Charlet[multiple changes]
2011-08-03  Arnaud Charlet[multiple changes]
2011-08-03  Hristian Kirtcheva-except.adb, [...] (Raise_From_Controlled_Operation...
2011-08-03  Robert Dewarsem_aggr.adb, [...]: Minor reformatting
2011-08-03  Arnaud Charlet[multiple changes]
2011-08-02  Arnaud Charlet[multiple changes]
2010-10-18  Arnaud Charlet[multiple changes]
2010-10-08  Robert Dewarali.adb: Set Allocator_In_Body if AB parameter present...
2010-10-05  Arnaud Charlet[multiple changes]
2010-06-14  Robert Dewarali.adb (Scan_ALI): Implement reading and storing of...
next