summaryrefslogtreecommitdiff
path: root/gcc/ada/gnat_rm.texi
AgeCommit message (Expand)Author
2025-11-18ada: Update baselining disclaimer.Tonu Naks
2025-11-13ada: Fix documentation on Junk namesMarc Poulhiès
2025-11-13ada: Clear confusion about Standard'Maximum_AlignmentEric Botcazou
2025-11-13ada: Further update GNAT RM after recent change to alignment checksEric Botcazou
2025-11-03ada: Restore alignment check for address clause given with alignment clauseEric Botcazou
2025-10-28ada: Fix typo in GNAT RMTonu Naks
2025-09-29ada: Remove references to ASIS, explain PolyORB status.Tonu Naks
2025-09-29ada: Unsigned_Base_Range aspect (part 4)Javier Miranda
2025-09-29ada: Update the GNAT RM with assertion level documentationViljar Indus
2025-09-23ada: Document the GNAT-defined Extended_Access aspectSteve Baird
2025-09-19ada: Preliminary implementation of structural generic instantiationEric Botcazou
2025-09-15ada: Document hardening features not supported by LLVMJose Ruiz
2025-09-15ada: Add System.C_Time and GNAT.C_Time units to libgnatNicolas Boulenguez
2025-09-15ada: Fix section of Finalizable extension in GNAT RMRonan Desplanques
2025-09-09ada: Unsigned_Base_Range aspectJavier Miranda
2025-07-24ada: Minor adjustment to the doc of Last_Chance_HandlerTonu Naks
2025-07-22ada: Add destructors extensionRonan Desplanques
2025-07-04ada: Pragma Short_Circuit_And_OrBob Duff
2025-07-03ada: Correct documentation of policy_identifiers for Assertion_PolicyBob Duff
2025-07-03ada: Support Potentially_Invalid aspect in the frontendJoffrey Huguet
2025-07-01ada: Add "continue" GNAT extensionRonan Desplanques
2025-07-01ada: Drop the chapter listing implemented Ada 2012 AI'sTonu Naks
2025-07-01ada: Replace references for GLADE with PolyORBTonu Naks
2025-06-30ada: Add documentation of implemented Ada 2022 featuresTonu Naks
2025-06-30ada: 'Size'Class and interface types documentationSteve Baird
2025-06-12ada: Fix documentation of Generalized Finalization extensionEric Botcazou
2025-06-09ada: Pragma Ada_XX not propagated from library level spec to bodyJavier Miranda
2025-06-06ada: Add case for Program_Exit in Exit_CasesClaire Dross
2025-06-06ada: Support aspect Program_Exit with no expressionPiotr Trojanek
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek
2025-06-06ada: Fix typo in documentation about convention and representationPiotr Trojanek
2025-06-06ada: Implement use implies with experimental extensionsquirek
2025-06-05ada: Reject Valid_Value arguments originating from StandardViljar Indus
2025-06-05ada: Extend and clarify documentation of stack size settings for WindowsPiotr Trojanek
2025-01-07ada: Add "finally" GNAT extensionRonan Desplanques
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross
2025-01-06Ada: fix documentation of pragma Unimplemented_UnitEric Botcazou
2025-01-03ada: Handle C++ exception hierarchiesAlexandre Oliva
2025-01-02Update copyright dates.Jakub Jelinek
2024-12-13ada: Fix typo in reference manualRonan Desplanques
2024-12-13ada: Fix documentation of Ada.Real_Time.Timing_EventsRonan Desplanques
2024-12-12ada: Update documentation for External_InitializationRonan Desplanques
2024-11-18ada: Atomic_Synchronization is not a user-visible checkBob Duff
2024-11-12ada: Detect sharing of external file in inconsistent read-write modesPiotr Trojanek
2024-11-04ada: Add doc for deep delta aggregatesRaphaël AMIARD
2024-10-26Fix old glitch in the GNAT Reference ManualEric Botcazou
2024-10-25ada: Adjust documentation of External_InitializationRonan Desplanques
2024-10-25ada: Update simpler accessibility model docTonu Naks
2024-10-25ada: Misc improvements to gnat RMBob Duff
2024-10-08ada: Remove references to internal gnat RFC'sTonu Naks