Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -0/+42 |
* | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -0/+1 |
* | exp_attr.adb (Expand_N_Attribute_Reference): Add error entry for Library_Leve... | Robert Dewar | 2013-10-14 | 1 | -1/+1 |
* | einfo.ads, einfo.adb (Default_Aspect_Component_Value): Is on base type only. | Robert Dewar | 2013-10-14 | 1 | -1/+1 |
* | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 2013-10-14 | 1 | -9/+26 |
* | Minor reformatting. | Arnaud Charlet | 2013-10-10 | 1 | -5/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -0/+8 |
* | freeze.adb: Minor reformatting. | Robert Dewar | 2013-10-10 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -2/+31 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -9/+9 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -3/+23 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -4/+21 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -0/+12 |
* | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -3/+10 |
* | switch-c.adb: Minor reformatting. | Robert Dewar | 2013-09-10 | 1 | -0/+53 |
* | [multiple changes] | Arnaud Charlet | 2013-09-10 | 1 | -3/+3 |
* | [multiple changes] | Arnaud Charlet | 2013-09-10 | 1 | -14/+30 |
* | [multiple changes] | Arnaud Charlet | 2013-09-10 | 1 | -1/+1 |
* | exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set. | Robert Dewar | 2013-09-10 | 1 | -0/+19 |
* | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 2013-09-10 | 1 | -5/+4 |
* | [multiple changes] | Arnaud Charlet | 2013-09-10 | 1 | -0/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-07-08 | 1 | -3/+3 |
* | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 2013-07-05 | 1 | -0/+4 |
* | [multiple changes] | Arnaud Charlet | 2013-07-05 | 1 | -1/+2 |
* | [multiple changes] | Arnaud Charlet | 2013-04-25 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2013-04-25 | 1 | -4/+4 |
* | [multiple changes] | Arnaud Charlet | 2013-04-24 | 1 | -4/+4 |
* | [multiple changes] | Arnaud Charlet | 2013-04-23 | 1 | -36/+44 |
* | sinfo.ads, [...]: Minor reformatting and code clean up. | Robert Dewar | 2013-04-23 | 1 | -0/+3 |
* | [multiple changes] | Arnaud Charlet | 2013-04-23 | 1 | -4/+7 |
* | [multiple changes] | Arnaud Charlet | 2013-04-22 | 1 | -4/+4 |
* | par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_C... | Yannick Moy | 2013-04-22 | 1 | -3/+3 |
* | [multiple changes] | Arnaud Charlet | 2013-04-12 | 1 | -24/+87 |
* | aspects.adb: Alphabetize subprogram bodies in this unit. | Hristian Kirtchev | 2013-04-12 | 1 | -6/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -1/+5 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -1/+4 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -0/+15 |
* | exp_ch11.ads, [...] (Expand_N_Raise_Expression): New procedure. | Robert Dewar | 2013-04-11 | 1 | -2/+24 |
* | [multiple changes] | Arnaud Charlet | 2013-01-29 | 1 | -0/+14 |
* | [multiple changes] | Arnaud Charlet | 2013-01-04 | 1 | -9/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-01-04 | 1 | -11/+9 |
* | [multiple changes] | Arnaud Charlet | 2013-01-03 | 1 | -1/+9 |
* | [multiple changes] | Arnaud Charlet | 2012-12-05 | 1 | -8/+16 |
* | [multiple changes] | Arnaud Charlet | 2012-10-04 | 1 | -11/+0 |
* | sinfo.adb, [...]: Get rid of internal use of N_Return_Statement. | Robert Dewar | 2012-10-02 | 1 | -18/+9 |
* | [multiple changes] | Arnaud Charlet | 2012-10-02 | 1 | -6/+0 |
* | par_sco.adb, [...]: Change name Conditional_Expression to If_Expression. | Robert Dewar | 2012-10-02 | 1 | -32/+21 |
* | checks.adb (Apply_Arithmetic_Overflow_Checked_Suppressed): New name for Apply... | Robert Dewar | 2012-10-02 | 1 | -93/+92 |
* | checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated): Handle case of a... | Robert Dewar | 2012-10-01 | 1 | -0/+15 |
* | [multiple changes] | Arnaud Charlet | 2012-10-01 | 1 | -10/+0 |