| Commit message (Expand) | Author | Age | Files | Lines |
* | [multiple changes] | Arnaud Charlet | 2011-10-24 | 1 | -0/+5 |
* | usage.adb, [...]: Disable by default warnings on suspicious contracts, and en... | Yannick Moy | 2011-09-02 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-09-02 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-05 | 1 | -2/+3 |
* | aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate. | Robert Dewar | 2011-08-01 | 1 | -8/+8 |
* | [multiple changes] | Arnaud Charlet | 2010-10-26 | 1 | -0/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-10-25 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2010-10-19 | 1 | -0/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-10-19 | 1 | -4/+2 |
* | [multiple changes] | Arnaud Charlet | 2010-10-12 | 1 | -0/+4 |
* | [multiple changes] | Arnaud Charlet | 2010-10-12 | 1 | -1/+1 |
* | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type). | Bob Duff | 2010-10-11 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2010-09-10 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2010-09-10 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2010-09-09 | 1 | -1/+2 |
* | [multiple changes] | Arnaud Charlet | 2010-09-09 | 1 | -0/+1 |
* | [multiple changes] | Arnaud Charlet | 2010-06-23 | 1 | -2/+12 |
* | [multiple changes] | Arnaud Charlet | 2010-06-16 | 1 | -0/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-06-14 | 1 | -26/+26 |
* | [multiple changes] | Arnaud Charlet | 2010-01-26 | 1 | -3/+8 |
* | [multiple changes] | Arnaud Charlet | 2009-11-30 | 1 | -5/+8 |
* | scans.ads (Wide_Wide_Character_Found): New flag | Robert Dewar | 2009-11-30 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2009-11-30 | 1 | -4/+4 |
* | [multiple changes] | Arnaud Charlet | 2009-10-30 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2009-07-28 | 1 | -2/+2 |
* | sem_res.adb (Check_No_Direct_Boolean_Operators): Add check for -gnatyB | Robert Dewar | 2009-07-22 | 1 | -0/+1 |
* | debug.adb: Add -gnatd.O to output SCO table | Robert Dewar | 2009-07-15 | 1 | -0/+5 |
* | [multiple changes] | Arnaud Charlet | 2009-07-13 | 1 | -0/+5 |
* | [multiple changes] | Arnaud Charlet | 2009-07-13 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2009-04-20 | 1 | -0/+3 |
* | binderr.adb, [...]: New circuitry for handling Maximum_Messages. | Robert Dewar | 2009-04-09 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2009-04-08 | 1 | -0/+1 |
* | [multiple changes] | Arnaud Charlet | 2009-04-07 | 1 | -1/+1 |
* | gnat_ugn.texi: Document -gnatDnn/-gnatGnn | Robert Dewar | 2009-04-07 | 1 | -3/+7 |
* | checks.adb (Determine_Range): Deal with values that might be invalid | Arnaud Charlet | 2008-08-22 | 1 | -0/+5 |
* | usage.adb: Minor change to avoid overlong line for -gnatwz/Z | Robert Dewar | 2008-08-20 | 1 | -4/+4 |
* | opt.ads (Warn_On_Biased_Representation): New flag | Arnaud Charlet | 2008-08-05 | 1 | -7/+9 |
* | usage.adb (Usage): Minor rewording of -gnatwz switch, to improve gnatcheck su... | Arnaud Charlet | 2008-08-04 | 1 | -4/+9 |
* | opt.ads (Treat_Restrictions_As_Warnings): New switch | Robert Dewar | 2008-05-20 | 1 | -0/+5 |
* | vms_conv.adb (Output_Version): Print "GNAAMP" instead of "GNAT when AAMP_On_T... | Vincent Celier | 2008-04-08 | 1 | -3/+16 |
* | gnat_ugn.texi: Add documentation for -gnatw.w/-gnatw.W Add description for th... | Robert Dewar | 2008-03-26 | 1 | -2/+4 |
* | exp_prag.adb (Expand_Pragma_Assert): Recognize new warning flag for assert fail | Robert Dewar | 2007-12-13 | 1 | -2/+4 |
* | s-taprop-solaris.adb, [...]: Minor reformatting. | Robert Dewar | 2007-10-15 | 1 | -1/+5 |
* | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 2007-09-10 | 1 | -4/+3 |
* | opt.ads: Warning for non-local exception propagation now off by default New s... | Robert Dewar | 2007-08-14 | 1 | -5/+11 |
* | sem_ch13.adb (Analyze_Attribute_Definition_Clause, [...]): Check for restrict... | Robert Dewar | 2007-06-06 | 1 | -10/+22 |
* | sem_ch13.ads, [...] (Adjust_Record_For_Reverse_Bit_Order): Use First/Next_Com... | Robert Dewar | 2007-04-06 | 1 | -5/+8 |
* | debug.adb: Update flags documentation | Robert Dewar | 2006-10-31 | 1 | -2/+25 |