| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2011-08-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
| 2011-08-05 | exp_ch7.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
| 2011-08-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
| 2011-08-04 | gnat_rm.texi: Document new pragma and aspect. | Yannick Moy | 1 | -6/+11 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+16 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -48/+4 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+22 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
| 2011-08-03 | sem_ch11.adb (Analyze_Raise_xxx_Error): do not mark such nodes as not in ALFA. | Yannick Moy | 1 | -6/+5 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
| 2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -16/+15 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
| 2011-08-03 | sem_aggr.adb, [...]: Minor reformatting | Robert Dewar | 1 | -4/+4 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -2/+13 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -3/+6 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-02 | sem_ch3.adb, [...]: Protect call to Current_Subprogram which might be costly ... | Yannick Moy | 1 | -2/+2 |
| 2011-08-02 | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting ... | Yannick Moy | 1 | -0/+23 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
| 2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -18/+17 |
| 2011-08-02 | cstand.adb (Create_Standard): sets Is_In_ALFA component of standard types. | Yannick Moy | 1 | -2/+24 |
| 2011-08-02 | sem_ch6 (Analyze_Expression_Function): treat the function as Inline_Always... | Ed Schonberg | 1 | -3/+36 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -6/+13 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
| 2011-08-02 | sem_ch6.adb (New_Overloaded_Entity, [...]): Do not set Overridden_Operation i... | Ed Schonberg | 1 | -2/+7 |
| 2011-08-02 | par-ch6.adb: Correct obsolete name in comments | Yannick Moy | 1 | -5/+5 |
| 2011-08-02 | Minor reformatting. | Arnaud Charlet | 1 | -8/+5 |
| 2011-08-02 | errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues... | Yannick Moy | 1 | -76/+50 |
| 2011-08-02 | sem_ch12.adb, [...]: New calling sequence for Analyze_Aspect_Specifications | Robert Dewar | 1 | -3/+8 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -8/+0 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -48/+67 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -186/+186 |
| 2011-08-01 | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 1 | -2/+1 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -18/+10 |
| 2011-08-01 | err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ | Yannick Moy | 1 | -23/+32 |
| 2011-08-01 | sem_ch3.adb, [...]: Minor reformatting | Robert Dewar | 1 | -12/+16 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+44 |
| 2011-08-01 | par-endh.adb (Check_End): issue a syntax error in SPARK mode for missing labe... | Yannick Moy | 1 | -0/+27 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+35 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -3/+8 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+55 |
