]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/lib.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / lib.adb
2021-07-06  Piotr Trojanek[Ada] Replace a question mark comment with assertion
2021-07-06  Piotr Trojanek[Ada] Simplify unit loading with membership tests
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-05  Piotr Trojanek[Ada] Speed up enumeration'Value with perfect hash...
2021-05-04  Bob Duff[Ada] Clean up ??? marks
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2020-11-24  Piotr Trojanek[Ada] Use high-level Present instead of low-level equal...
2020-10-23  Arnaud Charlet[Ada] Update header of front-end files
2020-06-19  Justin Squirek[Ada] Crash on compiling project with multiple subunits...
2020-06-11  Piotr Trojanek[Ada] Iterate with procedural version of Next routine...
2020-06-03  Arnaud Charlet[Ada] Remove ASIS tree generation
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-08-20  Eric Botcazou[Ada] Get rid of linear searches in Lib
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-05-30  Piotr Trojanek[Ada] Reuse Is_Rewrite_Substitution where possible
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018
2017-10-14  Pierre-Marie de... [multiple changes]
2017-10-09  Pierre-Marie de... [multiple changes]
2017-09-29  Pierre-Marie de... [multiple changes]
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud CharletMinor reformatting.
2017-04-25  Arnaud Charlet[multiple changes]
2016-07-06  Arnaud Charlet[multiple changes]
2016-07-06  Arnaud Charlet[multiple changes]
2016-06-14  Arnaud Charlet[multiple changes]
2016-06-14  Arnaud Charlet[multiple changes]
2015-02-05  Arnaud Charlet015-02-05 Robert Dewar <dewar@adacore.com>
2014-08-01  Arnaud Charlet[multiple changes]
2014-07-31  Arnaud Charlet[multiple changes]
2014-07-30  Arnaud Charlet[multiple changes]
2014-07-30  Thomas Quinotlib-load.ads: Minor reformatting.
2014-07-18  Arnaud Charlet[multiple changes]
2014-06-13  Robert Dewarlib.ads, [...] (Is_Compiler_Unit): Removed.
2014-01-22  Arnaud Charlet[multiple changes]
2014-01-21  Arnaud Charlet[multiple changes]
2013-07-05  Hristian Kirtchevaspects.adb: Add an entry for SPARK_Mode in table Canon...
2012-06-14  Arnaud Charlet[multiple changes]
2011-09-05  Arnaud Charlet[multiple changes]
2011-08-03  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-09-10  Arnaud Charlet[multiple changes]
2010-06-14  Robert Dewarali.adb (Scan_ALI): Implement reading and storing of...
2009-07-13  Robert Dewarlib.adb, [...]: Minor reformatting and code reorganization.
2009-07-13  Arnaud Charletlib.adb, [...]: Update comments.
2009-04-22  Ed Schonberglib-load.ads, [...] (Make_Child_Decl_Unit): New subprog...
2009-04-09  Jakub JelinekLicensing changes to GPLv3 resp. GPLv3 with GCC Runtime...
2008-11-07  Bechir Zalilare PR ada/34289 (gnatmake -s doesn't work)
2008-04-08  Robert Dewarfe.h: Remove global Optimize_Alignment flag, no longer...
2008-03-31  Ralf Wildenhuesg-table.adb, [...]: Fix comment typos.
2007-09-12  Robert Dewartypes.ads, [...]: Minor reformatting.
2007-08-14  Thomas Quinotbinde.adb (Elab_All_Links): Remove unnecessary call...
2007-06-06  Robert Dewarsinput.ads, [...] (Unlock): New procedure.
2007-04-06  Serguei Rybinlib.ads, lib.adb (Tree_Read): Release the memory occupi...
2006-10-31  Robert Dewarlib.adb, lib.ads: (In_Predefined_Unit): New functions
2006-02-15  Thomas Quinotali-util.adb (Get_File_Checksum): Update to account...
2005-12-09  Arnaud Charlet[multiple changes]
2005-09-05  Arnaud Charletre PR ada/23646 (Ada testsuite hangs -- many new failures)
2005-07-01  R. Kelley CookUpdate FSF address
2004-06-25  Arnaud Charletrevert: [multiple changes]
2004-06-14  Arnaud Charlet[multiple changes]
2004-05-14  Arnaud Charlet[multiple changes]
2004-04-19  Arnaud Charlet[multiple changes]
2004-03-29  Arnaud Charlet[multiple changes]
2003-11-24  Arnaud Charlet[multiple changes]
2003-11-10  Arnaud Charlet[multiple changes]
2003-10-21  Arnaud Charlet3psoccon.ads, [...]: Files added.
2003-04-24  Geert Bosch1aexcept.adb, [...]: Merge header, formatting and other...
2002-10-23  Nathanael NerodeNathanael Nerode <neroden@gcc.gnu.org> PR ada/6919...
2002-03-14  Geoffrey KeatingDelete all lines containing "$Revision:".
2002-03-08  Geert Bosch41intnam.ads, [...]: Merge in ACT changes.
2001-10-30  Robert Dewarlib.adb: Minor reformatting
2001-10-02  Richard KennerNew Language: Ada