aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/Makefile.rtl
AgeCommit message (Expand)AuthorFilesLines
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-06ada: C++ exception hierarchies: adjust for gnat-llvmAlexandre Oliva1-5/+18
2025-01-03ada: Handle C++ exception hierarchiesAlexandre Oliva1-0/+3
2024-12-11Ada: Add GNU/Hurd x86_64 supportSamuel Thibault1-0/+36
2024-12-11Ada: Fix GNU/Hurd priority rangeSamuel Thibault1-1/+1
2024-12-11Ada: Factorize bsd signal definitionsSamuel Thibault1-7/+7
2024-11-20Enable symbolic backtraces on more Linux and BSD ports (continued)Eric Botcazou1-3/+24
2024-11-19Enable symbolic backtraces on more Linux and BSD portsEric Botcazou1-8/+27
2024-11-12ada: Make Interrupt and Attach Handlers Obsolescent in VXWorksViljar Indus1-0/+4
2024-11-12ada: Set correct minimum stack size for aarch64-linuxJohannes Kliemann1-0/+1
2024-11-04ada: Add CHERI variant of full secondary stack allocatorDaniel King1-1/+2
2024-11-04ada: Build and runtime support for CheriBSDDaniel King1-3/+15
2024-11-04ada: Move formal hash tables from gnat repository to the SPARK libraryClaire Dross1-2/+0
2024-10-09Remove support for HP-UX 10Eric Botcazou1-26/+0
2024-10-08ada: Rework the Android sigtramp implementationOlivier Hainque1-7/+5
2024-10-08ada: Use a-nallfl__wraplf.ads for AndroidOlivier Hainque1-0/+1
2024-10-08ada: Rework s-linux/osinte for arm/aarch64-android sigactionsOlivier Hainque1-1/+4
2024-10-08ada: Extend arm-android section of Makefile.rtl to aarch64Olivier Hainque1-5/+223
2024-06-13ada: Streamline elaboration of local tagged typesEric Botcazou1-0/+3
2024-05-29Fix link failure of GNAT tools on 32-bit SPARC/LinuxEric Botcazou1-3/+10
2024-05-17ada: Replace spinlocks with fully-fledged locks in finalization collectionsEric Botcazou1-0/+41
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-1/+0
2024-05-13ada: Remove deprecated VxWorks interrupt connection APIAshley Gay1-4/+4
2024-05-06ada: Partial implementation of redesign of support for object finalizationEric Botcazou1-0/+1
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-09-05ada: Add missing units to Makefile.rtlRonan Desplanques1-0/+2
2023-09-05LoongArch: initial ada support on linuxYang Yujie1-0/+49
2023-07-06ada: Refactor the proof of the Value and Image runtime unitsClaire Dross1-0/+7
2023-05-30ada: Add System.Traceback.Symbolic.Module_Name support on AArch64 LinuxJoel Brobecker1-0/+2
2023-05-29ada: Set g-spogwa as a GNATRTL_SOCKETS_OBJSCedric Landet1-2/+1
2023-05-29ada: Add QNX specific version of System.ParametersJohannes Kliemann1-0/+1
2023-05-16ada: Enable Support_Atomic_Primitives on PPC LinuxJohannes Kliemann1-0/+1
2022-09-12[Ada] Replace SPARK containers implementation by Compile_Time_ErrorJoffrey Huguet1-15/+0
2022-09-06[Ada] Add formal verification dependencies to libgnatPiotr Trojanek1-0/+2
2022-07-12[Ada] Add new unbounded and indefinite formal doubly linked listJulien Bortolussi1-0/+1
2022-07-06[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanupDoug Rupp1-49/+25
2022-07-05[Ada] Remove old vxworks6 from Makefile.rtlDoug Rupp1-103/+37
2022-07-04[Ada] vx7r2: do not include s-qnx.ads in the kernel and rtp runtimesDoug Rupp1-0/+1
2022-07-04[Ada] Makefile.rtl: remove references t oVxworks RTP Cert .spec filesDoug Rupp1-7/+0
2022-07-04[Ada] Create new unbounded functional sequenceJulien Bortolussi1-0/+1
2022-06-01[Ada] QNX shared libraries - arm-qnx build gnatlib .so'sDoug Rupp1-2/+1
2022-05-30[Ada] Update proofs of double arithmetic unit after prover changesYannick Moy1-0/+2
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou1-0/+1
2022-05-18[Ada] arm-qnx-7.1: undefined reference to fma* symbolsDoug Rupp1-1/+4
2022-05-18[Ada] Fast implementation of floating-point mathematical functionsEric Botcazou1-4/+18
2022-05-18[Ada] New port arm-qnxDoug Rupp1-8/+15
2022-05-17[Ada] Generic binary search implementationDmitriy Anisimkov1-0/+1
2022-05-16[Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64-vx7r2Olivier Hainque1-1/+1
2022-05-13[Ada] Remove dependency on tampering checks and controlled types for formalYannick Moy1-0/+2
2022-02-13[Ada] PR ada/98724: Alpha/Linux/libada: Use wraplf for Aux_Long_Long_FloatMaciej W. Rozycki1-0/+1
generated by cgit v1.1 at 2025-02-25 08:35:49 +0000