Age | Commit message (Expand) | Author | Files | Lines |
2020-10-22 | [Ada] Allow use of debug routines when output is going elsewhere | Richard Kenner | 1 | -0/+9 |
2020-10-20 | [Ada] Prevent crashes when pretty-printing freeze nodes from gdb | Piotr Trojanek | 1 | -2/+4 |
2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -6/+4 |
2020-07-15 | [Ada] Ongoing work for AI12-0212: container aggregates | Arnaud Charlet | 1 | -0/+16 |
2020-07-10 | [Ada] Use small limit for aggregates inside subprograms | Arnaud Charlet | 1 | -0/+1 |
2020-06-18 | [Ada] Crash in tagged type constructor with task components | Javier Miranda | 1 | -0/+37 |
2020-06-04 | [Ada] Implement AI12-0275 (Make subtype_mark optional in object renamings) | Gary Dismukes | 1 | -2/+8 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2020-06-02 | [Ada] Remove degenerate Treat_Fixed_As_Integer mechanism | Eric Botcazou | 1 | -32/+6 |
2019-07-22 | [Ada] Small enhancement to the -gnatD/-gnatG output for fixed-point types | Eric Botcazou | 1 | -32/+59 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-11-14 | [Ada] Use Cancel_Special_Output instead of Set_Special_Output with null | Piotr Trojanek | 1 | -1/+1 |
2018-08-21 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -6/+3 |
2018-08-21 | [Ada] Sprint: add guard on printing aspects | Ed Schonberg | 1 | -2/+4 |
2018-05-22 | [Ada] Ada2020: Reduction expressions | Ed Schonberg | 1 | -22/+0 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-12-15 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+22 |
2017-11-08 | exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re... | Hristian Kirtchev | 1 | -0/+19 |
2017-10-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+9 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -2/+24 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -5/+2 |
2017-01-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2017-01-23 | scans.ads: New token At_Sign. | Ed Schonberg | 1 | -0/+3 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -14/+17 |
2017-01-13 | exp_util.adb (Insert_Actions): Handle Iterated_Component_Association. | Ed Schonberg | 1 | -0/+9 |
2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -1/+1 |
2016-06-22 | sem_ch8.adb (Push_Scope): Add a check for when the scope table is empty to as... | Justin Squirek | 1 | -2/+4 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -2/+21 |
2015-03-04 | [multiple changes] | Arnaud Charlet | 1 | -14/+48 |
2015-03-02 | back_end.adb (Call_Back_End): Remove previous patch... | Robert Dewar | 1 | -3/+6 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+85 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+8 |
2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -5/+22 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+9 |
2014-07-17 | debug.adb: Remove -gnatdQ. | Robert Dewar | 1 | -1/+1 |
2014-07-16 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
2014-02-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-02-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -2/+2 |
2014-01-23 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |