Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-10-17 | sem_aux.ads, [...] (Is_Immutably_Limited_Type): Make predicate compatible wit... | Ed Schonberg | 1 | -5/+5 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -17/+23 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
2013-10-14 | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 1 | -18/+45 |
2013-10-13 | gnat_rm.texi: Add documentation for pragmas Pre[_Class] Post[_Class]. | Robert Dewar | 1 | -1/+0 |
2013-10-13 | einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents. | Hristian Kirtchev | 1 | -4/+39 |
2013-10-10 | sem_aggr.adb (Resolve_Array_Aggregate): Identify duplicated cases. | Robert Dewar | 1 | -3/+3 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -889/+36 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -43/+85 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -9/+7 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -8/+23 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -7/+6 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -9/+12 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -29/+52 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -468/+5 |
2013-04-25 | sem_prag.adb: Minor code reorganization (correct misspelling Restiction). | Robert Dewar | 1 | -4/+3 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -8/+102 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -11/+32 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -217/+152 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -8/+17 |
2013-04-24 | 2013-04-24 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -2/+29 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -2/+2 |
2013-04-24 | exp_ch6.adb: Remove with and use clause for Sem_Prag. | Hristian Kirtchev | 1 | -340/+283 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -25/+25 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -11/+6 |
2013-04-23 | [multiple changes] | Arnaud Charlet | 1 | -5/+2 |
2013-04-22 | exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as null statement i... | Yannick Moy | 1 | -0/+7 |
2013-04-22 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2013-04-22 | sem_prag.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -9/+5 |
2013-04-22 | par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_C... | Yannick Moy | 1 | -108/+10 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -22/+14 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -7/+19 |
2013-04-12 | aspects.adb: Alphabetize subprogram bodies in this unit. | Hristian Kirtchev | 1 | -16/+17 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -35/+42 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2013-04-11 | sem_ch6.adb (Analyze_Null_Procedure): New subprogram... | Ed Schonberg | 1 | -76/+155 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -137/+105 |