aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc/gnat_rm
AgeCommit message (Expand)AuthorFilesLines
2 hoursada: Preliminary implementation of structural generic instantiationEric Botcazou1-0/+154
4 daysada: Document hardening features not supported by LLVMJose Ruiz1-0/+2
4 daysada: Add System.C_Time and GNAT.C_Time units to libgnatNicolas Boulenguez1-2/+12
4 daysada: Fix section of Finalizable extension in GNAT RMRonan Desplanques1-131/+131
10 daysada: Unsigned_Base_Range aspectJavier Miranda1-0/+23
2025-07-31Revert "Ada: Add System.C_Time and GNAT.C_Time units to libgnat"Eric Botcazou1-12/+2
2025-07-31Ada: Add System.C_Time and GNAT.C_Time units to libgnatNicolas Boulenguez1-2/+12
2025-07-24ada: Minor adjustment to the doc of Last_Chance_HandlerTonu Naks1-3/+3
2025-07-22ada: Add destructors extensionRonan Desplanques1-0/+68
2025-07-04ada: Pragma Short_Circuit_And_OrBob Duff1-6/+26
2025-07-03ada: Correct documentation of policy_identifiers for Assertion_PolicyBob Duff1-1/+1
2025-07-03ada: Support Potentially_Invalid aspect in the frontendJoffrey Huguet1-0/+8
2025-07-01ada: Add "continue" GNAT extensionRonan Desplanques1-0/+16
2025-07-01ada: Drop the chapter listing implemented Ada 2012 AI'sTonu Naks4-1337/+5
2025-07-01ada: Replace references for GLADE with PolyORBTonu Naks4-22/+12
2025-06-30ada: Add documentation of implemented Ada 2022 featuresTonu Naks3-4/+2253
2025-06-30ada: 'Size'Class and interface types documentationSteve Baird1-76/+113
2025-06-12ada: Fix documentation of Generalized Finalization extensionEric Botcazou1-99/+57
2025-06-09ada: Pragma Ada_XX not propagated from library level spec to bodyJavier Miranda1-0/+25
2025-06-06ada: Add case for Program_Exit in Exit_CasesClaire Dross1-1/+2
2025-06-06ada: Support aspect Program_Exit with no expressionPiotr Trojanek1-1/+1
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek2-0/+20
2025-06-06ada: Fix typo in documentation about convention and representationPiotr Trojanek1-1/+1
2025-06-06ada: Implement use implies with experimental extensionsquirek1-0/+16
2025-06-05ada: Reject Valid_Value arguments originating from StandardViljar Indus1-3/+3
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
generated by cgit v1.1 at 2025-09-19 11:43:48 +0000