Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-11-08 | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 1 | -0/+1 |
2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -0/+13 |
2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -9/+49 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -5/+15 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -3/+4 |
2016-11-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2016-07-04 | einfo.adb (Has_Pragma_Unused): Create this function as a setter for a new fla... | Justin Squirek | 1 | -2/+12 |
2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2016-06-14 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2016-05-02 | a-tigeli.adb (Get_Line): Always set Last prior to returning. | Yannick Moy | 1 | -12/+11 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2016-04-27 | [multiple changes] | Arnaud Charlet | 1 | -11/+17 |
2016-04-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2015-10-27 | sinput.ads, [...]: Fix typos. | Arnaud Charlet | 1 | -1/+1 |
2015-10-27 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-02-05 | [multiple changes] | Arnaud Charlet | 1 | -6/+8 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -1/+19 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2014-07-29 | lib-xref.adb (Output_Refs, [...]): For a derived array type... | Ed Schonberg | 1 | -3/+30 |
2014-07-17 | sem_ch3.adb, [...]: Remove the word kludge from ada sources. | Robert Dewar | 1 | -2/+2 |
2014-06-11 | 2014-06-11 Sergey Rybin <rybin@adacore.com frybin> | Arnaud Charlet | 1 | -1/+0 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+20 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-05-21 | 2014-05-21 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -3/+5 |
2014-02-06 | [multiple changes] | Arnaud Charlet | 1 | -11/+11 |
2014-02-06 | [multiple changes] | Arnaud Charlet | 1 | -9/+23 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+34 |
2014-01-24 | sem_util.adb, [...]: Correct false positive warnings. | Robert Dewar | 1 | -11/+19 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+21 |
2014-01-23 | Minor reformatting. | Arnaud Charlet | 1 | -2/+2 |
2014-01-23 | lib-xref.adb (Output_References): Output progenitors of synchronized tagged t... | Ed Schonberg | 1 | -30/+31 |
2014-01-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
2014-01-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |
2014-01-20 | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 1 | -4/+4 |
2013-10-15 | [multiple changes] | Arnaud Charlet | 1 | -2/+16 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2013-07-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -18/+18 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+3 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -4/+6 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2012-10-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+7 |