Age | Commit message (Expand) | Author | Files | Lines |
2020-11-30 | [Ada] Expand integer-only implementation of ordinary fixed-point types | Eric Botcazou | 1 | -0/+25 |
2020-11-27 | [Ada] Restore access type instead of mode out parameter | Piotr Trojanek | 1 | -4/+4 |
2020-11-27 | [Ada] Change parameter from access type to mode out | Piotr Trojanek | 1 | -4/+4 |
2020-11-26 | [Ada] Issue advice for error regarding Old/Loop_Entry on unevaluated expr. | Yannick Moy | 1 | -4/+12 |
2020-11-25 | [Ada] Document attribute Has_Tagged_Values in GNAT RM | Piotr Trojanek | 1 | -6/+5 |
2020-11-25 | [Ada] Remove repeated calls to Attribute_Name | Piotr Trojanek | 1 | -7/+7 |
2020-11-25 | [Ada] Reuse Is_Named_Number where possible | Piotr Trojanek | 1 | -1/+1 |
2020-11-24 | [Ada] Accept local objects in the prefix of attribute Loop_Entry | Piotr Trojanek | 1 | -1/+5 |
2020-10-26 | [Ada] Avoid crash on use of Ada 2020 feature | Bob Duff | 1 | -1/+1 |
2020-10-23 | [Ada] Further Ada 2020 work on accessibility checking | Justin Squirek | 1 | -5/+15 |
2020-10-23 | [Ada] Implement new legality rules introduced in C.6(12) by AI12-0363 | Eric Botcazou | 1 | -1/+22 |
2020-10-23 | [Ada] Missing detection of unused with_clause | Arnaud Charlet | 1 | -0/+9 |
2020-10-22 | [Ada] Implement AI12-0030: Stream attribute availability | Steve Baird | 1 | -4/+10 |
2020-10-22 | [Ada] Reimplementation of accessibility checking | Justin Squirek | 1 | -3/+6 |
2020-10-22 | [Ada] Fix oversight in Eval_Attribute for Bit_Position | Eric Botcazou | 1 | -1/+1 |
2020-10-20 | [Ada] Implement AI12-0280 Making 'Old more flexible | Steve Baird | 1 | -2/+19 |
2020-10-20 | [Ada] Make attribute Update an obsolescent feature | Claire Dross | 1 | -0/+5 |
2020-10-16 | [Ada] Assorted style cleanups | Piotr Trojanek | 1 | -2/+2 |
2020-10-16 | [Ada] Improvements to implementation of Ada_2020 attribute Reduce | Ed Schonberg | 1 | -1/+22 |
2020-10-16 | [Ada] Add Max_Integer_Size attribute and couple of helper functions | Eric Botcazou | 1 | -0/+8 |
2020-07-27 | [Ada] Ada2020: wording of 'Image messages | Bob Duff | 1 | -11/+6 |
2020-07-27 | [Ada] Remove disabled code | Arnaud Charlet | 1 | -13/+0 |
2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -82/+78 |
2020-07-23 | [Ada] Ada2020: AI12-0027 Access values and unaliased component | Arnaud Charlet | 1 | -0/+83 |
2020-07-16 | [Ada] Ada2020: AI12-0107 convention of By_Protected_Procedure | Javier Miranda | 1 | -4/+25 |
2020-07-15 | [Ada] Wrong resolution of 'access in protected subprogram | Javier Miranda | 1 | -1/+23 |
2020-07-15 | [Ada] Extend static functions | Arnaud Charlet | 1 | -1/+1 |
2020-07-08 | [Ada] Minor reformatting and typo fix | Gary Dismukes | 1 | -7/+7 |
2020-07-08 | [Ada] Accept aspect Relaxed_Initialization on generic subprograms | Piotr Trojanek | 1 | -2/+10 |
2020-07-07 | [Ada] Simplify statically known Max_Size_In_Storage_Elements attribute in mor... | Steve Baird | 1 | -3/+13 |
2020-07-07 | [Ada] Move generation of range checks for entry families to expander | Eric Botcazou | 1 | -1/+1 |
2020-07-07 | [Ada] Remove extra checks for non-static context from resolving 'Update | Piotr Trojanek | 1 | -3/+0 |
2020-07-07 | [Ada] Set range checks for for 'Update on arrays in GNATprove expansion | Piotr Trojanek | 1 | -22/+0 |
2020-07-06 | [Ada] Fix evaluation of Enum_Rep applied to imported constant | Piotr Trojanek | 1 | -0/+2 |
2020-07-06 | [Ada] Set range checks flag on 'Update for GNATprove in expansion | Piotr Trojanek | 1 | -28/+0 |
2020-07-06 | [Ada] Predicates and the current instance of a subtype (AI12-0068) | Gary Dismukes | 1 | -10/+28 |
2020-07-06 | [Ada] Simplify implicit loading of Tasking_State in GNATprove_Mode | Piotr Trojanek | 1 | -15/+10 |
2020-07-06 | [Ada] Remove obsolete code in Eval_Attribute | Eric Botcazou | 1 | -10/+0 |
2020-06-19 | [Ada] Reject junk expressions in attribute Update | Piotr Trojanek | 1 | -1/+6 |
2020-06-19 | [Ada] Add comments about attribute 'Valid_Scalars on private tagged types | Piotr Trojanek | 1 | -0/+4 |
2020-06-18 | [Ada] Small cleanup in the attribute code of the expander | Eric Botcazou | 1 | -0/+5 |
2020-06-18 | [Ada] Fix host/target confusion for attribute To_Address | Eric Botcazou | 1 | -3/+3 |
2020-06-18 | [Ada] Improve compile-time evaluation of value ranges | Eric Botcazou | 1 | -29/+142 |
2020-06-17 | [Ada] Support aspect Relaxed_Initialization on private types and constants | Piotr Trojanek | 1 | -2/+1 |
2020-06-16 | [Ada] Declare expressions | Bob Duff | 1 | -0/+8 |
2020-06-16 | [Ada] Check if attribute Passed_By_Reference is called on incomplete types | Ghjuvan Lacambre | 1 | -0/+1 |
2020-06-15 | [Ada] T'Image calls T'Put_Image | Bob Duff | 1 | -3/+1 |
2020-06-15 | [Ada] Missing errors on aspect checking | Arnaud Charlet | 1 | -3/+20 |
2020-06-15 | [Ada] Support aspect Relaxed_Initialization and attribute Initialized | Piotr Trojanek | 1 | -0/+30 |
2020-06-15 | [Ada] Clean up error handling of 'Image | Bob Duff | 1 | -30/+39 |