Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -4/+1 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -60/+49 |
2014-08-04 | 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -8/+8 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -11/+12 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -7/+24 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-08-01 | gnatchop.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -45/+64 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -21/+32 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -11/+6 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -2/+38 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -9/+8 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -4/+38 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+31 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-07-30 | einfo.ads (Is_Inlined): Document new use in GNATprove mode. | Yannick Moy | 1 | -0/+3 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -16/+16 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+69 |
2014-07-30 | inline.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+3 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+36 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -7/+11 |
2014-07-29 | 2014-07-29 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -5/+40 |
2014-07-29 | sem_ch10.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -5/+6 |
2014-07-29 | sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build body to inline in GNATpro... | Ed Schonberg | 1 | -2/+5 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -6/+7 |
2014-07-29 | sem_ch6.adb: Move Build_Body_To_Inline... | Ed Schonberg | 1 | -1752/+1 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -5/+19 |
2014-07-29 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+5 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -19/+15 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2014-07-29 | sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Static_Range to Is_OK_Stati... | Robert Dewar | 1 | -1/+1 |
2014-07-18 | par_sco.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+20 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+10 |
2014-06-13 | lib.ads, [...] (Is_Compiler_Unit): Removed. | Robert Dewar | 1 | -0/+1 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |