Age | Commit message (Expand) | Author | Files | Lines |
2020-12-16 | [Ada] Code cleanup: rename ALI.Scope | Arnaud Charlet | 1 | -1/+1 |
2020-11-30 | [Ada] Implement -gnateb switch | Ghjuvan Lacambre | 1 | -4/+1 |
2020-11-26 | [Ada] Reuse Is_Generic_Subprogram where possible | Piotr Trojanek | 1 | -3/+1 |
2020-11-24 | [Ada] Use high-level Present instead of low-level equality test | Piotr Trojanek | 1 | -1/+1 |
2020-10-23 | [Ada] Clean up in writing of ALI files | Arnaud Charlet | 1 | -97/+3 |
2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -3/+3 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2019-08-20 | [Ada] Get rid of linear searches in Lib | Eric Botcazou | 1 | -0/+1 |
2019-07-11 | [Ada] Use high-level wrappers for Lib.Units.Table | Piotr Trojanek | 1 | -3/+3 |
2019-07-05 | [Ada] Minor reformatting | Hristian Kirtchev | 1 | -1/+1 |
2019-07-05 | [Ada] Diagnostics in Elaboration order v4.0 | Hristian Kirtchev | 1 | -353/+191 |
2019-07-03 | [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 | Hristian Kirtchev | 1 | -0/+372 |
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 | -34/+9 |
2018-10-01 | [Ada] use -gnatd_A to disable .ali on -fcompare-debug recompile | Alexandre Oliva | 1 | -7/+1 |
2018-09-26 | [Ada] Regression in partial compilation of RCI units | Justin Squirek | 1 | -3/+8 |
2018-08-21 | [Ada] Minor reformattings | Hristian Kirtchev | 1 | -5/+8 |
2018-08-21 | [Ada] Crash processing SPARK annotate aspect | Javier Miranda | 1 | -1/+8 |
2018-07-31 | [Ada] GNATmake fails to detect missing body | Justin Squirek | 1 | -13/+28 |
2018-05-29 | [Ada] Lib.Write: avoid use of System.Case_Util | Arnaud Charlet | 1 | -1/+3 |
2018-05-29 | [Ada] Preliminary work to avoid full pathnames in ALI files | Bob Duff | 1 | -6/+12 |
2018-05-21 | [Ada] Fix inconstent subprogram body headers | Piotr Trojanek | 1 | -3/+3 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2018-01-11 | [Ada] Encoding of with clauses in ALI files | Hristian Kirtchev | 1 | -12/+69 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-09 | gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her... | Pierre-Marie de Rodat | 1 | -7/+0 |
2017-11-08 | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 1 | -1/+0 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+17 |
2017-09-29 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-09-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2017-04-27 | [multiple changes] | Arnaud Charlet | 1 | -52/+57 |
2017-04-25 | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 1 | -5/+3 |
2017-01-12 | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 1 | -1/+1 |
2017-01-06 | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 1 | -1/+1 |
2016-10-12 | [multiple changes] | Arnaud Charlet | 1 | -31/+21 |
2016-10-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
2016-04-21 | lib-writ.adb, [...]: Minor reformatting and code cleanup. | Hristian Kirtchev | 1 | -7/+13 |
2016-04-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+31 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 1 | -14/+25 |
2015-11-23 | opt.ads (Exception_Mechanism): Now three values: Front_End_SJLJ, Back_End_SJL... | Olivier Hainque | 1 | -1/+5 |
2015-10-16 | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 1 | -10/+1 |
2015-02-05 | 015-02-05 Robert Dewar <dewar@adacore.com> | Arnaud Charlet | 1 | -2/+2 |
2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
2014-08-01 | snames.ads-tmpl, [...]: Remove VMS-specific code. | Robert Dewar | 1 | -14/+0 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2014-07-31 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |