Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+10 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -7/+2 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+62 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -5/+5 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+4 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+16 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -6/+32 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+2 |
2017-10-20 | s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono... | Pierre-Marie de Rodat | 1 | -4/+4 |
2017-10-20 | sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a... | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -10/+7 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -90/+106 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -22/+3 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+32 |
2017-10-09 | exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i... | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+4 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+1 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -587/+1073 |
2017-09-13 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+1 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+20 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-09-06 | exp_attr.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -1/+1 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+0 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -8/+4 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -21/+38 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2017-04-25 | Minor reformatting. | Arnaud Charlet | 1 | -13/+13 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -9/+74 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -12/+12 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+12 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -19/+36 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -14/+16 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -3/+20 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -17/+89 |
2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -57/+85 |
2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -23/+0 |
2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -6/+7 |
2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |