Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-10-10 | [Ada] 'others' in conditional_expressions | Bob Duff | 1 | -0/+21 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-07-17 | [Ada] New ignored Ghost code removal mechanism | Hristian Kirtchev | 1 | -0/+7 |
2018-05-22 | [Ada] Spurious visibility error in a nested instance with formal package | Ed Schonberg | 1 | -0/+6 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+27 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -11/+17 |
2017-04-28 | [multiple changes] | Arnaud Charlet | 1 | -3/+9 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2016-10-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2016-06-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -8/+8 |
2015-11-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+54 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+12 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-05-22 | debug.adb: Update documentation. | Robert Dewar | 1 | -1/+1 |
2015-05-22 | atree.adb, [...]: Change name Needs_Actuals_Check to Check_Actuals. | Robert Dewar | 1 | -7/+7 |
2015-05-22 | atree.adb, atree.ads (Needs_Actuals_Check): New flag. | Robert Dewar | 1 | -21/+35 |
2015-03-13 | [multiple changes] | Arnaud Charlet | 1 | -15/+97 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -34/+70 |
2014-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2014-02-24 | g-sercom-mingw.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -7/+10 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -31/+6 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -1/+30 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2014-02-19 | [multiple changes] | Arnaud Charlet | 1 | -10/+9 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
2014-01-29 | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -0/+6 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+28 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2014-01-21 | switch-c.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+2 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-21 | [multiple changes] | Arnaud Charlet | 1 | -15/+78 |
2013-10-15 | [multiple changes] | Arnaud Charlet | 1 | -14/+15 |
2013-10-14 | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 1 | -0/+20 |
2013-09-10 | switch-c.adb: Minor reformatting. | Robert Dewar | 1 | -3/+6 |
2013-07-05 | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 1 | -0/+6 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+7 |
2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+10 |
2013-01-04 | [multiple changes] | Arnaud Charlet | 1 | -42/+463 |