Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -5/+21 |
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -10/+10 |
2015-11-12 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Remove the guard c... | Hristian Kirtchev | 1 | -17/+17 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -64/+101 |
2015-10-26 | einfo.ads, [...] (Needs_Typedef, [...]): Removed, no longer used. | Arnaud Charlet | 1 | -14/+1 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -19/+47 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -43/+88 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+20 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -16/+13 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+28 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+14 |
2015-10-20 | 2015-10-20 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -1/+2 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -20/+30 |
2015-10-16 | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 1 | -12/+0 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+21 |
2015-05-25 | einfo.ads, einfo.adb (Has_Out_Or_In_Out_Parameter): This attribute is now pre... | Javier Miranda | 1 | -2/+6 |
2015-05-22 | einfo.ads (Has_Volatile_Full_Access): Rename into... | Eric Botcazou | 1 | -13/+13 |
2015-05-22 | exp_ch5.adb, [...]: This is a general change that deals with the fact that mo... | Robert Dewar | 1 | -0/+9 |
2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -3/+13 |
2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2015-05-22 | einfo.adb (Default_Init_Cond_Procedure): Code cleanup. | Hristian Kirtchev | 1 | -22/+25 |
2015-05-22 | 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -17/+21 |
2015-05-22 | debug.adb: Update documentation. | Robert Dewar | 1 | -1/+14 |
2015-05-21 | einfo.adb (Contract): This attribute now applies to constants. | Hristian Kirtchev | 1 | -3/+6 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -29/+40 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -42/+29 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -9/+26 |
2015-03-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+79 |
2015-03-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
2015-03-04 | [multiple changes] | Arnaud Charlet | 1 | -51/+8 |
2015-03-04 | [multiple changes] | Arnaud Charlet | 1 | -3/+17 |
2015-03-04 | [multiple changes] | Arnaud Charlet | 1 | -7/+50 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+49 |
2015-03-02 | debug.adb: Document new debug flag -gnatd.1. | Robert Dewar | 1 | -12/+65 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -32/+66 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+13 |
2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -48/+67 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -3/+42 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -4/+2 |
2015-01-06 | einfo.ads (Is_Independent): Document extended usage. | Eric Botcazou | 1 | -2/+0 |