| Commit message (Expand) | Author | Age | Files | Lines |
* | [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 | Hristian Kirtchev | 2019-07-03 | 1 | -0/+88 |
* | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 2019-01-08 | 1 | -1/+1 |
* | [Ada] Revert recent changes in the generation of deps in ali files | Justin Squirek | 2019-01-08 | 1 | -8/+7 |
* | [Ada] Regression in partial compilation of RCI units | Justin Squirek | 2018-09-26 | 1 | -8/+9 |
* | [Ada] GNATmake fails to detect missing body | Justin Squirek | 2018-07-31 | 1 | -7/+7 |
* | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 2018-01-11 | 1 | -1/+1 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-10-14 | 1 | -5/+24 |
* | [multiple changes] | Arnaud Charlet | 2017-01-19 | 1 | -20/+20 |
* | [multiple changes] | Arnaud Charlet | 2017-01-12 | 1 | -4/+2 |
* | [multiple changes] | Arnaud Charlet | 2017-01-06 | 1 | -3/+5 |
* | opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL... | Olivier Hainque | 2015-11-23 | 1 | -0/+3 |
* | [multiple changes] | Arnaud Charlet | 2015-01-30 | 1 | -3/+7 |
* | [multiple changes] | Arnaud Charlet | 2014-10-17 | 1 | -4/+4 |
* | [multiple changes] | Arnaud Charlet | 2014-10-10 | 1 | -1/+6 |
* | [multiple changes] | Arnaud Charlet | 2014-08-04 | 1 | -1/+2 |
* | snames.ads-tmpl, [...]: Remove VMS-specific code. | Robert Dewar | 2014-08-01 | 1 | -12/+0 |
* | [multiple changes] | Arnaud Charlet | 2014-07-30 | 1 | -1/+4 |
* | [multiple changes] | Arnaud Charlet | 2014-07-29 | 1 | -0/+6 |
* | [multiple changes] | Arnaud Charlet | 2014-07-18 | 1 | -4/+5 |
* | [multiple changes] | Arnaud Charlet | 2014-07-18 | 1 | -10/+2 |
* | [multiple changes] | Arnaud Charlet | 2014-02-25 | 1 | -0/+9 |
* | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 2014-01-29 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2013-10-14 | 1 | -0/+7 |
* | sem_aggr.adb (Resolve_Array_Aggregate): Identify duplicated cases. | Robert Dewar | 2013-10-10 | 1 | -48/+60 |
* | [multiple changes] | Arnaud Charlet | 2013-07-08 | 1 | -3/+13 |
* | adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'. | Yannick Moy | 2013-04-24 | 1 | -5/+6 |
* | [multiple changes] | Arnaud Charlet | 2013-04-11 | 1 | -19/+1 |
* | [multiple changes] | Arnaud Charlet | 2012-12-05 | 1 | -3/+22 |
* | [multiple changes] | Arnaud Charlet | 2012-10-29 | 1 | -0/+4 |
* | [multiple changes] | Arnaud Charlet | 2012-07-12 | 1 | -0/+90 |
* | [multiple changes] | Arnaud Charlet | 2012-07-09 | 1 | -11/+16 |
* | [multiple changes] | Arnaud Charlet | 2011-09-19 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2011-08-31 | 1 | -2/+2 |
* | a-except.adb, [...] (Raise_From_Controlled_Operation): Rewritten to create th... | Hristian Kirtchev | 2011-08-03 | 1 | -0/+2 |
* | [multiple changes] | Arnaud Charlet | 2011-08-03 | 1 | -1/+8 |
* | [multiple changes] | Arnaud Charlet | 2010-10-18 | 1 | -2/+7 |
* | ali.adb: Set Allocator_In_Body if AB parameter present on M line | Robert Dewar | 2010-10-08 | 1 | -1/+10 |
* | [multiple changes] | Arnaud Charlet | 2010-06-22 | 1 | -6/+5 |
* | [multiple changes] | Arnaud Charlet | 2010-06-22 | 1 | -4/+4 |
* | ali.adb (Scan_ALI): Implement reading and storing of N lines | Robert Dewar | 2010-06-14 | 1 | -34/+34 |
* | [multiple changes] | Arnaud Charlet | 2010-01-27 | 1 | -0/+34 |
* | Minor comment updates. | Arnaud Charlet | 2009-11-30 | 1 | -2/+2 |
* | [multiple changes] | Arnaud Charlet | 2009-07-23 | 1 | -6/+6 |
* | [multiple changes] | Arnaud Charlet | 2009-07-15 | 1 | -283/+269 |
* | debug.adb: Add -gnatd.O to output SCO table | Robert Dewar | 2009-07-15 | 1 | -1/+9 |
* | vms_data.ads: Fix typo in constant. | Ralf Wildenhues | 2008-04-14 | 1 | -3/+3 |
* | fe.h: Remove global Optimize_Alignment flag, no longer used | Robert Dewar | 2008-04-08 | 1 | -7/+21 |
* | g-table.adb, [...]: Fix comment typos. | Ralf Wildenhues | 2008-03-31 | 1 | -3/+3 |
* | ali.ads, ali.adb (Optimize_Alignment_Setting): New field in ALI record | Robert Dewar | 2008-03-26 | 1 | -10/+16 |
* | exp_atag.ads, [...]: Replace headers with GPL v3 headers. | Robert Dewar | 2007-09-10 | 1 | -4/+3 |