Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-07-16 | [Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU | Bob Duff | 1 | -9/+30 |
2020-06-18 | [Ada] Add support for XDR streaming in the default runtime | Arnaud Charlet | 1 | -0/+5 |
2020-06-08 | [Ada] Remove processing of SPARK_05 restriction | Arnaud Charlet | 1 | -0/+3 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2019-07-11 | [Ada] Minimal binder | Patrick Bernardi | 1 | -0/+11 |
2019-07-05 | [Ada] Diagnostics in Elaboration order v4.0 | Hristian Kirtchev | 1 | -9/+1 |
2019-07-03 | [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 | Hristian Kirtchev | 1 | -4/+12 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-12-11 | [Ada] gnatbind: ghost code with -gnatQ | Bob Duff | 1 | -0/+1 |
2018-05-23 | [Ada] gnatbind: do not list No_Implementation_Restrictions | Bob Duff | 1 | -20/+26 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -3/+1 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -4/+4 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -7/+15 |
2017-05-02 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -1/+4 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -154/+32 |
2017-01-13 | sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s... | Hristian Kirtchev | 1 | -1/+0 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -5/+5 |
2016-07-06 | [multiple changes] | Arnaud Charlet | 1 | -6/+9 |
2016-06-20 | [multiple changes] | Arnaud Charlet | 1 | -1/+2 |
2016-06-20 | [multiple changes] | Arnaud Charlet | 1 | -22/+35 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -10/+11 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2014-08-01 | binde.adb, [...]: Remove VMS handling. | Arnaud Charlet | 1 | -19/+0 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2014-07-17 | [multiple changes] | Arnaud Charlet | 1 | -2/+7 |
2014-07-16 | [multiple changes] | Arnaud Charlet | 1 | -5/+9 |
2013-09-10 | gnatbind.adb: Correct starting date in --version string. | Robert Dewar | 1 | -1/+1 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -3/+7 |
2013-04-24 | [multiple changes] | Arnaud Charlet | 1 | -33/+69 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2013-04-12 | s-rident.ads: Add various missing Ada 2012 restrictions... | Ed Schonberg | 1 | -2/+2 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -6/+2 |
2012-12-05 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -2/+0 |
2011-08-04 | [multiple changes] | Arnaud Charlet | 1 | -14/+6 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -6/+3 |
2010-10-08 | ali.adb: Set Allocator_In_Body if AB parameter present on M line | Robert Dewar | 1 | -10/+16 |
2010-10-05 | [multiple changes] | Arnaud Charlet | 1 | -2/+14 |
2010-09-09 | [multiple changes] | Arnaud Charlet | 1 | -5/+3 |
2010-06-22 | Remove unused variable. | Arnaud Charlet | 1 | -19/+15 |
2010-06-22 | sem_res.adb (Make_Call_Into_Operator): Use First_Subtype for better error rep... | Thomas Quinot | 1 | -1/+27 |
2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-06-22 | [multiple changes] | Arnaud Charlet | 1 | -4/+5 |
2010-06-21 | [multiple changes] | Arnaud Charlet | 1 | -13/+15 |
2010-06-21 | [multiple changes] | Arnaud Charlet | 1 | -41/+84 |
2010-06-14 | gnatbind.adb: Call Scan_ALI with Directly_Scanned set to True for all the ALI... | Vincent Celier | 1 | -5/+6 |