checks.adb, [...]: Minor reformatting.
[gcc.git] / gcc / ada / checks.ads
2012-10-05 Robert Dewarchecks.adb, [...]: Minor reformatting.
2012-10-05 Arnaud Charlet[multiple changes]
2012-10-02 Arnaud Charlet[multiple changes]
2012-10-02 Robert Dewarpar_sco.adb, [...]: Change name Conditional_Expression...
2012-10-02 Robert Dewarchecks.adb (Apply_Arithmetic_Overflow_Checked_Suppresse...
2012-10-02 Arnaud Charlet[multiple changes]
2012-10-02 Arnaud Charlet[multiple changes]
2012-10-01 Arnaud Charlet[multiple changes]
2012-10-01 Arnaud Charlet[multiple changes]
2012-10-01 Arnaud Charlet[multiple changes]
2012-10-01 Arnaud Charlet[multiple changes]
2012-10-01 Arnaud Charlet[multiple changes]
2011-10-24 Arnaud Charlet[multiple changes]
2010-12-20 Ralf WildenhuesFix typos in gcc/ada.
2010-10-21 Robert Dewareinfo.ads, einfo.adb: Add handling of predicates.
2009-04-20 Arnaud Charlet[multiple changes]
2009-04-17 Arnaud Charlet[multiple changes]
2009-04-08 Arnaud Charlet[multiple changes]
2009-04-07 Robert Dewarchecks.adb (Determine_Range): Add Assume_Valid parameter
2008-08-05 Bob Duffchecks.ads: Minor comment fix
2008-07-31 Gary Dismukeschecks.ads (Apply_Accessibility_Check): Add parameter...
2008-04-08 Javier Mirandaa-tags.adb (Register_Interface_Offset): New subprogram.
2007-09-10 Robert Dewarexp_atag.ads, [...]: Replace headers with GPL v3 headers.
2007-08-14 Robert Dewarinline.adb, [...]: Suppress unmodified in-out parameter...
2007-06-06 Javier Mirandachecks.ads, checks.adb (Apply_Address_Clause_Check...
2007-04-06 Thomas Quinotchecks.ads, checks.adb (Selected_Range_Checks): No...
2006-10-31 Robert Dewartreepr.adb: Use new subtype N_Membership_Test
2005-11-15 Robert Dewara-secain.adb, [...]: Minor reformatting
2005-09-05 Arnaud CharletMinor reformatting.
2005-07-01 R. Kelley CookUpdate FSF address
2004-06-07 Arnaud Charlet[multiple changes]
2004-03-29 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-28 Matthew Gingell* checks.ads:
2002-03-14 Geoffrey KeatingDelete all lines containing "$Revision:".
2001-12-12 Geert Boschs-stalib.adb: Add more comments on with statements...
2001-10-02 Richard KennerNew Language: Ada