Age | Commit message (Expand) | Author | Files | Lines |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2012-12-05 | gnat_rm.texi: Update overflow description. | Robert Dewar | 1 | -1/+1 |
2012-11-06 | checks.ads, [...]: Minor changes throughout for new overflow checking. | Robert Dewar | 1 | -22/+23 |
2012-10-05 | checks.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2012-10-05 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-10-02 | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 1 | -1/+1 |
2012-10-02 | checks.adb (Apply_Arithmetic_Overflow_Checked_Suppressed): New name for Apply... | Robert Dewar | 1 | -7/+8 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+14 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -9/+114 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -13/+3 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -12/+12 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+16 |
2011-10-24 | [multiple changes] | Arnaud Charlet | 1 | -14/+15 |
2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -1/+1 |
2010-10-21 | einfo.ads, einfo.adb: Add handling of predicates. | Robert Dewar | 1 | -5/+10 |
2009-04-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2009-04-17 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2009-04-08 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2009-04-07 | checks.adb (Determine_Range): Add Assume_Valid parameter | Robert Dewar | 1 | -5/+9 |
2008-08-05 | checks.ads: Minor comment fix | Bob Duff | 1 | -1/+1 |
2008-07-31 | checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node. | Gary Dismukes | 1 | -1/+5 |
2008-04-08 | a-tags.adb (Register_Interface_Offset): New subprogram. | Javier Miranda | 1 | -2/+2 |
2007-09-10 | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 1 | -4/+3 |
2007-08-14 | inline.adb, [...]: Suppress unmodified in-out parameter warning in some cases... | Robert Dewar | 1 | -18/+42 |
2007-06-06 | checks.ads, checks.adb (Apply_Address_Clause_Check): Handle case in which the... | Javier Miranda | 1 | -6/+27 |
2007-04-06 | checks.ads, checks.adb (Selected_Range_Checks): No range check is required fo... | Thomas Quinot | 1 | -1/+7 |
2006-10-31 | treepr.adb: Use new subtype N_Membership_Test | Robert Dewar | 1 | -14/+21 |
2005-11-15 | a-secain.adb, [...]: Minor reformatting | Robert Dewar | 1 | -2/+2 |
2005-09-05 | Minor reformatting. | Arnaud Charlet | 1 | -108/+109 |
2005-07-01 | Update FSF address | R. Kelley Cook | 1 | -2/+2 |
2004-06-07 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2004-03-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2003-10-21 | 3psoccon.ads, [...]: Files added. | Arnaud Charlet | 1 | -23/+132 |
2003-04-24 | 1aexcept.adb, [...]: Merge header, formatting and other trivial changes from ... | Geert Bosch | 1 | -1/+0 |
2002-10-23 | Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for... | Nathanael Nerode | 1 | -1/+1 |
2002-03-28 | * checks.ads: | Matthew Gingell | 1 | -0/+5 |
2002-03-14 | Delete all lines containing "$Revision:". | Geoffrey Keating | 1 | -1/+0 |
2001-12-12 | s-stalib.adb: Add more comments on with statements being needed | Geert Bosch | 1 | -1/+8 |
2001-10-02 | New Language: Ada | Richard Kenner | 1 | -0/+526 |