Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-05-24 | [Ada] Fix crash on formal containers | Hristian Kirtchev | 1 | -1/+7 |
2018-05-21 | [Ada] Use type conversion when inlining may trigger a run-time check | Yannick Moy | 1 | -1/+1 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-12-15 | types.ads, [...]: Partly revert r255414, committed by mistake. | Bob Duff | 1 | -1/+1 |
2017-12-05 | sem_util.adb (Contains_Refined_State): Remove. | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+14 |
2017-12-05 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+4 |
2017-11-16 | opt.ads: Elaboration warnings are now on by default. | Hristian Kirtchev | 1 | -2/+6 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -11/+11 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -9/+19 |
2017-09-11 | gnat1drv.adb (Adjust_Global_Switches): Set Check_Validity_Of_Parameters to Fa... | Yannick Moy | 1 | -1/+1 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -2/+14 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -5/+8 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+6 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2016-07-04 | [multiple changes] | Arnaud Charlet | 1 | -12/+2 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2015-11-23 | opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL... | Olivier Hainque | 1 | -9/+23 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2015-11-12 | switch-c.adb, [...]: Reserve -gnateg for generation of C headers. | Arnaud Charlet | 1 | -1/+1 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2015-10-16 | checks.adb: Fix typo. | Arnaud Charlet | 1 | -9/+6 |
2015-10-16 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-05-22 | debug.adb: Update documentation. | Robert Dewar | 1 | -0/+5 |
2015-03-02 | debug.adb: Document new debug flag -gnatd.1. | Robert Dewar | 1 | -0/+4 |
2015-02-20 | g-allein.ads, [...]: Minor reformatting | Robert Dewar | 1 | -2/+2 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+8 |
2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -17/+17 |
2015-02-05 | opt.ads (Warn_On_Suspicious_Contract): Update comment describing use. | Yannick Moy | 1 | -2/+4 |
2015-01-07 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -0/+8 |
2014-11-28 | Update comments. | Arnaud Charlet | 1 | -27/+21 |
2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-10-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+11 |