Age | Commit message (Expand) | Author | Files | Lines |
2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
2023-10-19 | ada: Support new SPARK aspect Side_Effects | Yannick Moy | 1 | -0/+4 |
2023-05-22 | ada: Add Is_Past_Self_Hiding_Point flag | Bob Duff | 1 | -3/+0 |
2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2022-11-08 | ada: Enforce matching of extra formals | Javier Miranda | 1 | -0/+19 |
2022-09-12 | [Ada] Revert "Enforce matching of extra formals" | Javier Miranda | 1 | -16/+0 |
2022-09-06 | [Ada] Enforce matching of extra formals | Javier Miranda | 1 | -0/+16 |
2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
2021-06-29 | [Ada] Overriding errors on renamings and instances overriding predefined oper... | Gary Dismukes | 1 | -0/+3 |
2021-06-21 | [Ada] INOX: prototype "when" constructs | Justin Squirek | 1 | -0/+1 |
2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
2020-06-18 | [Ada] ACATS 4.1J - B854003 - Subtype conformance check missed | Arnaud Charlet | 1 | -0/+10 |
2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
2019-07-09 | [Ada] Reformat comments | Piotr Trojanek | 1 | -1/+1 |
2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
2018-12-11 | [Ada] Spurious errors on aspect specifications in generic units | Ed Schonberg | 1 | -1/+2 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
2016-05-02 | exp_ch9.adb, [...]: Minor reformatting and typo fixes. | Gary Dismukes | 1 | -3/+3 |
2016-05-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -25/+0 |
2015-03-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+14 |
2014-07-29 | sem_ch6.adb: Move Build_Body_To_Inline... | Ed Schonberg | 1 | -33/+0 |
2014-06-11 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2014-01-27 | [multiple changes] | Arnaud Charlet | 1 | -2/+1 |
2013-10-13 | einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents. | Hristian Kirtchev | 1 | -3/+3 |
2013-10-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+13 |
2013-09-10 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2013-04-24 | exp_ch6.adb: Remove with and use clause for Sem_Prag. | Hristian Kirtchev | 1 | -5/+5 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -7/+8 |
2013-01-02 | errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if... | Robert Dewar | 1 | -6/+10 |
2012-03-15 | sem_ch6.ads: Minor comment updates. | Robert Dewar | 1 | -3/+9 |
2012-03-15 | [multiple changes] | Arnaud Charlet | 1 | -2/+3 |
2012-03-07 | sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an in... | Javier Miranda | 1 | -6/+26 |
2011-09-05 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2011-09-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+5 |
2011-08-02 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-01 | sem_ch3.adb, [...]: Minor reformatting | Robert Dewar | 1 | -7/+7 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2011-08-01 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2010-10-26 | [multiple changes] | Arnaud Charlet | 1 | -3/+4 |
2010-10-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+4 |
2010-10-07 | gnat_rm.texi, [...]: Change spelling parametrize(d) => parameterize(d). | Robert Dewar | 1 | -1/+1 |
2010-10-07 | exp_util.adb (Insert_Actions): Add handling of N_Parametrized_Expression. | Robert Dewar | 1 | -0/+1 |
2010-09-09 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2010-09-09 | sem_ch3.adb (Derive_Subprogram): The code that checks if a dispatching primit... | Javier Miranda | 1 | -4/+4 |
2009-04-20 | [multiple changes] | Arnaud Charlet | 1 | -10/+16 |
2009-04-10 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
2009-04-10 | sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for undocumented formal. | Thomas Quinot | 1 | -1/+2 |
2008-07-30 | einfo.adb: Flag245 is now used. | Hristian Kirtchev | 1 | -3/+5 |
2008-05-26 | einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias. | Javier Miranda | 1 | -4/+16 |