| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 2019-01-08 | 1 | -1/+1 |
| * | [Ada] Reuse Is_Rewrite_Substitution in Relocate_Node | Piotr Trojanek | 2018-07-17 | 1 | -1/+1 |
| * | [Ada] New ignored Ghost code removal mechanism | Hristian Kirtchev | 2018-07-17 | 1 | -15/+60 |
| * | [Ada] Spurious visibility error in a nested instance with formal package | Ed Schonberg | 2018-05-22 | 1 | -0/+18 |
| * | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 2018-01-11 | 1 | -1/+1 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-11-16 | 1 | -0/+36 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-10-09 | 1 | -2/+9 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-10-09 | 1 | -10/+29 |
| * | exp_ch6.adb: (Make_Build_In_Place_Call_In_Object_Declaration): Remove the cod... | Pierre-Marie de Rodat | 2017-10-09 | 1 | -54/+15 |
| * | sinput.adb: Minor code cleanup. | Bob Duff | 2017-04-27 | 1 | -6/+10 |
| * | [multiple changes] | Arnaud Charlet | 2017-04-27 | 1 | -4/+4 |
| * | [multiple changes] | Arnaud Charlet | 2017-04-25 | 1 | -6/+2 |
| * | [multiple changes] | Arnaud Charlet | 2017-01-20 | 1 | -0/+499 |
| * | [multiple changes] | Arnaud Charlet | 2017-01-13 | 1 | -2/+2 |
| * | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 2017-01-13 | 1 | -12/+42 |
| * | [multiple changes] | Arnaud Charlet | 2016-10-13 | 1 | -0/+1 |
| * | [multiple changes] | Arnaud Charlet | 2016-06-20 | 1 | -0/+17 |
| * | [multiple changes] | Arnaud Charlet | 2016-04-21 | 1 | -9/+21 |
| * | [multiple changes] | Arnaud Charlet | 2016-04-18 | 1 | -0/+102 |
| * | [multiple changes] | Arnaud Charlet | 2016-04-18 | 1 | -5/+5 |
| * | [multiple changes] | Arnaud Charlet | 2015-11-18 | 1 | -0/+17 |
| * | sem_ch10.adb, atree.adb: Minor reformatting. | Hristian Kirtchev | 2015-11-12 | 1 | -5/+4 |
| * | [multiple changes] | Arnaud Charlet | 2015-10-26 | 1 | -0/+90 |
| * | [multiple changes] | Arnaud Charlet | 2015-10-26 | 1 | -0/+17 |
| * | [multiple changes] | Arnaud Charlet | 2015-10-20 | 1 | -0/+23 |
| * | atree.adb, [...]: Change name Needs_Actuals_Check to Check_Actuals. | Robert Dewar | 2015-05-22 | 1 | -20/+20 |
| * | atree.adb, atree.ads (Needs_Actuals_Check): New flag. | Robert Dewar | 2015-05-22 | 1 | -0/+22 |
| * | [multiple changes] | Arnaud Charlet | 2015-03-13 | 1 | -0/+144 |
| * | [multiple changes] | Arnaud Charlet | 2015-03-02 | 1 | -1/+18 |
| * | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 2015-01-07 | 1 | -3/+69 |
| * | [multiple changes] | Arnaud Charlet | 2014-11-07 | 1 | -0/+10 |
| * | [multiple changes] | Arnaud Charlet | 2014-08-01 | 1 | -10/+9 |
| * | g-sercom-mingw.adb, [...]: Minor reformatting. | Robert Dewar | 2014-02-24 | 1 | -5/+4 |
| * | [multiple changes] | Arnaud Charlet | 2014-02-24 | 1 | -37/+28 |
| * | [multiple changes] | Arnaud Charlet | 2014-02-24 | 1 | -3/+52 |
| * | [multiple changes] | Arnaud Charlet | 2014-02-24 | 1 | -0/+12 |
| * | [multiple changes] | Arnaud Charlet | 2014-02-20 | 1 | -2/+1 |
| * | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 2014-01-29 | 1 | -3/+3 |
| * | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 2014-01-29 | 1 | -0/+17 |
| * | [multiple changes] | Arnaud Charlet | 2014-01-21 | 1 | -0/+49 |
| * | [multiple changes] | Arnaud Charlet | 2014-01-21 | 1 | -0/+12 |
| * | switch-c.adb, [...]: Minor reformatting. | Robert Dewar | 2014-01-21 | 1 | -0/+1 |
| * | [multiple changes] | Arnaud Charlet | 2014-01-21 | 1 | -31/+12 |
| * | [multiple changes] | Arnaud Charlet | 2014-01-21 | 1 | -1/+82 |
| * | [multiple changes] | Arnaud Charlet | 2014-01-20 | 1 | -0/+9 |
| * | aspects.adb: Add an entry in table Canonical_Aspect for Initializes. | Hristian Kirtchev | 2013-10-14 | 1 | -0/+34 |
| * | aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. | Hristian Kirtchev | 2013-07-05 | 1 | -0/+12 |
| * | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -1/+13 |
| * | [multiple changes] | Arnaud Charlet | 2013-01-29 | 1 | -1/+13 |
| * | [multiple changes] | Arnaud Charlet | 2013-01-04 | 1 | -2/+988 |
