| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [Ada] Skip entity name qualification in GNATprove mode | Yannick Moy | 2019-09-18 | 1 | -1/+3 |
| * | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 2019-01-08 | 1 | -1/+1 |
| * | [Ada] Faulty ignored Ghost code removal | Hristian Kirtchev | 2018-07-17 | 1 | -5/+8 |
| * | [Ada] Configuration state not observed for instance bodies | Hristian Kirtchev | 2018-07-17 | 1 | -1/+1 |
| * | [Ada] Only unnest subprograms if no previous errors were detected | Arnaud Charlet | 2018-07-16 | 1 | -1/+3 |
| * | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 2018-01-11 | 1 | -1/+1 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-12-05 | 1 | -6/+10 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-10-09 | 1 | -0/+1 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-10-09 | 1 | -3/+17 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-09-29 | 1 | -3/+3 |
| * | [multiple changes] | Pierre-Marie de Rodat | 2017-09-25 | 1 | -6/+5 |
| * | [multiple changes] | Arnaud Charlet | 2017-09-06 | 1 | -12/+14 |
| * | frontend.adb (Frontend): Skip -gnatec=gnat.adc switch, because we've already ... | Bob Duff | 2017-09-06 | 1 | -197/+199 |
| * | sem_util.adb (New_Copy_Tree): Code cleanup: removal of the internal map (ie. | Javier Miranda | 2017-01-23 | 1 | -17/+0 |
| * | [multiple changes] | Arnaud Charlet | 2017-01-23 | 1 | -2/+5 |
| * | [multiple changes] | Arnaud Charlet | 2017-01-19 | 1 | -1/+4 |
| * | [multiple changes] | Arnaud Charlet | 2017-01-13 | 1 | -7/+8 |
| * | [multiple changes] | Arnaud Charlet | 2017-01-13 | 1 | -0/+13 |
| * | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 2017-01-12 | 1 | -1/+1 |
| * | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 2017-01-06 | 1 | -1/+1 |
| * | Minor reformatting. | Arnaud Charlet | 2016-07-04 | 1 | -1/+1 |
| * | sem_eval.adb (Decompose_Expr): Set 'out' parameters Kind and Cons to valid va... | Bob Duff | 2016-07-04 | 1 | -2/+5 |
| * | frontend.adb: Update call to Unnest_Subprograms. | Javier Miranda | 2016-04-21 | 1 | -2/+2 |
| * | [multiple changes] | Arnaud Charlet | 2016-04-21 | 1 | -1/+0 |
| * | [multiple changes] | Arnaud Charlet | 2016-04-20 | 1 | -2/+2 |
| * | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 2015-10-16 | 1 | -8/+2 |
| * | debug.adb: Update documentation. | Robert Dewar | 2015-05-22 | 1 | -2/+2 |
| * | [multiple changes] | Arnaud Charlet | 2015-05-12 | 1 | -7/+6 |
| * | [multiple changes] | Arnaud Charlet | 2015-03-13 | 1 | -0/+7 |
| * | 015-02-05 Robert Dewar <dewar@adacore.com> | Arnaud Charlet | 2015-02-05 | 1 | -3/+3 |
| * | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 2015-01-07 | 1 | -2/+8 |
| * | [multiple changes] | Arnaud Charlet | 2015-01-06 | 1 | -5/+12 |
| * | cstand.adb, [...]: Remove obsolete VMS-specific code. | Robert Dewar | 2014-07-31 | 1 | -16/+0 |
| * | [multiple changes] | Arnaud Charlet | 2014-07-31 | 1 | -4/+4 |
| * | s-taasde.adb (Timer_Queue): Don't use a build-in-place function call to initi... | Bob Duff | 2014-07-30 | 1 | -57/+20 |
| * | [multiple changes] | Arnaud Charlet | 2014-07-29 | 1 | -0/+14 |
| * | [multiple changes] | Arnaud Charlet | 2014-07-29 | 1 | -5/+9 |
| * | frontend.adb, [...]: Minor reformatting and code clean up. | Robert Dewar | 2014-07-29 | 1 | -13/+75 |
| * | [multiple changes] | Arnaud Charlet | 2014-07-29 | 1 | -0/+13 |
| * | [multiple changes] | Arnaud Charlet | 2014-06-13 | 1 | -2/+1 |
| * | [multiple changes] | Arnaud Charlet | 2014-01-31 | 1 | -0/+2 |
| * | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 2014-01-29 | 1 | -1/+1 |
| * | [multiple changes] | Arnaud Charlet | 2014-01-20 | 1 | -0/+2 |
| * | 2014-01-20 Yannick Moy <moy@adacore.com> | Yannick Moy | 2014-01-20 | 1 | -1/+1 |
| * | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -7/+0 |
| * | [multiple changes] | Arnaud Charlet | 2013-04-25 | 1 | -0/+3 |
| * | [multiple changes] | Arnaud Charlet | 2013-04-25 | 1 | -1/+14 |
| * | [multiple changes] | Arnaud Charlet | 2012-08-06 | 1 | -1/+6 |
| * | [multiple changes] | Arnaud Charlet | 2012-08-06 | 1 | -1/+2 |
| * | frontend.adb (Frontend): Capture restrictions from config files | Robert Dewar | 2011-11-21 | 1 | -0/+6 |
