| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2020-10-23 | [Ada] Further Ada 2020 work on accessibility checking | Justin Squirek | 1 | -1/+2 |
| 2020-10-23 | [Ada] Implement new legality rules introduced in C.6(12) by AI12-0363 | Eric Botcazou | 1 | -64/+95 |
| 2020-10-22 | [Ada] AI12-0211: Consistency of inherited nonoverridable aspects | Steve Baird | 1 | -2/+32 |
| 2020-10-22 | [Ada] Reimplementation of accessibility checking | Justin Squirek | 1 | -1/+3 |
| 2020-10-22 | [Ada] Fix transformation of Suppress aspect into pragma | Ghjuvan Lacambre | 1 | -59/+72 |
| 2020-10-21 | [Ada] Basic support for 128-bit types | Eric Botcazou | 1 | -7/+14 |
| 2020-10-20 | [Ada] Replace low-level Ekind membership tests with high-level Is_Formal | Piotr Trojanek | 1 | -1/+1 |
| 2020-10-20 | [Ada] Support for new aspect Subprogram_Variant on recursive subprograms | Piotr Trojanek | 1 | -6/+21 |
| 2020-10-19 | [Ada] Remove excessive guards in building predicate functions | Piotr Trojanek | 1 | -4/+4 |
| 2020-10-19 | [Ada] Reject use of Relaxed_Initialization on scalar/access param or result | Yannick Moy | 1 | -0/+23 |
| 2020-10-16 | [Ada] Assorted style cleanups | Piotr Trojanek | 1 | -1/+1 |
| 2020-10-16 | [Ada] Ada2020: AI12-0129 Make protected objects more protecting | Arnaud Charlet | 1 | -2/+17 |
| 2020-10-16 | [Ada] Add Max_Integer_Size attribute and couple of helper functions | Eric Botcazou | 1 | -11/+11 |
| 2020-10-15 | [Ada] Double evaluation of predicate | Arnaud Charlet | 1 | -1/+1 |
| 2020-10-15 | [Ada] Ada2020: AI12-0180 Using subprograms and entries in invariants | Bob Duff | 1 | -10/+14 |
| 2020-10-15 | [Ada] Ada_2020: Add aspect Aggregate to standard container units | Ed Schonberg | 1 | -8/+23 |
| 2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -67/+62 |
| 2020-07-27 | [Ada] Warnings on overloays involving generic In_Parameters | Ed Schonberg | 1 | -0/+4 |
| 2020-07-23 | [Ada] Ada2020: AI12-0027 Access values and unaliased component | Arnaud Charlet | 1 | -215/+228 |
| 2020-07-16 | [Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU | Bob Duff | 1 | -1/+18 |
| 2020-07-16 | [Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restriction | Bob Duff | 1 | -74/+56 |
| 2020-07-16 | [Ada] AI12-0373 Additional check on Integer_Literal function | Arnaud Charlet | 1 | -2/+12 |
| 2020-07-16 | [Ada] Handle N_Others_Choice case in range-building function | Ghjuvan Lacambre | 1 | -0/+19 |
| 2020-07-16 | [Ada] Spurious accessibility error on allocator in generic instance | Justin Squirek | 1 | -1/+1 |
| 2020-07-15 | [Ada] Spurious error on Predicate_Failure aspect | Arnaud Charlet | 1 | -0/+2 |
| 2020-07-15 | [Ada] Mention -gnat2020 in error message | Arnaud Charlet | 1 | -1/+2 |
| 2020-07-15 | [Ada] Do not generate elaboration code for alignment aspect | Eric Botcazou | 1 | -4/+17 |
| 2020-07-15 | [Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced | Arnaud Charlet | 1 | -3/+118 |
| 2020-07-15 | [Ada] Extend static functions | Arnaud Charlet | 1 | -7/+59 |
| 2020-07-10 | [Ada] Add warning for overlays changing scalar storage order | Eric Botcazou | 1 | -4/+6 |
| 2020-07-10 | [Ada] Reformatting and typo corrections | Gary Dismukes | 1 | -15/+15 |
| 2020-07-10 | [Ada] Use small limit for aggregates inside subprograms | Arnaud Charlet | 1 | -4/+4 |
| 2020-07-10 | [Ada] Part of implementation of AI12-0212: container aggregates | Ed Schonberg | 1 | -2/+298 |
| 2020-07-08 | [Ada] Minor reformatting and typo fix | Gary Dismukes | 1 | -1/+1 |
| 2020-07-08 | [Ada] Accept aspect Relaxed_Initialization on generic subprograms | Piotr Trojanek | 1 | -6/+10 |
| 2020-07-08 | [Ada] Analyze aspects once generic subprograms are recognized | Piotr Trojanek | 1 | -16/+0 |
| 2020-07-08 | [Ada] Disallow Predicate_Failure without predicate | Bob Duff | 1 | -10/+6 |
| 2020-07-08 | [Ada] Add expected and actual size to "bit number out of range" error message | Ghjuvan Lacambre | 1 | -4/+8 |
| 2020-07-08 | [Ada] Allow boolean expressions in aspect Relaxed_Initialization | Piotr Trojanek | 1 | -4/+40 |
| 2020-07-08 | [Ada] Check predicates for subtypes of private types | Bob Duff | 1 | -0/+15 |
| 2020-07-07 | [Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clauses | Ghjuvan Lacambre | 1 | -0/+7 |
| 2020-07-07 | [Ada] Allow aspect Relaxed_Initialization on protected entries | Piotr Trojanek | 1 | -1/+1 |
| 2020-07-06 | [Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive operations | Arnaud Charlet | 1 | -35/+36 |
| 2020-07-06 | [Ada] Wording problems with predicates (AI12-0099) | Gary Dismukes | 1 | -0/+3 |
| 2020-06-18 | [Ada] Missing error on aspects Input and Output | Javier Miranda | 1 | -23/+10 |
| 2020-06-17 | [Ada] Additional legality rule for indexing operation for derived type | Ed Schonberg | 1 | -2/+34 |
| 2020-06-17 | [Ada] Ada2020: AI12-0279 more dispatching points with aspect Yield | Javier Miranda | 1 | -0/+100 |
| 2020-06-17 | [Ada] Support aspect Relaxed_Initialization on private types and constants | Piotr Trojanek | 1 | -2/+33 |
| 2020-06-17 | [Ada] Implement static expression functions for Ada 202x (AI12-0075) | Gary Dismukes | 1 | -0/+132 |
| 2020-06-16 | [Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals) | Steve Baird | 1 | -1/+154 |
