| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-07-08 | [Ada] Duplicated D lines in ali files | Ghjuvan Lacambre | 1 | -0/+3 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-10-23 | [Ada] Clean up in writing of ALI files | Arnaud Charlet | 1 | -6/+0 |
| 2020-06-17 | [Ada] Fix casing from GNATProve to GNATprove | Piotr Trojanek | 1 | -1/+1 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-10-10 | [Ada] Mention GNAT Studio instead of GPS | Anthony Leonardo Gracio | 1 | -1/+2 |
| 2019-07-05 | [Ada] Diagnostics in Elaboration order v4.0 | Hristian Kirtchev | 1 | -3/+17 |
| 2019-07-03 | [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 | Hristian Kirtchev | 1 | -0/+88 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2019-01-08 | [Ada] Revert recent changes in the generation of deps in ali files | Justin Squirek | 1 | -8/+7 |
| 2018-09-26 | [Ada] Regression in partial compilation of RCI units | Justin Squirek | 1 | -8/+9 |
| 2018-07-31 | [Ada] GNATmake fails to detect missing body | Justin Squirek | 1 | -7/+7 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -5/+24 |
| 2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -20/+20 |
| 2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -4/+2 |
| 2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+5 |
| 2015-11-23 | opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL... | Olivier Hainque | 1 | -0/+3 |
| 2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
| 2014-10-17 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
| 2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
| 2014-08-01 | snames.ads-tmpl, [...]: Remove VMS-specific code. | Robert Dewar | 1 | -12/+0 |
| 2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
| 2014-07-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
| 2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
| 2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -10/+2 |
| 2014-02-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
| 2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -1/+1 |
| 2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
| 2013-10-10 | sem_aggr.adb (Resolve_Array_Aggregate): Identify duplicated cases. | Robert Dewar | 1 | -48/+60 |
| 2013-07-08 | [multiple changes] | Arnaud Charlet | 1 | -3/+13 |
| 2013-04-24 | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 1 | -5/+6 |
| 2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -19/+1 |
| 2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -3/+22 |
| 2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
| 2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+90 |
| 2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -11/+16 |
| 2011-09-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2011-08-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2011-08-03 | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 1 | -0/+2 |
| 2011-08-03 | [multiple changes] | Arnaud Charlet | 1 | -1/+8 |
| 2010-10-18 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
| 2010-10-08 | ali.adb: Set Allocator_In_Body if AB parameter present on M line | Robert Dewar | 1 | -1/+10 |
| 2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -6/+5 |
| 2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
| 2010-06-14 | ali.adb (Scan_ALI): Implement reading and storing of N lines | Robert Dewar | 1 | -34/+34 |
| 2010-01-27 | [multiple changes] | Arnaud Charlet | 1 | -0/+34 |
| 2009-11-30 | Minor comment updates. | Arnaud Charlet | 1 | -2/+2 |
| 2009-07-23 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |