]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_ch13.ads
projects / thirdparty / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / sem_ch13.ads
2021-07-07  Bob Duff[Ada] Fix bugs in Value_Size clauses and refactor blob | commitdiff | raw
2021-06-29  Bob Duff[Ada] tech debt: clean up Component_Size blob | commitdiff | raw | diff to current
2021-05-03  Arnaud Charlet[Ada] Update copyright notice blob | commitdiff | raw | diff to current
2020-12-17  Arnaud Charlet[Ada] Remove unused subprograms in validsw blob | commitdiff | raw | diff to current
2020-11-27  Steve Baird[Ada] Implement AI12-0187 (Stable properties of abstrac... blob | commitdiff | raw | diff to current
2020-10-16  Piotr Trojanek[Ada] Assorted style cleanups blob | commitdiff | raw | diff to current
2020-10-15  Bob Duff[Ada] Ada2020: AI12-0180 Using subprograms and entries... blob | commitdiff | raw | diff to current
2020-07-23  Arnaud Charlet[Ada] Ada2020: AI12-0027 Access values and unaliased... blob | commitdiff | raw | diff to current
2020-07-10  Gary Dismukes[Ada] Reformatting and typo corrections blob | commitdiff | raw | diff to current
2020-07-10  Ed Schonberg[Ada] Part of implementation of AI12-0212: container... blob | commitdiff | raw | diff to current
2020-06-16  Steve Baird[Ada] Implement AI12-0249, AI12-0295 (user-defined... blob | commitdiff | raw | diff to current
2020-06-08  Steve Baird[Ada] Implement AI12-0290 (Simple_Barriers restriction) blob | commitdiff | raw | diff to current
2020-06-02  Arnaud Charlet[Ada] Bump copyright year blob | commitdiff | raw | diff to current
2019-07-08  Javier Miranda[Ada] Code reorganization blob | commitdiff | raw | diff to current
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019 blob | commitdiff | raw | diff to current
2018-12-11  Ed Schonberg[Ada] Spurious errors on aspect specifications in gener... blob | commitdiff | raw | diff to current
2018-05-21  Hristian Kirtchev[Ada] Aspects on stubs blob | commitdiff | raw | diff to current
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018 blob | commitdiff | raw | diff to current
2017-01-23  Thomas Quinotsem_ch13.adb (Adjust_Record_For_Reverse_Bit_Order)... blob | commitdiff | raw | diff to current
2016-10-13  Gary Dismukesexp_ch7.adb, [...]: Minor typo fixes and reformatting. blob | commitdiff | raw | diff to current
2016-10-13  Javier Mirandasem_prag.ads (Process_Compile_Time_Warning_Or_Error... blob | commitdiff | raw | diff to current
2016-06-20  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2015-10-20  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2015-05-12  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-08-04  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-07-18  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-07-18  Robert Dewarsem_attr.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2014-05-21  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-02-19  Robert Dewarpar-ch9.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2014-02-19  Ed Schonbergstyle.adb (Missing_Overriding): Warning does not apply... blob | commitdiff | raw | diff to current
2014-01-29  Robert Dewara-except-2005.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2013-10-10  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-09-10  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2012-10-05  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2012-08-06  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2012-06-26  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2012-06-12  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2012-06-12  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2011-08-02  Robert Dewarsem_ch12.adb, [...]: New calling sequence for Analyze_A... blob | commitdiff | raw | diff to current
2011-08-02  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2011-08-01  Robert Dewarsem_ch3.adb, [...]: Minor reformatting blob | commitdiff | raw | diff to current
2011-08-01  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2011-08-01  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-12-20  Ralf WildenhuesFix typos in gcc/ada. blob | commitdiff | raw | diff to current
2010-10-26  Robert Dewarsem_ch13.adb (Build_Invariant_Procedure): New calling... blob | commitdiff | raw | diff to current
2010-10-21  Robert Dewareinfo.ads, einfo.adb: Add handling of predicates. blob | commitdiff | raw | diff to current
2010-10-21  Robert Dewareinfo.ads, einfo.adb: Add handling of predicates. blob | commitdiff | raw | diff to current
2010-10-19  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-10-11  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-10-11  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-10-08  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-06-17  Robert Dewarsem_intr.adb, [...]: Minor reformatting. blob | commitdiff | raw | diff to current
2009-07-29  Javier Mirandasem_ch3.ads, [...] (Add_Internal_Interface_Entities... blob | commitdiff | raw | diff to current
2008-06-07  Samuel Tardieusem_res.adb (Large_Storage_Type): A type is large if... blob | commitdiff | raw | diff to current
2008-04-14  Ralf Wildenhuesvms_data.ads: Fix typo in constant. blob | commitdiff | raw | diff to current
2008-04-13  Ralf Wildenhuessem_ch10.adb, [...]: Fix comment typos. blob | commitdiff | raw | diff to current
2008-04-08  Robert Dewara-strbou.ads, [...] (From_String): New procedure (for... blob | commitdiff | raw | diff to current
2007-09-26  Robert Dewarchecks.adb, [...]: Improve warnings for address overlays. blob | commitdiff | raw | diff to current
2007-09-10  Robert Dewarexp_atag.ads, [...]: Replace headers with GPL v3 headers. blob | commitdiff | raw | diff to current
2007-04-06  Robert Dewarsem_ch13.ads, [...] (Adjust_Record_For_Reverse_Bit_Orde... blob | commitdiff | raw | diff to current
2006-10-31  Arnaud CharletResync. blob | commitdiff | raw | diff to current
2005-07-01  R. Kelley CookUpdate FSF address blob | commitdiff | raw | diff to current
2004-11-19  Arnaud Charleteinfo.ads, einfo.adb: Remove Is_Psected flag, no longer... blob | commitdiff | raw | diff to current
2004-07-06  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2004-06-25  Arnaud Charletrevert: [multiple changes] blob | commitdiff | raw | diff to current
2003-11-27  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2003-10-21  Arnaud Charlet3psoccon.ads, [...]: Files added. blob | commitdiff | raw | diff to current
2003-04-24  Geert Bosch1aexcept.adb, [...]: Merge header, formatting and other... blob | commitdiff | raw | diff to current
2002-10-23  Nathanael NerodeNathanael Nerode <neroden@gcc.gnu.org> PR ada/6919... blob | commitdiff | raw | diff to current
2002-03-14  Geoffrey KeatingDelete all lines containing "$Revision:". blob | commitdiff | raw | diff to current
2002-03-08  Geert Bosch41intnam.ads, [...]: Merge in ACT changes. blob | commitdiff | raw | diff to current
2001-10-02  Richard KennerNew Language: Ada blob | commitdiff | raw | diff to current
Mirror of https://gcc.gnu.org/git/gcc.git