2021-07-09 |
Piotr Trojanek | [Ada] Fix typo in comment related to derived discrimina... |
blob | commitdiff | raw |
2021-07-06 |
Gary Dismukes | [Ada] Removal of various ??? comments plus related... |
blob | commitdiff | raw | diff to current |
2021-06-17 |
Gary Dismukes | [Ada] Implementation of Inox feature of fixed lower... |
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 |
blob | commitdiff | raw | diff to current |
2021-05-07 |
Gary Dismukes | [Ada] Remove some ??? comments |
blob | commitdiff | raw | diff to current |
2021-05-03 |
Arnaud Charlet | [Ada] Update copyright notice |
blob | commitdiff | raw | diff to current |
2020-12-17 |
Arnaud Charlet | [Ada] Remove unused subprograms in validsw |
blob | commitdiff | raw | diff to current |
2020-11-30 |
Gary Dismukes | [Ada] Implement inheritance for Default_Initial_Conditi... |
blob | commitdiff | raw | diff to current |
2020-10-23 |
Johannes Kanig | [Ada] GNATprove: remove support for external axiomatiza... |
blob | commitdiff | raw | diff to current |
2020-10-20 |
Piotr Trojanek | [Ada] Support for new aspect Subprogram_Variant on... |
blob | commitdiff | raw | diff to current |
2020-10-20 |
Piotr Trojanek | [Ada] Minor reorder subprogram declarations alphabetically |
blob | commitdiff | raw | diff to current |
2020-10-16 |
Arnaud Charlet | [Ada] Remove support for -gnatP and pragma Polling |
blob | commitdiff | raw | diff to current |
2020-10-16 |
Eric Botcazou | [Ada] Add Max_Integer_Size attribute and couple of... |
blob | commitdiff | raw | diff to current |
2020-07-10 |
Arnaud Charlet | [Ada] Use small limit for aggregates inside subprograms |
blob | commitdiff | raw | diff to current |
2020-07-06 |
Piotr Trojanek | [Ada] Fix typo in comment of Get_Index_Subtype |
blob | commitdiff | raw | diff to current |
2020-06-08 |
Piotr Trojanek | [Ada] Reuse Get_Index_Subtype in the special expander... |
blob | commitdiff | raw | diff to current |
2020-06-02 |
Arnaud Charlet | [Ada] Bump copyright year |
blob | commitdiff | raw | diff to current |
2019-12-12 |
Eric Botcazou | [Ada] Mark Ada subprograms and variables referenced... |
blob | commitdiff | raw | diff to current |
2019-09-19 |
Piotr Trojanek | [Ada] Remove duplicated routines for getting homonym... |
blob | commitdiff | raw | diff to current |
2019-09-18 |
Claire Dross | [Ada] Factor out code for deciding statically known... |
blob | commitdiff | raw | diff to current |
2019-08-12 |
Eric Botcazou | [Ada] Small comment tweaks for 3 predicates on bit... |
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-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 |
2018-12-11 |
Gary Dismukes | [Ada] Minor reformattings |
blob | commitdiff | raw | diff to current |
2018-12-11 |
Hristian Kirtchev | [Ada] Crash on ignored Ghost expression function |
blob | commitdiff | raw | diff to current |
2018-12-03 |
Hristian Kirtchev | [Ada] Minor reformattings |
blob | commitdiff | raw | diff to current |
2018-11-14 |
Ed Schonberg | [Ada] Problem with boundary case of XOR operation and... |
blob | commitdiff | raw | diff to current |
2018-11-14 |
Hristian Kirtchev | [Ada] Limited function violates No_Exception_Propagation |
blob | commitdiff | raw | diff to current |
2018-09-26 |
Eric Botcazou | [Ada] Preparation for new description of interface... |
blob | commitdiff | raw | diff to current |
2018-05-30 |
Hristian Kirtchev | [Ada] Minor reformatting |
blob | commitdiff | raw | diff to current |
2018-05-28 |
Justin Squirek | [Ada] Spurious constraint error on array of null-exclud... |
blob | commitdiff | raw | diff to current |
2018-01-11 |
Arnaud Charlet | [Ada] Bump copyright notices to 2018 |
blob | commitdiff | raw | diff to current |
2017-12-05 |
Pierre-Marie de... | sem_util.adb (Contains_Refined_State): Remove. |
blob | commitdiff | raw | diff to current |
2017-10-09 |
Pierre-Marie de... | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-09-13 |
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-05-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-05-02 |
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-27 |
Yannick Moy | exp_util.ads, [...] (Evaluate_Name): Force evaluation... |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Gary Dismukes | exp_util.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Hristian Kirtchev | exp_util.adb, [...]: Revert previous changes. |
blob | commitdiff | raw | diff to current |
2017-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2017-04-25 |
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-09 |
Hristian Kirtchev | einfo.ads, einfo.adb: Remove uses of flags Has_Default_... |
blob | commitdiff | raw | diff to current |
2016-07-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-07-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-05-02 |
Gary Dismukes | exp_util.ads, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2016-05-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2016-04-27 |
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-18 |
Hristian Kirtchev | re PR ada/66242 (Front-end error if exception propagati... |
blob | commitdiff | raw | diff to current |
2015-11-18 |
Hristian Kirtchev | sem_ch4.adb: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2015-11-12 |
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-16 |
Arnaud Charlet | exp_ch5.adb, [...]: Code clean up: remove special handl... |
blob | commitdiff | raw | diff to current |
2015-05-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-05-22 |
Bob Duff | exp_utils.ads, [...] (Find_Optional_Prim_Op): New inter... |
blob | commitdiff | raw | diff to current |
2015-05-22 |
Robert Dewar | exp_ch4.adb: Minor rewording. |
blob | commitdiff | raw | diff to current |
2015-05-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-03-13 |
Robert Dewar | exp_util.ads, [...] (Force_Evaluation): Add Related_Id... |
blob | commitdiff | raw | diff to current |
2015-01-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2015-01-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-11-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-11-20 |
Eric Botcazou | sem_ch3.adb (Analyze_Object_Declaration): Swap a couple... |
blob | commitdiff | raw | diff to current |
2014-10-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-10-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-10-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-10-10 |
Robert Dewar | exp_util.ads, [...]: Minor code reorganization. |
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-08-01 |
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 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-07-16 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-06 |
Robert Dewar | exp_util.ads, [...]: Minor reformatting and code clean... |
blob | commitdiff | raw | diff to current |
2014-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Hristian Kirtchev | exp_util.adb, [...] (Entity_Of): Moved to Sem_Util. |
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-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
next |