| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -1/+6 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -108/+81 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -3/+17 |
| * | aspects.adb, [...]: Remove all entries for Refined_Pre from the various tables. | Hristian Kirtchev | 2013-10-17 | 1 | -31/+16 |
| * | exp_util.adb, [...] (Entity_Of): Moved to Sem_Util. | Hristian Kirtchev | 2013-10-17 | 1 | -8/+9 |
| * | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 2013-10-17 | 1 | -1/+1 |
| * | sem_ch13.adb (Analyze_Aspect_Specifications): Flag aspect Refined_Pre as not ... | Hristian Kirtchev | 2013-10-17 | 1 | -3/+3 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -43/+53 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -0/+8 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -5/+59 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-17 | 1 | -12/+19 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-15 | 1 | -1/+1 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-15 | 1 | -0/+14 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-15 | 1 | -4/+1 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-15 | 1 | -2/+2 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -3/+2 |
| * | sem_prag.adb (Is_Matching_Input): Consume a matching null input. | Hristian Kirtchev | 2013-10-14 | 1 | -1/+7 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -1/+1 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -71/+105 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -48/+311 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -0/+8 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -0/+28 |
| * | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 2013-10-14 | 1 | -30/+30 |
| * | sem_prag.adb (Analyze_Depends_In_Decl_Part): Rename Outputs_Seen to All_Outpu... | Hristian Kirtchev | 2013-10-14 | 1 | -17/+47 |
| * | einfo.adb: Flag 263 is now known as Has_Visible_Refinement. | Hristian Kirtchev | 2013-10-14 | 1 | -31/+36 |
| * | sem_prag.adb (Check_Mode): Do not emit an error when inspecting a self refere... | Hristian Kirtchev | 2013-10-14 | 1 | -0/+9 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -5/+13 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -7/+7 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -4/+4 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -532/+1439 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -28/+51 |
| * | sem_prag.adb (Analyze_Global_In_Decl_Part): Remove local variable Contract_Seen. | Hristian Kirtchev | 2013-10-14 | 1 | -10/+10 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -9/+42 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -5/+8 |
| * | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 2013-10-14 | 1 | -28/+589 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-13 | 1 | -10/+79 |
| * | gnat_rm.texi: Add documentation for pragmas Pre[_Class] Post[_Class]. | Robert Dewar | 2013-10-13 | 1 | -80/+188 |
| * | einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents. | Hristian Kirtchev | 2013-10-13 | 1 | -56/+971 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -1/+6 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -29/+569 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -244/+241 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -2/+4 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -79/+105 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -119/+297 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -1/+3 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -5/+16 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -3/+134 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -5/+5 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-10 | 1 | -3/+6 |
| * | [multiple changes] | Arnaud Charlet | 2013-09-10 | 1 | -4/+9 |
 |
index : delta/gcc.git | |
| gcc.gnu.org: git/gcc.git |
| summaryrefslogtreecommitdiff |