aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo.ads
AgeCommit message (Expand)AuthorFilesLines
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-2/+9
2024-06-21ada: Small cleanup in processing of primitive operationsEric Botcazou1-16/+18
2024-06-21ada: Generic formal/actual matching -- misc cleanupBob Duff1-14/+15
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+8
2024-06-10ada: Fix references to Ada RM in commentsPiotr Trojanek1-1/+1
2024-05-17ada: Document secondary usage of Materialize_Entity flagEric Botcazou1-2/+3
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-21/+21
2024-05-07ada: Fix bad interaction between homogeneous finalization master and BIP prot...Eric Botcazou1-9/+0
2024-05-07ada: Remove obsolete field Postconditions_ProcEric Botcazou1-3/+0
2024-05-06ada: Deconstruct support for abstract states with Relaxed_InitializationPiotr Trojanek1-5/+0
2024-05-06ada: Rework processing of special objects needing finalizationEric Botcazou1-5/+3
2024-05-06ada: Partial implementation of redesign of support for object finalizationEric Botcazou1-11/+12
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Rename Is_Constr_Subt_For_UN_Aliased flagEric Botcazou1-7/+7
2023-12-19ada: Further cleanup in finalization machineryEric Botcazou1-9/+7
2023-09-26ada: Fix missing finalization of extended return object on abnormal completionEric Botcazou1-4/+4
2023-07-28ada: Fix unsupported dispatching constructor callJavier Miranda1-1/+1
2023-07-28ada: Allow calls to Number_Formals when no formals are presentPiotr Trojanek1-1/+1
2023-06-20ada: Fix fallout of fix to handling of private views in instancesEric Botcazou1-1/+1
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-0/+5
2023-05-26ada: Fix typos "statment" and "condtion"Bob Duff1-1/+1
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou1-6/+6
2023-05-25ada: Add Entry_Cancel_Parameter to E_LabelBob Duff1-0/+3
2023-05-25ada: Minor fixes in description of scope depthEric Botcazou1-3/+3
2023-05-23ada: Fix latent issue in support for protected entriesEric Botcazou1-21/+0
2023-05-23ada: Add mention of what LSP stands forRonan Desplanques1-1/+2
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-2/+2
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-0/+13
2023-05-15ada: Improve comment on First_EntityBob Duff1-5/+6
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-16/+11
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Fix incorrect warning about unreferenced packed arraysBob Duff1-3/+3
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-3/+5
2022-11-04ada: Fix various typos in node and entity description commentsPiotr Trojanek1-6/+7
2022-09-29ada: Remove duplicated doc comment sectionRonan Desplanques1-37/+3
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-6/+8
2022-07-12[Ada] Spurious use_type clause warningJustin Squirek1-0/+4
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-9/+21
2022-06-02[Ada] Fix references to old variables that have been refactoredMarc Poulhiès1-4/+4
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-15/+11
2022-05-18[Ada] Ada2022: AI12-0143 Index attribute for entry familiesJavier Miranda1-1/+2
2022-05-09[Ada] Revamp type resolution for comparison and equality operatorsEric Botcazou1-6/+12
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Fix typo in comments found running aspellEtienne Servais1-1/+1
2022-01-06[Ada] Rename Any_Access into Universal_AccessEric Botcazou1-4/+0
2021-12-01[Ada] Fix incorrect fixed-point computation in expression functionEric Botcazou1-1/+1
2021-12-01[Ada] Improve error messages for dot notation when -gnatX not usedYannick Moy1-10/+11
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-5/+5
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-2/+3
2021-10-04[Ada] Fix latent problem in Sem_Ch8.Build_Class_Wide_WrapperJavier Miranda1-0/+8
generated by cgit v1.1 at 2024-07-18 08:17:41 +0000