Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+6 |
2015-11-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-11-12 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Remove the guard c... | Hristian Kirtchev | 1 | -3/+3 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2015-10-27 | inline.adb (Is_Expression_Function): Removed. | Hristian Kirtchev | 1 | -3/+4 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+9 |
2015-10-26 | contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b... | Hristian Kirtchev | 1 | -0/+7 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -15/+18 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -31/+27 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2015-10-20 | fmap.adb, [...]: Fix coding style for marking start of processing of subprogr... | Yannick Moy | 1 | -1/+1 |
2015-10-20 | s-valllu.adb, [...]: Fix typos. | Arnaud Charlet | 1 | -3/+3 |
2015-10-20 | sem_aggr.adb, [...]: Fix typos. | Arnaud Charlet | 1 | -22/+22 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+42 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-10-20 | 2015-10-20 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -29/+61 |
2015-10-16 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore... | Hristian Kirtchev | 1 | -0/+22 |
2015-05-28 | sem_util.adb (Wrong_Type): In any instance... | Ed Schonberg | 1 | -9/+11 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -10/+4 |
2015-05-25 | einfo.ads, einfo.adb (Has_Out_Or_In_Out_Parameter): This attribute is now pre... | Javier Miranda | 1 | -5/+0 |
2015-05-22 | sem_res.adb (Resolve_Actuals): If the call is to an overridden operation... | Ed Schonberg | 1 | -4/+40 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -16/+7 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+27 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -7/+15 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2015-02-05 | 015-02-05 Robert Dewar <dewar@adacore.com> | Arnaud Charlet | 1 | -1/+4 |
2015-01-30 | sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity or a function... | Ed Schonberg | 1 | -10/+40 |
2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -8/+3 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -191/+1 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -5/+13 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -12/+84 |
2015-01-06 | ali-util.adb, [...]: Minor change of name Name_Table_Info => Name_Table_Int. | Robert Dewar | 1 | -6/+6 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -13/+15 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -19/+7 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -37/+72 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |