Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-06-06 | exp_ch9.adb (Expand_N_Protected_Type_Declaration): Insert the declaration of ... | Eric Botcazou | 1 | -21/+21 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+6 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+12 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -22/+25 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -6/+13 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2016-04-21 | a-tasatt.adb, [...] (Fast_Path): Rewritten to avoid reading potentially unini... | Arnaud Charlet | 1 | -2/+2 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -5/+12 |
2016-04-21 | sem_ch3.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -2/+3 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+18 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -11/+20 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-04-18 | sem_ch3.adb (Analyze_Object_Declaration): Do not consider internally generate... | Hristian Kirtchev | 1 | -2/+6 |
2016-04-18 | contracts.adb (Analyze_Object_Contract): Update references to SPARK RM. | Hristian Kirtchev | 1 | -10/+2 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
2015-11-24 | sem_ch3.adb, [...]: Minor reformatting, rewording, and typo corrections. | Gary Dismukes | 1 | -3/+3 |
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -47/+3 |
2015-11-18 | sem_ch4.adb: Minor reformatting. | Hristian Kirtchev | 1 | -1/+20 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+13 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -9/+26 |
2015-10-26 | sem_ch3.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -7/+6 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-26 | s-rident.ads (No_Dynamic_Sized_Objects): New restriction name. | Bob Duff | 1 | -0/+25 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+10 |
2015-10-26 | 2015-10-26 Joel Brobecker <brobecker@adacore.com brobecker> | Arnaud Charlet | 1 | -1/+17 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -268/+63 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -27/+29 |
2015-10-20 | s-valllu.adb, [...]: Fix typos. | Arnaud Charlet | 1 | -3/+3 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+9 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2015-10-20 | 2015-10-20 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -15/+12 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+23 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-20 | sem_ch3.adb (Check_Nonoverridable_Aspects): New procedure within Analyze_Full... | Ed Schonberg | 1 | -13/+120 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-16 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2015-10-16 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |