2022-10-06 |
Piotr Trojanek | ada: Cleanup related to lock-free protected subprograms |
blob | commitdiff | raw |
2022-09-12 |
Steve Baird | [Ada] Lock_Free aspect takes precedence over Ceiling_Lo... |
blob | commitdiff | raw | diff to current |
2022-09-06 |
Steve Baird | [Ada] Disable lock free protected implementation if... |
blob | commitdiff | raw | diff to current |
2022-09-06 |
Steve Baird | [Ada] Enable lock free protected implementation by... |
blob | commitdiff | raw | diff to current |
2022-05-18 |
Javier Miranda | [Ada] Ada2022: AI12-0143 Index attribute for entry... |
blob | commitdiff | raw | diff to current |
2022-01-11 |
Arnaud Charlet | [Ada] Update copyright notice and bump Gnatvsn.Current_Year |
blob | commitdiff | raw | diff to current |
2021-09-20 |
Bob Duff | [Ada] Clean up Uint fields, remove unused routines |
blob | commitdiff | raw | diff to current |
2021-07-08 |
Piotr Trojanek | [Ada] Simplify redundant checks for non-empty lists |
blob | commitdiff | raw | diff to current |
2021-07-07 |
Gary Dismukes | [Ada] Assertion errors on concurrent types with -gnatc... |
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-03 |
Arnaud Charlet | [Ada] Update copyright notice |
blob | commitdiff | raw | diff to current |
2021-05-03 |
Piotr Trojanek | [Ada] Remove leading and trailing spaces in error messages |
blob | commitdiff | raw | diff to current |
2020-12-17 |
Yannick Moy | [Ada] Fixes for GNAT error/warning messages |
blob | commitdiff | raw | diff to current |
2020-10-23 |
Justin Squirek | [Ada] Further Ada 2020 work on accessibility checking |
blob | commitdiff | raw | diff to current |
2020-10-22 |
Steve Baird | [Ada] AI12-0211: Consistency of inherited nonoverridabl... |
blob | commitdiff | raw | diff to current |
2020-10-22 |
Justin Squirek | [Ada] Reimplementation of accessibility checking |
blob | commitdiff | raw | diff to current |
2020-10-15 |
Piotr Trojanek | [Ada] Avoid unnecessary (re)assignments in Make_Info |
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-07-07 |
Eric Botcazou | [Ada] Move generation of range checks for entry familie... |
blob | commitdiff | raw | diff to current |
2020-06-10 |
Arnaud Charlet | [Ada] Remove more references to ASIS |
blob | commitdiff | raw | diff to current |
2020-06-09 |
Eric Botcazou | [Ada] Propagate DIC, Invariant and Predicate attributes... |
blob | commitdiff | raw | diff to current |
2020-06-08 |
Arnaud Charlet | [Ada] Remove processing of SPARK_05 restriction |
blob | commitdiff | raw | diff to current |
2020-06-05 |
Ed Schonberg | [Ada] Spurious error on address clause in task body |
blob | commitdiff | raw | diff to current |
2020-06-02 |
Arnaud Charlet | [Ada] Bump copyright year |
blob | commitdiff | raw | diff to current |
2019-12-12 |
Piotr Trojanek | [Ada] Fix repeated words and typos in doc and comments |
blob | commitdiff | raw | diff to current |
2019-08-21 |
Piotr Trojanek | [Ada] Replace low-level membership tests with high... |
blob | commitdiff | raw | diff to current |
2019-07-11 |
Hristian Kirtchev | [Ada] Missing finalization of private protected type |
blob | commitdiff | raw | diff to current |
2019-07-05 |
Ed Schonberg | [Ada] Compiler loop on illegal nested accept statement |
blob | commitdiff | raw | diff to current |
2019-01-08 |
Pierre-Marie de... | [Ada] Bump copyright years to 2019 |
blob | commitdiff | raw | diff to current |
2018-07-31 |
Piotr Trojanek | [Ada] Replace low-level calls to Ekind with high-level... |
blob | commitdiff | raw | diff to current |
2018-05-23 |
Hristian Kirtchev | [Ada] Suppression of elaboration-related warnings |
blob | commitdiff | raw | diff to current |
2018-05-21 |
Hristian Kirtchev | [Ada] Aspects on stubs |
blob | commitdiff | raw | diff to current |
2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 |
blob | commitdiff | raw | diff to current |
2017-11-16 |
Hristian Kirtchev | opt.ads: Elaboration warnings are now on by default. |
blob | commitdiff | raw | diff to current |
2017-11-09 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-11-09 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-10-09 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-25 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-28 |
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 |
Gary Dismukes | sem_ch9.adb, [...]: Minor reformatting and typo fixes. |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-01-23 |
Javier Miranda | sem_util.adb (New_Copy_Tree): Code cleanup: removal... |
blob | commitdiff | raw | diff to current |
2017-01-23 |
Hristian Kirtchev | sem_ch3.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2017-01-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-01-13 |
Hristian Kirtchev | sem_aggr.adb, [...]: Update all eligible case statement... |
blob | commitdiff | raw | diff to current |
2017-01-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-01-12 |
Arnaud Charlet | [multiple changes] |
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-09 |
Hristian Kirtchev | einfo.ads, einfo.adb: Remove uses of flags Has_Default_... |
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-07-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-06-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-06-16 |
Hristian Kirtchev | bindgen.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2016-06-16 |
Gary Dismukes | sem_ch9.adb, [...]: Minor reformatting and typo fixes. |
blob | commitdiff | raw | diff to current |
2016-06-16 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-06-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-06-14 |
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-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-11-24 |
Gary Dismukes | sem_ch3.adb, [...]: Minor reformatting, rewording,... |
blob | commitdiff | raw | diff to current |
2015-11-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-10-20 |
Arnaud Charlet | s-valllu.adb, [...]: Fix typos. |
blob | commitdiff | raw | diff to current |
2015-10-20 |
Arnaud Charlet | sem_aggr.adb, [...]: Fix typos. |
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-05-12 |
Robert Dewar | sem_ch9.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2015-05-12 |
Ed Schonberg | sem_ch9.adb (Collect_Interfaces): Initialize Direct_Pri... |
blob | commitdiff | raw | diff to current |
2015-03-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-08-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-29 |
Robert Dewar | gnat_rm.texi: Document pragma Unevaluated_Use_Of_Old. |
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-06-13 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-06-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-05-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-05-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Yannick Moy | exp_spark.adb (Expand_SPARK_Call): Remove procedure. |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Robert Dewar | sem_aggr.adb (Resolve_Array_Aggregate): Identify duplic... |
blob | commitdiff | raw | diff to current |
2013-09-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-01-02 |
Robert Dewar | errout.adb (Set_Msg_Insertion_Warning): Correct typo... |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Robert Dewar | sem_ch9.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-01 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-08-06 |
Vincent Pucci | re PR ada/54125 (s-atopri.adb:40:10: "Support_Atomic_Pr... |
blob | commitdiff | raw | diff to current |
next |