| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [Ada] Hang on compilation of unit with type extension in body | Justin Squirek | 2021-11-09 | 1 | -0/+8 |
| * | [Ada] Change format of the ?? warning insertion sequence | Etienne Servais | 2021-10-25 | 1 | -3/+3 |
| * | [Ada] Renamed_Or_Alias cleanup | Bob Duff | 2021-10-25 | 1 | -0/+1 |
| * | [Ada] tech debt: Clean up Uint fields, such as Esize | Bob Duff | 2021-10-20 | 1 | -1/+2 |
| * | [Ada] Valid postconditions incorrectly rejected. | Steve Baird | 2021-10-11 | 1 | -2/+12 |
| * | [Ada] Rewrite extended names in derived class-wide expressions | Piotr Trojanek | 2021-10-11 | 1 | -1/+1 |
| * | [Ada] Fix crash on array component with Default_Value | Piotr Trojanek | 2021-10-11 | 1 | -3/+1 |
| * | [Ada] Front-end support for Storage_Model feature | Gary Dismukes | 2021-10-05 | 1 | -0/+26 |
| * | [Ada] Rewrite operator entity in derived class-wide expressions | Piotr Trojanek | 2021-10-05 | 1 | -1/+1 |
| * | [Ada] Fix resolution of Declare_Expressions involving transient scopes | Ed Schonberg | 2021-10-04 | 1 | -0/+5 |
| * | [Ada] Assert_Failure on derived type with inherited Default_Initial_Condition | Gary Dismukes | 2021-10-01 | 1 | -44/+3 |
| * | [Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditions | Javier Miranda | 2021-10-01 | 1 | -102/+81 |
| * | [Ada] Fix conformance errors and erroneous code | Bob Duff | 2021-09-22 | 1 | -2/+2 |
| * | [Ada] Fix obsolete comments/name referring to girder discriminants | Yannick Moy | 2021-09-22 | 1 | -4/+4 |
| * | [Ada] Set related expression for external DISCR symbols in Build_Temporary | Daniel Mercier | 2021-09-21 | 1 | -0/+11 |
| * | [Ada] Add assertions to Uintp | Bob Duff | 2021-09-21 | 1 | -0/+3 |
| * | [Ada] Clean up uses of Esize and RM_Size | Bob Duff | 2021-09-21 | 1 | -8/+7 |
| * | [Ada] Present and No functions for type Uint | Bob Duff | 2021-09-20 | 1 | -3/+3 |
| * | [Ada] Spurious link error with child unit and different Assertion modes. | Ed Schonberg | 2021-09-20 | 1 | -2/+20 |
| * | [Ada] Remove Unknown_ functions | Bob Duff | 2021-07-08 | 1 | -2/+2 |
| * | [Ada] Transient scope cleanup | Bob Duff | 2021-07-07 | 1 | -3/+1 |
| * | [Ada] tech debt: Parent (Empty) is not allowed | Bob Duff | 2021-06-29 | 1 | -2/+4 |
| * | [Ada] Compiler crash on sliding of fixed-lower-bound object in Loop_Invariant | Gary Dismukes | 2021-06-21 | 1 | -4/+9 |
| * | [Ada] Error issued on string literal assigned to fixed-lower-bound array | Gary Dismukes | 2021-06-18 | 1 | -2/+6 |
| * | [Ada] Implementation of Inox feature of fixed lower bounds on array types/sub... | Gary Dismukes | 2021-06-17 | 1 | -0/+181 |
| * | [Ada] Crash on a nested aggregate containing controlled objects | Arnaud Charlet | 2021-06-17 | 1 | -0/+3 |
| * | [Ada] Look at Others_Discrete_Choices for N_Others_Choice | Richard Kenner | 2021-06-17 | 1 | -1/+8 |
| * | [Ada] Avoid unhelpful dead code warnings | Steve Baird | 2021-06-15 | 1 | -17/+22 |
| * | [Ada] Enable removal of side-effects in component declarations | Piotr Trojanek | 2021-06-15 | 1 | -1/+2 |
| * | [Ada] Fix bug in if_expressions introduced by var-size nodes changes | Bob Duff | 2021-06-15 | 1 | -6/+3 |
| * | [Ada] Add support for folding more and/or expressions | Arnaud Charlet | 2021-06-15 | 1 | -2/+12 |
| * | [Ada] Minor reformattings | Bob Duff | 2021-05-07 | 1 | -42/+42 |
| * | [Ada] Variable-sized node types -- cleanup | Bob Duff | 2021-05-07 | 1 | -11/+11 |
| * | [Ada] Variable-sized node types | Bob Duff | 2021-05-07 | 1 | -11/+27 |
| * | [Ada] Crash on imported object with deep initialization and No_Aborts | Ed Schonberg | 2021-05-07 | 1 | -0/+20 |
| * | [Ada] Spurious error on protected call in inherited postcondition | Ed Schonberg | 2021-05-07 | 1 | -0/+1 |
| * | [Ada] Fix typos | Arnaud Charlet | 2021-05-06 | 1 | -1/+2 |
| * | [Ada] Remove commented code | Ghjuvan Lacambre | 2021-05-05 | 1 | -20/+0 |
| * | [Ada] Update copyright notice | Arnaud Charlet | 2021-05-03 | 1 | -1/+1 |
| * | [Ada] Replace calls to RTE with Is_RTE where possible | Piotr Trojanek | 2021-05-03 | 1 | -2/+2 |
| * | [Ada] SPARK needs DIC expressions within partial DIC procedures for abstract ... | Gary Dismukes | 2021-04-29 | 1 | -1/+1 |
| * | [Ada] AI12-0397: Default_Initial_Condition expressions for derived types | Gary Dismukes | 2021-04-28 | 1 | -6/+12 |
| * | [Ada] Remove unused subprograms in validsw | Arnaud Charlet | 2020-12-17 | 1 | -137/+0 |
| * | [Ada] Simplify membership tests with N_Subprogram_Call subtype | Piotr Trojanek | 2020-12-16 | 1 | -2/+1 |
| * | [Ada] Transform_Function_Array issues | Arnaud Charlet | 2020-12-15 | 1 | -4/+6 |
| * | [Ada] Add annotation after recent compiler changes | Arnaud Charlet | 2020-12-14 | 1 | -3/+2 |
| * | [Ada] Fix internal error on bit-packed array in Volatile_Full_Access record | Eric Botcazou | 2020-12-14 | 1 | -6/+3 |
| * | [Ada] Implement inheritance for Default_Initial_Condition and address other gaps | Gary Dismukes | 2020-11-30 | 1 | -179/+461 |
| * | [Ada] Fix folding of comparison operators in GNATprove mode | Piotr Trojanek | 2020-11-30 | 1 | -0/+11 |
| * | [Ada] Confusion in Transform_Function_Array and internal subprograms | Arnaud Charlet | 2020-11-30 | 1 | -3/+1 |
