Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [multiple changes] | Arnaud Charlet | 2011-11-23 | 1 | -102/+196 |
* | Minor reformatting. | Arnaud Charlet | 2011-11-04 | 1 | -2/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-11-04 | 1 | -6/+21 |
* | [multiple changes] | Arnaud Charlet | 2011-10-06 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-09-27 | 1 | -2/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-09-19 | 1 | -3/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-09-06 | 1 | -0/+15 |
* | [multiple changes] | Arnaud Charlet | 2011-09-05 | 1 | -0/+54 |
* | [multiple changes] | Arnaud Charlet | 2011-09-05 | 1 | -0/+4 |
* | [multiple changes] | Arnaud Charlet | 2011-09-05 | 1 | -4/+6 |
* | [multiple changes] | Arnaud Charlet | 2011-09-05 | 1 | -1/+6 |
* | [multiple changes] | Arnaud Charlet | 2011-09-02 | 1 | -3/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-09-02 | 1 | -3/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -1/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -6/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -2/+28 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -1/+1 |
* | s-taprop-vxworks.adb, [...]: Minor reformatting. | Robert Dewar | 2011-08-31 | 1 | -6/+4 |
* | [multiple changes] | Arnaud Charlet | 2011-08-30 | 1 | -9/+5 |
* | exp_ch5.adb, [...]: Minor reformatting | Robert Dewar | 2011-08-30 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-30 | 1 | -0/+8 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -28/+24 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -32/+7 |
* | [multiple changes] | Arnaud Charlet | 2011-08-29 | 1 | -32/+119 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -9/+26 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -36/+5 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -9/+9 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -2/+3 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -8/+19 |
* | [multiple changes] | Arnaud Charlet | 2011-08-04 | 1 | -0/+11 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -8/+8 |
* | sem_ch3.adb, [...]: Protect call to Current_Subprogram which might be costly ... | Yannick Moy | 2011-08-02 | 1 | -8/+8 |
* | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting ... | Yannick Moy | 2011-08-02 | 1 | -2/+10 |
* | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 2011-08-02 | 1 | -17/+16 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -1/+27 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -8/+12 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -4/+8 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -6/+6 |
* | sem_ch5.adb (Pre_Analyze_Range): new procedure extracted from Process_Bounds... | Ed Schonberg | 2011-08-02 | 1 | -70/+145 |
* | sem_ch5.adb (Analyze_Iteration_Scheme): Fix typo. | Javier Miranda | 2011-08-02 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -1/+17 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -2/+2 |
* | par-ch6.adb: Correct obsolete name in comments | Yannick Moy | 2011-08-02 | 1 | -1/+6 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -156/+205 |
* | [multiple changes] | Arnaud Charlet | 2011-08-02 | 1 | -2/+4 |
* | errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues... | Yannick Moy | 2011-08-02 | 1 | -48/+33 |