aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
2 daysRevert "Ada: Add System.C_Time and GNAT.C_Time units to libgnat"Eric Botcazou1-12/+2
2 daysAda: Add System.C_Time and GNAT.C_Time units to libgnatNicolas Boulenguez1-2/+12
10 daysada: Minor adjustment to the doc of Last_Chance_HandlerTonu Naks1-3/+3
12 daysada: 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 GNAT LLVM selection in GPR project file.Artur Pietrek1-0/+3
2025-07-01ada: Add "continue" GNAT extensionRonan Desplanques1-0/+16
2025-07-01ada: Drop the chapter listing implemented Ada 2012 AI'sTonu Naks5-1338/+5
2025-07-01ada: Replace references for GLADE with PolyORBTonu Naks4-22/+12
2025-07-01ada: Document sanitizers in mixed-language applicationsJose Ruiz1-1/+54
2025-06-30ada: Add documentation of implemented Ada 2022 featuresTonu Naks4-4/+2254
2025-06-30ada: 'Size'Class and interface types documentationSteve Baird1-76/+113
2025-06-30ada: Fix a couple of typos in the sanitizers for AdaJose Ruiz1-3/+3
2025-06-30ada: Document sanitizers for AdaJose Ruiz1-1/+2
2025-06-30ada: Document sanitizers for AdaJose Ruiz1-0/+269
2025-06-12ada: Fix documentation of Generalized Finalization extensionEric Botcazou1-99/+57
2025-06-12ada: Small tweak to latest changeEric Botcazou1-2/+1
2025-06-12ada: Implement -gnatRh switch to display holes in record layoutEric Botcazou1-4/+8
2025-06-12ada: Document supported GCC optimization switchesEric Botcazou2-31/+44
2025-06-09ada: Pragma Ada_XX not propagated from library level spec to bodyJavier Miranda2-0/+29
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-06-05ada: Extend and clarify documentation of stack size settings for WindowsPiotr Trojanek1-3/+4
2025-01-13ada: Update gnatdll documentation (-b option removed)Pascal Obry1-13/+6
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 markup in user's guideRonan Desplanques1-1/+1
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: Fix the level of the LLVM chapter in the User's GuideSebastian Poeplau1-1/+1
2024-12-12ada: Update documentation for External_InitializationRonan Desplanques1-1/+1
2024-11-26ada: Fix the file documenting the ali formatJose Ruiz1-2/+2
2024-11-18ada: Atomic_Synchronization is not a user-visible checkBob Duff3-33/+20
2024-11-12ada: Fix markup typosRichard Kenner2-3/+3
2024-11-12ada: Detect sharing of external file in inconsistent read-write modesPiotr Trojanek1-1/+1
2024-11-12ada: Add documentation about GNAT LLVM to GNAT User's GuideRichard Kenner4-42/+171
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: Update GNAT UGRichard Kenner9-2526/+2568
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