| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2023-11-07 | ada: Rename Is_Limited_View to reflect actual query | Yannick Moy | 1 | -1/+1 |
| 2023-11-07 | ada: Implement Aspects as fields under nodes | Viljar Indus | 1 | -29/+40 |
| 2023-11-07 | ada: Cleanup "not Present" on List_Id | Piotr Trojanek | 1 | -1/+1 |
| 2023-11-07 | ada: Cleanup more "not Present" | Piotr Trojanek | 1 | -7/+5 |
| 2023-10-19 | ada: Seize opportunity to reuse List_Length | Ronan Desplanques | 1 | -7/+1 |
| 2023-09-26 | ada: Fix deferred constant wrongly rejected | Eric Botcazou | 1 | -2/+4 |
| 2023-09-19 | ada: Private extensions with the keyword "synchronized" are always limited. | Richard Wai | 1 | -3/+9 |
| 2023-09-05 | ada: Enforce subtype conformance of interface primitives | Javier Miranda | 1 | -0/+105 |
| 2023-08-01 | ada: Bugbox compiling Constrained_Protected_Object'Image | Steve Baird | 1 | -0/+2 |
| 2023-08-01 | ada: Incorrect optimization for unconstrained limited record component type | Steve Baird | 1 | -18/+0 |
| 2023-06-20 | ada: Fix bug in predicate checks with address clauses | Bob Duff | 1 | -1/+10 |
| 2023-06-20 | ada: Small fixes to handling of private views in instances | Eric Botcazou | 1 | -1/+8 |
| 2023-06-20 | ada: Fix type derivation of subtype of derived type | Marc Poulhiès | 1 | -3/+33 |
| 2023-06-13 | ada: Support new GNAT-specific aspect Ghost_Predicate | Yannick Moy | 1 | -17/+6 |
| 2023-05-30 | ada: Only build access-to-subprogram wrappers when expander is active | Piotr Trojanek | 1 | -10/+2 |
| 2023-05-29 | ada: Analyze pre/post on access-to-subprogram without a wrapper | Piotr Trojanek | 1 | -12/+3 |
| 2023-05-26 | ada: Corrections to premature-references rules | Bob Duff | 1 | -5/+17 |
| 2023-05-26 | ada: Cleanups in handling of aggregates | Piotr Trojanek | 1 | -16/+18 |
| 2023-05-26 | ada: Fix iteration over component items with pragmas | Piotr Trojanek | 1 | -2/+2 |
| 2023-05-25 | ada: Fix internal error on declare-expression in post-condition | Eric Botcazou | 1 | -5/+7 |
| 2023-05-25 | ada: Switch from E_Void to Is_Not_Self_Hidden | Bob Duff | 1 | -26/+24 |
| 2023-05-25 | ada: Enrich documentation of subprogram | Ronan Desplanques | 1 | -1/+5 |
| 2023-05-25 | ada: Maximize use of existing constant | Ronan Desplanques | 1 | -2/+2 |
| 2023-05-25 | ada: Reduce span of variable | Ronan Desplanques | 1 | -1/+1 |
| 2023-05-23 | ada: ICE on BIP call in class-wide function return within instance | Gary Dismukes | 1 | -1/+0 |
| 2023-05-23 | ada: Remove the body of System.Storage_Elements | Eric Botcazou | 1 | -0/+1 |
| 2023-05-23 | ada: Fix bogus error on predicated limited record declared in protected type | Eric Botcazou | 1 | -0/+1 |
| 2023-05-22 | ada: Remove extra parentheses | Arnaud Charlet | 1 | -1/+1 |
| 2023-05-22 | ada: Fix handling of constrained array declarations in declare-expression | Eric Botcazou | 1 | -2/+2 |
| 2023-05-15 | ada: Clean up vanishing entity fields | Bob Duff | 1 | -22/+7 |
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2022-12-06 | ada: Elide the copy in extended returns for nonlimited by-reference types | Eric Botcazou | 1 | -0/+139 |
| 2022-12-06 | ada: Accessibility code reorganization and bug fixes | Justin Squirek | 1 | -0/+1 |
| 2022-11-28 | ada: Implement change to SPARK RM rule on state refinement | Yannick Moy | 1 | -1/+2 |
| 2022-11-21 | ada: Move warnings switches | Bob Duff | 1 | -0/+1 |
| 2022-11-08 | ada: Enforce matching of extra formals | Javier Miranda | 1 | -13/+12 |
| 2022-11-08 | ada: Improve handling of declare expressions in deferred-freezing contexts | Steve Baird | 1 | -0/+20 |
| 2022-11-08 | ada: Cleanup local variable that is only set as an out parameter | Piotr Trojanek | 1 | -9/+9 |
| 2022-11-08 | ada: Allow initialization of limited objects with delta aggregates | Piotr Trojanek | 1 | -0/+1 |
| 2022-11-07 | ada: Cleanup detection of code within generic instances | Piotr Trojanek | 1 | -3/+3 |
| 2022-11-04 | ada: Refactor: replace uses of `not Present(X)` with `No (X)` | Ghjuvan Lacambre | 1 | -4/+4 |
| 2022-11-04 | ada: Allow enabling a restricted set of language extensions. | Steve Baird | 1 | -2/+2 |
| 2022-09-12 | [Ada] Revert "Enforce matching of extra formals" | Javier Miranda | 1 | -11/+12 |
| 2022-09-06 | [Ada] Enforce matching of extra formals | Javier Miranda | 1 | -12/+11 |
| 2022-09-05 | [Ada] Fix crash for Default_Initial_Condition on derived enumeration type | Eric Botcazou | 1 | -60/+23 |
| 2022-09-02 | [Ada] Fix crash on declaration of overaligned array with constraints | Eric Botcazou | 1 | -8/+1 |
| 2022-07-05 | [Ada] Perform object rewriting as renaming only in the expander | Eric Botcazou | 1 | -35/+0 |
| 2022-07-05 | [Ada] Fix dangling bounds for array result of BIP functions | Eric Botcazou | 1 | -16/+19 |
| 2022-07-04 | [Ada] Enforce deferred constant completion rules | Steve Baird | 1 | -14/+32 |
| 2022-07-04 | [Ada] Fix missing error on 'Access of constrained array | Bob Duff | 1 | -1/+1 |
