Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-07-04 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -17/+17 |
2019-07-03 | [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 | Hristian Kirtchev | 1 | -1/+1 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-05-23 | [Ada] Suspension and elaboration warnings/checks | Hristian Kirtchev | 1 | -0/+10 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2017-12-15 | exp_unst.adb (Unnest_Subprograms): Nothing to do if the main unit is a generi... | Pierre-Marie de Rodat | 1 | -2/+2 |
2017-12-05 | sem_util.adb (Contains_Refined_State): Remove. | Pierre-Marie de Rodat | 1 | -0/+4 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+2 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -2/+4 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2017-01-06 | exp_ch9.ads, [...] (Build_Entry_Names): Remove (unused). | Tristan Gingold | 1 | -10/+0 |
2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2017-01-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2016-10-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+6 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2015-10-20 | [multiple changes] | Arnaud Charlet | 1 | -5/+0 |
2015-10-20 | 2015-10-20 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -4/+9 |
2015-10-16 | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 1 | -4/+0 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2014-08-01 | a-numaux-vxworks.ads, [...]: Fix bad package header comments. | Robert Dewar | 1 | -101/+0 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -5/+0 |
2014-07-30 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
2014-07-18 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2014-07-17 | debug.adb: Remove -gnatdQ. | Robert Dewar | 1 | -19/+19 |
2014-05-21 | layout.adb: Minor reformatting. | Robert Dewar | 1 | -3/+25 |
2014-01-31 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2014-01-29 | [multiple changes] | Arnaud Charlet | 1 | -3/+0 |
2013-10-14 | [multiple changes] | Arnaud Charlet | 1 | -0/+42 |
2013-10-14 | cstand.adb (Create_Standard): Change Import_Code component of Standard_Except... | Tristan Gingold | 1 | -2/+2 |
2013-09-10 | einfo.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -12/+12 |
2013-09-10 | sem_prag.adb (Get_SPARK_Mode_Id): Handle the case where the pragma may appear... | Hristian Kirtchev | 1 | -1/+6 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -19/+21 |
2012-11-06 | [multiple changes] | Arnaud Charlet | 1 | -8/+12 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+2 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -7/+17 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -2/+0 |
2012-10-01 | checks.adb (Apply_Arithmetic_Overflow_Minimized_Eliminated): Handle case of a... | Robert Dewar | 1 | -0/+2 |
2012-10-01 | [multiple changes] | Arnaud Charlet | 1 | -4/+43 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+9 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -20/+16 |
2012-05-15 | exp_ch4.adb (Insert_Dereference_Action): Reimplemented. | Hristian Kirtchev | 1 | -0/+2 |
2012-05-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2012-04-02 | [multiple changes] | Arnaud Charlet | 1 | -0/+27 |
2012-03-07 | rtsfind.ads: Add support for finding Super_String types. | Bob Duff | 1 | -1/+16 |
2012-02-22 | [multiple changes] | Arnaud Charlet | 1 | -1/+21 |
2011-12-15 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |