aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gnat_ugn.texi
AgeCommit message (Expand)AuthorFilesLines
2024-11-12ada: Add documentation about GNAT LLVM to GNAT User's GuideRichard Kenner1-515/+630
2024-11-04ada: Add doc for deep delta aggregatesRaphaël AMIARD1-2/+2
2024-10-25ada: Update GNAT UGRichard Kenner1-2188/+2219
2024-10-25ada: Adjust documentation of External_InitializationRonan Desplanques1-1/+1
2024-10-25ada: Update simpler accessibility model docTonu Naks1-1/+1
2024-10-25ada: Misc improvements to gnat RMBob Duff1-2/+2
2024-10-08ada: Remove references to internal gnat RFC'sTonu Naks1-1/+1
2024-10-08ada: Use semantics from the RFC for declarative items mixed with statementsRaphaël AMIARD1-1/+1
2024-10-08ada: Add External_Initialization extensionRonan Desplanques1-5/+5
2024-09-02ada: Create usage entry for -gnatw_lViljar Indus1-4/+4
2024-09-02ada: Fix minor issues in -gnaty0's documentationRonan Desplanques1-4/+4
2024-08-29ada: Update documentation for conditional when constructsJustin Squirek1-2/+2
2024-08-23ada: Emit a warning on inheritly limited typesViljar Indus1-1/+26
2024-08-02ada: Update doc of Style_Checks pragmaTonu Naks1-1/+1
2024-08-02ada: Improve documenation about security of PRGNsJohannes Kliemann1-1/+1
2024-08-02ada: Fix layout of GNAT reference manual sectionRonan Desplanques1-1/+1
2024-08-01ada: Implement full relaxed finalization semantics for controlled objectsEric Botcazou1-2/+2
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-2/+2
2024-06-20ada: New pragma to default all interrupts to system.Doug Rupp1-1/+5
2024-06-20ada: Update Bit Ordering references in GNAT Reference ManualEric Botcazou1-1/+1
2024-06-20ada: Add documentation for Subprogram_Variant aspect and pragmaPiotr Trojanek1-1/+1
2024-06-20ada: Couple of minor fixes in GNAT Reference ManualEric Botcazou1-1/+1
2024-06-20ada: Change messages for -gnatw.v to warningsViljar Indus1-9/+8
2024-06-20ada: Convert -gnatw.n messages to warningsViljar Indus1-5/+5
2024-06-20ada: Add switch for suppressing info messagesViljar Indus1-243/+265
2024-06-20ada: Update documentation for 'SuperJustin Squirek1-2/+2
2024-06-13ada: Remove Iterable from list of GNAT-specific attributesEric Botcazou1-1/+1
2024-06-13ada: Fix Super attribute documentationSteve Baird1-1/+1
2024-06-10ada: Adjust comments and doc about the new use of restriction No_StreamsPiotr Trojanek1-2/+2
2024-05-21ada: Update documentation of warning messagesViljar Indus1-8/+8
2024-05-21ada: Add new Mingw task priority mappingJustin Squirek1-173/+186
2024-05-20ada: Rework and augment documentation on strict aliasingEric Botcazou1-127/+179
2024-05-17ada: Fix probable copy/paste errorMarc Poulhiès1-2/+2
2024-04-15ada: Add documentation for Exceptional_CasesPiotr Trojanek1-2/+2
2024-01-09ada: Document new SPARK aspect and pragma Always_TerminatesPiotr Trojanek1-704/+702
2024-01-03Update copyright dates.Jakub Jelinek1-1/+1
2023-12-19ada: Do not issue SPARK legality error if SPARK_Mode ignoredYannick Moy1-703/+705
2023-11-21ada: Fix misplaced index directive in documentationMarc Poulhiès1-8/+20
2023-11-07ada: Fix documentation of -gnatwcRonan Desplanques1-2/+2
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-5/+6
2023-10-19ada: Document gnatbind -Q switchPatrick Bernardi1-10/+31
2023-09-26ada: Dimensional analysis when used with elementary functionsDerek Schacht1-2/+17
2023-09-05ada: building_executable_programs_with_gnat.rst: fix -gnatw.x indexGhjuvan Lacambre1-2/+2
2023-07-18ada: Expose expected_throw attributeAlexandre Oliva1-2/+2
2023-07-10ada: Documentation for mixed declarations and statementsBob Duff1-2/+2
2023-07-06ada: Refer to non-Ada binding limitations in user guideViljar Indus1-31/+34
2023-07-04ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to gnat_rmViljar Indus1-2/+2
2023-06-20ada: Fix couple of issues in documentation of overflow checkingEric Botcazou1-26/+4
2023-06-20ada: Document partition-wide Ada signal handlersJose Ruiz1-305/+367
2023-06-20ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64Eric Botcazou1-1/+13