| Commit message (Expand) | Author | Age | Files | Lines |
* | [Ada] Replace low-level condition with a high-level call | Piotr Trojanek | 2021-07-08 | 1 | -1/+1 |
* | [Ada] Avoid linear search when ensuring dependency on System | Piotr Trojanek | 2021-07-08 | 1 | -7/+5 |
* | [Ada] Simplify handling of Generate_Code flag for compilation units | Piotr Trojanek | 2021-07-07 | 1 | -1/+1 |
* | [Ada] Tune discovery of No_Elaboration_Code restriction | Piotr Trojanek | 2021-07-07 | 1 | -0/+1 |
* | [Ada] Simplify dependency on System | Piotr Trojanek | 2021-07-06 | 1 | -3/+1 |
* | [Ada] Turn GNAT_Annotate into its own pragma | Ghjuvan Lacambre | 2021-07-05 | 1 | -1/+1 |
* | [Ada] Minor reformattings | Bob Duff | 2021-05-07 | 1 | -31/+31 |
* | [Ada] Variable-sized node types -- cleanup | Bob Duff | 2021-05-07 | 1 | -1/+1 |
* | [Ada] Variable-sized node types | Bob Duff | 2021-05-07 | 1 | -2/+6 |
* | [Ada] Style cleanups related to writing of ALI files | Piotr Trojanek | 2021-05-06 | 1 | -1/+1 |
* | [Ada] Update copyright notice | Arnaud Charlet | 2021-05-03 | 1 | -1/+1 |
* | [Ada] Code cleanup: rename ALI.Scope | Arnaud Charlet | 2020-12-16 | 1 | -1/+1 |
* | [Ada] Implement -gnateb switch | Ghjuvan Lacambre | 2020-11-30 | 1 | -4/+1 |
* | [Ada] Reuse Is_Generic_Subprogram where possible | Piotr Trojanek | 2020-11-26 | 1 | -3/+1 |
* | [Ada] Use high-level Present instead of low-level equality test | Piotr Trojanek | 2020-11-24 | 1 | -1/+1 |
* | [Ada] Clean up in writing of ALI files | Arnaud Charlet | 2020-10-23 | 1 | -97/+3 |
* | [Ada] Use membership tests in front-end | Arnaud Charlet | 2020-07-27 | 1 | -3/+3 |
* | [Ada] Bump copyright year | Arnaud Charlet | 2020-06-02 | 1 | -1/+1 |
* | [Ada] Get rid of linear searches in Lib | Eric Botcazou | 2019-08-20 | 1 | -0/+1 |
* | [Ada] Use high-level wrappers for Lib.Units.Table | Piotr Trojanek | 2019-07-11 | 1 | -3/+3 |
* | [Ada] Minor reformatting | Hristian Kirtchev | 2019-07-05 | 1 | -1/+1 |
* | [Ada] Diagnostics in Elaboration order v4.0 | Hristian Kirtchev | 2019-07-05 | 1 | -353/+191 |
* | [Ada] ABE checks v3.0, foundations of Elaboration order v4.0 | Hristian Kirtchev | 2019-07-03 | 1 | -0/+372 |
* | [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 | -34/+9 |
* | [Ada] use -gnatd_A to disable .ali on -fcompare-debug recompile | Alexandre Oliva | 2018-10-01 | 1 | -7/+1 |
* | [Ada] Regression in partial compilation of RCI units | Justin Squirek | 2018-09-26 | 1 | -3/+8 |
* | [Ada] Minor reformattings | Hristian Kirtchev | 2018-08-21 | 1 | -5/+8 |
* | [Ada] Crash processing SPARK annotate aspect | Javier Miranda | 2018-08-21 | 1 | -1/+8 |
* | [Ada] GNATmake fails to detect missing body | Justin Squirek | 2018-07-31 | 1 | -13/+28 |
* | [Ada] Lib.Write: avoid use of System.Case_Util | Arnaud Charlet | 2018-05-29 | 1 | -1/+3 |
* | [Ada] Preliminary work to avoid full pathnames in ALI files | Bob Duff | 2018-05-29 | 1 | -6/+12 |
* | [Ada] Fix inconstent subprogram body headers | Piotr Trojanek | 2018-05-21 | 1 | -3/+3 |
* | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 2018-01-11 | 1 | -1/+1 |
* | [Ada] Encoding of with clauses in ALI files | Hristian Kirtchev | 2018-01-11 | 1 | -12/+69 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-11-16 | 1 | -1/+1 |
* | gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her... | Pierre-Marie de Rodat | 2017-11-09 | 1 | -7/+0 |
* | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 2017-11-08 | 1 | -1/+0 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-10-14 | 1 | -0/+17 |
* | [multiple changes] | Pierre-Marie de Rodat | 2017-09-29 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2017-09-06 | 1 | -0/+4 |
* | [multiple changes] | Arnaud Charlet | 2017-04-27 | 1 | -52/+57 |
* | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract): Add a warning abou... | Hristian Kirtchev | 2017-04-25 | 1 | -5/+3 |
* | contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped. | Bob Duff | 2017-01-12 | 1 | -1/+1 |
* | snames.ads-tmpl (Renamed): New name for the pragma argument. | Bob Duff | 2017-01-06 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2016-10-12 | 1 | -31/+21 |
* | [multiple changes] | Arnaud Charlet | 2016-10-12 | 1 | -1/+13 |
* | [multiple changes] | Arnaud Charlet | 2016-04-21 | 1 | -4/+3 |
* | lib-writ.adb, [...]: Minor reformatting and code cleanup. | Hristian Kirtchev | 2016-04-21 | 1 | -7/+13 |
* | [multiple changes] | Arnaud Charlet | 2016-04-21 | 1 | -3/+31 |