2021-07-08 |
Piotr Trojanek | [Ada] Replace low-level condition with a high-level... |
blob | commitdiff | raw |
2021-07-08 |
Piotr Trojanek | [Ada] Avoid linear search when ensuring dependency... |
blob | commitdiff | raw | diff to current |
2021-07-07 |
Piotr Trojanek | [Ada] Simplify handling of Generate_Code flag for compi... |
blob | commitdiff | raw | diff to current |
2021-07-07 |
Piotr Trojanek | [Ada] Tune discovery of No_Elaboration_Code restriction |
blob | commitdiff | raw | diff to current |
2021-07-06 |
Piotr Trojanek | [Ada] Simplify dependency on System |
blob | commitdiff | raw | diff to current |
2021-07-05 |
Ghjuvan Lacambre | [Ada] Turn GNAT_Annotate into its own pragma |
blob | commitdiff | raw | diff to current |
2021-05-07 |
Bob Duff | [Ada] Minor reformattings |
blob | commitdiff | raw | diff to current |
2021-05-07 |
Bob Duff | [Ada] Variable-sized node types -- cleanup |
blob | commitdiff | raw | diff to current |
2021-05-07 |
Bob Duff | [Ada] Variable-sized node types |
blob | commitdiff | raw | diff to current |
2021-05-06 |
Piotr Trojanek | [Ada] Style cleanups related to writing of ALI files |
blob | commitdiff | raw | diff to current |
2021-05-03 |
Arnaud Charlet | [Ada] Update copyright notice |
blob | commitdiff | raw | diff to current |
2020-12-16 |
Arnaud Charlet | [Ada] Code cleanup: rename ALI.Scope |
blob | commitdiff | raw | diff to current |
2020-11-30 |
Ghjuvan Lacambre | [Ada] Implement -gnateb switch |
blob | commitdiff | raw | diff to current |
2020-11-26 |
Piotr Trojanek | [Ada] Reuse Is_Generic_Subprogram where possible |
blob | commitdiff | raw | diff to current |
2020-11-24 |
Piotr Trojanek | [Ada] Use high-level Present instead of low-level equal... |
blob | commitdiff | raw | diff to current |
2020-10-23 |
Arnaud Charlet | [Ada] Clean up in writing of ALI files |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Arnaud Charlet | [Ada] Use membership tests in front-end |
blob | commitdiff | raw | diff to current |
2020-06-02 |
Arnaud Charlet | [Ada] Bump copyright year |
blob | commitdiff | raw | diff to current |
2019-08-20 |
Eric Botcazou | [Ada] Get rid of linear searches in Lib |
blob | commitdiff | raw | diff to current |
2019-07-11 |
Piotr Trojanek | [Ada] Use high-level wrappers for Lib.Units.Table |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Hristian Kirtchev | [Ada] Minor reformatting |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Hristian Kirtchev | [Ada] Diagnostics in Elaboration order v4.0 |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Hristian Kirtchev | [Ada] ABE checks v3.0, foundations of Elaboration order... |
blob | commitdiff | raw | diff to current |
2019-01-08 |
Pierre-Marie de... | [Ada] Bump copyright years to 2019 |
blob | commitdiff | raw | diff to current |
2019-01-08 |
Justin Squirek | [Ada] Revert recent changes in the generation of deps... |
blob | commitdiff | raw | diff to current |
2018-10-01 |
Alexandre Oliva | [Ada] use -gnatd_A to disable .ali on -fcompare-debug... |
blob | commitdiff | raw | diff to current |
2018-09-26 |
Justin Squirek | [Ada] Regression in partial compilation of RCI units |
blob | commitdiff | raw | diff to current |
2018-08-21 |
Hristian Kirtchev | [Ada] Minor reformattings |
blob | commitdiff | raw | diff to current |
2018-08-21 |
Javier Miranda | [Ada] Crash processing SPARK annotate aspect |
blob | commitdiff | raw | diff to current |
2018-07-31 |
Justin Squirek | [Ada] GNATmake fails to detect missing body |
blob | commitdiff | raw | diff to current |
2018-05-29 |
Arnaud Charlet | [Ada] Lib.Write: avoid use of System.Case_Util |
blob | commitdiff | raw | diff to current |
2018-05-29 |
Bob Duff | [Ada] Preliminary work to avoid full pathnames in ALI... |
blob | commitdiff | raw | diff to current |
2018-05-21 |
Piotr Trojanek | [Ada] Fix inconstent subprogram body headers |
blob | commitdiff | raw | diff to current |
2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 |
blob | commitdiff | raw | diff to current |
2018-01-11 |
Hristian Kirtchev | [Ada] Encoding of with clauses in ALI files |
blob | commitdiff | raw | diff to current |
2017-11-16 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-11-09 |
Pierre-Marie de... | gnat1drv.adb (Adjust_Global_Switches): Suppress warning... |
blob | commitdiff | raw | diff to current |
2017-11-08 |
Pierre-Marie de... | sem_disp.adb (Is_Inherited_Public_Operation): Extend... |
blob | commitdiff | raw | diff to current |
2017-10-14 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-29 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Hristian Kirtchev | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac... |
blob | commitdiff | raw | diff to current |
2017-01-12 |
Bob Duff | contracts.adb, [...] (Pragma_Name): Change name to... |
blob | commitdiff | raw | diff to current |
2017-01-06 |
Bob Duff | snames.ads-tmpl (Renamed): New name for the pragma... |
blob | commitdiff | raw | diff to current |
2016-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-10-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-04-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-04-21 |
Hristian Kirtchev | lib-writ.adb, [...]: Minor reformatting and code cleanup. |
blob | commitdiff | raw | diff to current |
2016-04-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-04-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-11-23 |
Olivier Hainque | opt.ads (Exception_Mechanism): Now three values: Front_... |
blob | commitdiff | raw | diff to current |
2015-10-16 |
Arnaud Charlet | exp_ch5.adb, [...]: Code clean up: remove special handl... |
blob | commitdiff | raw | diff to current |
2015-02-05 |
Arnaud Charlet | 015-02-05 Robert Dewar <dewar@adacore.com> |
blob | commitdiff | raw | diff to current |
2015-01-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-01-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Robert Dewar | snames.ads-tmpl, [...]: Remove VMS-specific code. |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-30 |
Thomas Quinot | lib-load.ads: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Robert Dewar | sem_aggr.adb (Resolve_Array_Aggregate): Change Is_Stati... |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-13 |
Robert Dewar | exp_attr.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-06-13 |
Robert Dewar | lib.ads, [...] (Is_Compiler_Unit): Removed. |
blob | commitdiff | raw | diff to current |
2014-01-29 |
Robert Dewar | a-except-2005.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Yannick Moy | 2014-01-20 Yannick Moy <moy@adacore.com> |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Hristian Kirtchev | aspects.adb: Add an entry for SPARK_Mode in table Canon... |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Yannick Moy | adabkend.adb, [...]: Everything with name 'Alfa' rename... |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-04-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-12-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-31 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Hristian Kirtchev | a-except.adb, [...] (Raise_From_Controlled_Operation... |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Robert Dewar | sem_aggr.adb, [...]: Minor reformatting |
blob | commitdiff | raw | diff to current |
2011-08-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-08-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-10-08 |
Robert Dewar | ali.adb: Set Allocator_In_Body if AB parameter present... |
blob | commitdiff | raw | diff to current |
2010-10-05 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2010-06-14 |
Robert Dewar | ali.adb (Scan_ALI): Implement reading and storing of... |
blob | commitdiff | raw | diff to current |
next |