aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc/gnat_rm
AgeCommit message (Expand)AuthorFilesLines
2025-01-07ada: Add "finally" GNAT extensionRonan Desplanques1-0/+43
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross2-2/+34
2025-01-06Ada: fix documentation of pragma Unimplemented_UnitEric Botcazou1-3/+3
2025-01-03ada: Handle C++ exception hierarchiesAlexandre Oliva1-1/+162
2024-12-13ada: Fix typo in reference manualRonan Desplanques1-1/+1
2024-12-13ada: Fix documentation of Ada.Real_Time.Timing_EventsRonan Desplanques1-1/+2
2024-12-12ada: Update documentation for External_InitializationRonan Desplanques1-1/+1
2024-11-18ada: Atomic_Synchronization is not a user-visible checkBob Duff2-29/+18
2024-11-12ada: Detect sharing of external file in inconsistent read-write modesPiotr Trojanek1-1/+1
2024-11-04ada: Add doc for deep delta aggregatesRaphaël AMIARD1-0/+148
2024-10-26Fix old glitch in the GNAT Reference ManualEric Botcazou1-1/+1
2024-10-25ada: Adjust documentation of External_InitializationRonan Desplanques1-5/+1
2024-10-25ada: Update simpler accessibility model docTonu Naks1-102/+108
2024-10-25ada: Misc improvements to gnat RMBob Duff1-33/+48
2024-10-08ada: Remove references to internal gnat RFC'sTonu Naks1-89/+836
2024-10-08ada: Use semantics from the RFC for declarative items mixed with statementsRaphaël AMIARD1-3/+49
2024-10-08ada: Add External_Initialization extensionRonan Desplanques1-0/+25
2024-09-02ada: Documentation for generic type inferenceBob Duff1-1/+79
2024-08-29ada: First controlling parameter aspectJavier Miranda1-0/+82
2024-08-29ada: Update documentation for conditional when constructsJustin Squirek1-71/+70
2024-08-02ada: Update doc of Style_Checks pragmaTonu Naks1-5/+74
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou4-6/+30
2024-08-02ada: Improve documenation about security of PRGNsJohannes Kliemann2-3/+7
2024-08-02ada: Fix layout of GNAT reference manual sectionRonan Desplanques1-2/+3
2024-08-01ada: Restrict string interpolation to single string literalJavier Miranda1-14/+2
2024-08-01ada: Implement full relaxed finalization semantics for controlled objectsEric Botcazou1-2/+1
2024-07-02ada: Fix crash on box-initialized component with No_Default_InitializationEric Botcazou1-2/+2
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-0/+33
2024-06-20ada: Replace "All" argument to Extensions_Allowed pragma with "All_Extensions"Steve Baird2-7/+8
2024-06-20ada: New pragma to default all interrupts to system.Doug Rupp1-0/+13
2024-06-20ada: Update Bit Ordering references in GNAT Reference ManualEric Botcazou2-11/+8
2024-06-20ada: Add documentation for Subprogram_Variant aspect and pragmaPiotr Trojanek2-0/+37
2024-06-20ada: Couple of minor fixes in GNAT Reference ManualEric Botcazou2-9/+8
2024-06-20ada: Update documentation for 'SuperJustin Squirek2-24/+27
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+38
2024-06-13ada: Remove Iterable from list of GNAT-specific attributesEric Botcazou1-6/+0
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 Trojanek2-6/+6
2024-05-21ada: Fix formatting in list of implemented Ada 2012 featuresPiotr Trojanek1-3/+3
2024-05-21ada: Sort list of implemented Ada 2012 featuresPiotr Trojanek1-812/+812
2024-05-21ada: Fix index entry for an implemented AI featurePiotr Trojanek1-1/+1
2024-05-21ada: Do not leak tagged type names when Discard_Names is enabledPiotr Trojanek1-0/+6
2024-05-20ada: Implement representation aspect Max_Entry_Queue_LengthJose Ruiz1-1/+1
2024-05-20ada: Rework and augment documentation on strict aliasingEric Botcazou1-4/+3
2024-05-17ada: Fix probable copy/paste errorMarc Poulhiès1-4/+3
2024-05-16ada: Implement new experimental attribute 'SuperJustin Squirek1-0/+24
2024-05-16ada: Fix docs and comments about pragmas for Boolean-valued aspectsPiotr Trojanek1-25/+32
2024-05-13ada: Remove deprecated VxWorks interrupt connection APIAshley Gay1-17/+0
2024-05-13ada: Enable casing on composite via -X0 instead of -XSteve Baird1-118/+118
2024-05-06ada: Extend Round attribute to ordinary fixed point typesEric Botcazou1-0/+8