]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/eval_fat.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / eval_fat.adb
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2021-04-29  Eric Botcazou[Ada] Couple of minor tweaks to Eval_Fat.Succ
2021-04-29  Eric Botcazou[Ada] Fix static computation of 'Succ for floating...
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Yannick Moychecks.adb (Determine_Range_R): Special case type conve...
2017-01-13  Hristian Kirtchevsem_aggr.adb, [...]: Update all eligible case statement...
2016-05-02  Arnaud Charletget_spark_xrefs.adb (Get_Nat, Get_Name): Initialize...
2015-10-20  Arnaud Charletsem_aggr.adb, [...]: Fix typos.
2014-06-11  Arnaud Charlet[multiple changes]
2014-01-29  Robert Dewara-except-2005.adb, [...]: Minor reformatting.
2012-11-06  Arnaud Charlet[multiple changes]
2012-11-06  Arnaud Charlet[multiple changes]
2012-11-06  Arnaud Charlet[multiple changes]
2012-10-01  Arnaud Charleta-catizo.adb, [...]: Minor reformatting.
2010-10-22  Geert BoschMake-lang.in: Remove ttypef.ads
2007-12-13  Geert Boscheval_fat.adb (Decompose_Int): Handle argument of zero.
2007-10-15  Robert Dewars-taprop-solaris.adb, [...]: Minor reformatting.
2007-09-10  Robert Dewarexp_atag.ads, [...]: Replace headers with GPL v3 headers.
2006-02-15  Robert Dewars-gloloc-mingw.adb, [...]: Minor reformatting.
2005-11-15  Robert Dewara-secain.adb, [...]: Minor reformatting
2005-07-01  R. Kelley CookUpdate FSF address
2005-01-03  Arnaud Charleteval_fat.adb: (Eps_Model,Eps_Denorm): Remove, no longer...
2004-12-08  Arnaud Charlet* eval_fat.adb: Revert previous change.
2004-10-27  Geert Boscheval_fat.adb (Eps_Model,Eps_Denorm): Remove, no longer...
2004-06-11  Arnaud Charlet[multiple changes]
2004-05-10  Arnaud Charlet[multiple changes]
2004-04-19  Arnaud Charlet[multiple changes]
2004-04-05  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-02  Richard KennerNew Language: Ada