| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -9/+26 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -36/+5 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -9/+9 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -8/+19 |
| 2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
| 2011-08-02 | sem_ch3.adb, [...]: Protect call to Current_Subprogram which might be costly ... | Yannick Moy | 1 | -8/+8 |
| 2011-08-02 | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting ... | Yannick Moy | 1 | -2/+10 |
| 2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -17/+16 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+27 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -8/+12 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+8 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
| 2011-08-02 | sem_ch5.adb (Pre_Analyze_Range): new procedure extracted from Process_Bounds... | Ed Schonberg | 1 | -70/+145 |
| 2011-08-02 | sem_ch5.adb (Analyze_Iteration_Scheme): Fix typo. | Javier Miranda | 1 | -1/+1 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+17 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-02 | par-ch6.adb: Correct obsolete name in comments | Yannick Moy | 1 | -1/+6 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -156/+205 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
| 2011-08-02 | errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues... | Yannick Moy | 1 | -48/+33 |
| 2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2011-08-01 | err_vars.ads (Error_Msg_Lang, [...]): new variables for insertion character ~~ | Yannick Moy | 1 | -17/+17 |
| 2011-08-01 | sem_ch3.adb, [...]: Minor reformatting | Robert Dewar | 1 | -5/+7 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
| 2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -4/+82 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
| 2010-10-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
| 2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -5/+21 |
| 2010-10-22 | sem_case.adb, [...] (Bad_Predicated_Subtype_Use): Change order of parameters. | Robert Dewar | 1 | -167/+169 |
| 2010-10-22 | a-except-2005.adb (Rmsg_18): New message text. | Robert Dewar | 1 | -8/+1 |
| 2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -6/+3 |
| 2010-10-22 | exp_ch5.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -9/+8 |
| 2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -26/+28 |
| 2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+99 |
| 2010-10-21 | a-cgaaso.ads, [...]: Minor reformatting | Robert Dewar | 1 | -1/+1 |
| 2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -6/+0 |
| 2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2010-10-11 | par-ch9.adb, [...]: Use Ada_2005 instead of Ada_05 (Ada_Version_Type). | Bob Duff | 1 | -3/+3 |
| 2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -10/+0 |
| 2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
