Age | Commit message (Expand) | Author | Files | Lines |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2011-08-02 | sem_ch3.adb, [...]: Protect call to Current_Subprogram which might be costly ... | Yannick Moy | 1 | -4/+4 |
2011-08-02 | sem_res.adb: Protect calls to Matching_Static_Array_Bounds which might be cos... | Yannick Moy | 1 | -4/+20 |
2011-08-02 | sem_aggr.adb (Resolve_Array_Aggregate): when copying the expression in an ass... | Ed Schonberg | 1 | -2/+3 |
2011-08-02 | einfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get/set for new flag denoting ... | Yannick Moy | 1 | -14/+25 |
2011-08-02 | sem_aggr.adb, [...]: cleanup of SPARK mode | Yannick Moy | 1 | -33/+33 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+39 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -16/+17 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -13/+21 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+6 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2011-08-02 | par-ch6.adb: Correct obsolete name in comments | Yannick Moy | 1 | -16/+70 |
2011-08-02 | exp_util.adb (Safe_Prefixed_Reference): Do not consider safe an in-mode param... | Javier Miranda | 1 | -2/+2 |
2011-08-02 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -0/+1 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -30/+64 |
2011-08-02 | sem_res.adb: Minor reformatting. | Robert Dewar | 1 | -178/+174 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -69/+73 |
2011-08-02 | Minor reformatting. | Arnaud Charlet | 1 | -2/+2 |
2011-08-02 | errout.adb, errout.ads (Check_Formal_Restriction): new procedure which issues... | Yannick Moy | 1 | -56/+44 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2011-08-02 | sem_ch8.adb: Minor code reorganization, comment updates. | Robert Dewar | 1 | -76/+13 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -41/+162 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+51 |
2011-08-01 | sem_util.ads, [...] (Last_Source_Statement): Replaces Last_Source_Node_In_Seq... | Robert Dewar | 1 | -0/+33 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2010-12-20 | Fix typos in gcc/ada. | Ralf Wildenhues | 1 | -2/+2 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2010-10-26 | sem_res.adb, xsinfo.adb: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+6 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -20/+32 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -6/+0 |
2010-10-25 | [multiple changes] | Arnaud Charlet | 1 | -8/+15 |
2010-10-22 | sem_case.adb, [...] (Bad_Predicated_Subtype_Use): Change order of parameters. | Robert Dewar | 1 | -1/+1 |
2010-10-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2010-10-21 | sem_res.adb, [...]: Minor reformatting. | Thomas Quinot | 1 | -2/+2 |
2010-10-21 | einfo.ads, einfo.adb: Add handling of predicates. | Robert Dewar | 1 | -0/+13 |
2010-10-21 | a-cgaaso.ads, [...]: Minor reformatting | Robert Dewar | 1 | -1/+1 |
2010-10-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -4/+16 |
2010-10-19 | [multiple changes] | Arnaud Charlet | 1 | -27/+27 |
2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -7/+8 |
2010-10-18 | einfo.ads, einfo.adb: New attribute PPC_Wrapper for entries and entry families. | Ed Schonberg | 1 | -0/+23 |
2010-10-11 | [multiple changes] | Arnaud Charlet | 1 | -8/+18 |