Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix typos in gcc/ada. | Ralf Wildenhues | 2010-12-20 | 1 | -5/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-10-26 | 1 | -7/+3 |
* | checks.adb (Apply_Predicate_Check): Remove attempt at optimization when subty... | Robert Dewar | 2010-10-22 | 1 | -5/+18 |
* | [multiple changes] | Arnaud Charlet | 2010-10-22 | 1 | -3/+3 |
* | einfo.ads, einfo.adb: Add handling of predicates. | Robert Dewar | 2010-10-21 | 1 | -22/+0 |
* | einfo.ads, einfo.adb: Add handling of predicates. | Robert Dewar | 2010-10-21 | 1 | -0/+22 |
* | [multiple changes] | Arnaud Charlet | 2010-10-18 | 1 | -0/+22 |
* | [multiple changes] | Arnaud Charlet | 2010-10-18 | 1 | -1/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -63/+88 |
* | exp_ch6.adb, freeze.adb: Minor reformatting. | Robert Dewar | 2010-10-11 | 1 | -11/+6 |
* | [multiple changes] | Arnaud Charlet | 2010-10-11 | 1 | -1/+5 |
* | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type). | Bob Duff | 2010-10-11 | 1 | -3/+3 |
* | [multiple changes] | Arnaud Charlet | 2010-10-08 | 1 | -12/+123 |
* | [multiple changes] | Arnaud Charlet | 2010-10-07 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2010-09-10 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2010-08-10 | 1 | -3/+9 |
* | [multiple changes] | Arnaud Charlet | 2010-08-05 | 1 | -36/+1 |
* | [multiple changes] | Arnaud Charlet | 2010-06-23 | 1 | -1/+30 |
* | [multiple changes] | Arnaud Charlet | 2010-06-23 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2010-06-22 | 1 | -62/+43 |
* | [multiple changes] | Arnaud Charlet | 2010-06-22 | 1 | -1/+12 |
* | s-rannum.adb, [...]: Minor reformatting. | Robert Dewar | 2010-06-22 | 1 | -4/+4 |
* | [multiple changes] | Arnaud Charlet | 2010-06-18 | 1 | -13/+24 |
* | [multiple changes] | Arnaud Charlet | 2010-06-18 | 1 | -7/+42 |
* | par-ch9.adb, [...]: Update comments. | Arnaud Charlet | 2010-06-18 | 1 | -10/+9 |
* | [multiple changes] | Arnaud Charlet | 2010-06-17 | 1 | -1/+1 |
* | 2010-06-17 Joel Brobecker <brobecker@adacore.com brobecker> | Arnaud Charlet | 2010-06-17 | 1 | -0/+20 |
* | [multiple changes] | Arnaud Charlet | 2010-06-17 | 1 | -6/+2 |
* | sem_intr.adb, [...]: Minor reformatting. | Robert Dewar | 2010-06-17 | 1 | -125/+19 |
* | [multiple changes] | Arnaud Charlet | 2010-06-17 | 1 | -2/+4 |
* | [multiple changes] | Arnaud Charlet | 2010-06-14 | 1 | -3/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-01-26 | 1 | -6/+15 |
* | exp_util.adb (Make_CW_Equivalent_Type): Set the Is_Class_Wide_Equivalent_Type... | Eric Botcazou | 2009-12-03 | 1 | -8/+15 |
* | [multiple changes] | Arnaud Charlet | 2009-11-30 | 1 | -0/+5 |
* | [multiple changes] | Arnaud Charlet | 2009-11-30 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2009-11-30 | 1 | -7/+21 |
* | exp_util.adb (Make_CW_Equivalent_Type): Do not mark the type as frozen for ta... | Eric Botcazou | 2009-11-24 | 1 | -4/+1 |
* | [multiple changes] | Arnaud Charlet | 2009-09-16 | 1 | -4/+7 |
* | [multiple changes] | Arnaud Charlet | 2009-07-23 | 1 | -1/+24 |
* | freeze.adb (Set_Small_Size): Remove extra space for consistency with other si... | Arnaud Charlet | 2009-07-23 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2009-07-22 | 1 | -1/+3 |
* | [multiple changes] | Arnaud Charlet | 2009-07-22 | 1 | -9/+6 |
* | [multiple changes] | Arnaud Charlet | 2009-07-22 | 1 | -1/+17 |
* | [multiple changes] | Arnaud Charlet | 2009-07-22 | 1 | -2/+6 |
* | [multiple changes] | Arnaud Charlet | 2009-07-13 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2009-07-13 | 1 | -1/+3 |
* | freeze.adb (Check_Suspicious_Modulus): New procedure. | Robert Dewar | 2009-07-13 | 1 | -0/+79 |
* | [multiple changes] | Arnaud Charlet | 2009-07-13 | 1 | -6/+6 |
* | [multiple changes] | Arnaud Charlet | 2009-07-13 | 1 | -12/+7 |
* | [multiple changes] | Arnaud Charlet | 2009-07-11 | 1 | -7/+24 |