aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/Makefile.rtl
AgeCommit message (Expand)AuthorFilesLines
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
2022-01-19[Ada] Compile s-mmap and 128bit on x86_64-linux-gnux32H.J. Lu1-0/+5
2022-01-18Revert Ada .cc renaming renaming.Martin Liska1-4/+4
2022-01-17Manual changes for .cc renaming.Martin Liska1-4/+4
2022-01-11[Ada] Use atomic builtins for atomic counters on x86 (32bit)Piotr Trojanek1-1/+1
2022-01-05[Ada] Remove obsolete s-sopco* and s-strops unitsMarc Poulhiès1-2/+1
2021-12-02[Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64Doug Rupp1-1/+1
2021-12-01[Ada] Sort list of Ada runtime units in Makefile.rtlPiotr Trojanek1-24/+24
2021-12-01[Ada] Whitespace cleanup in Makefile.rtl dependency rulesPiotr Trojanek1-9/+9
2021-11-10[Ada] Create explicit ghost mirror unit for big integersYannick Moy1-0/+1
2021-11-09[Ada] RTEMS: use atomic primitive packages on aarch64Patrick Bernardi1-0/+7
2021-11-09[Ada] Use atomics in runtime on ARM and Aarch64 VxWorksPiotr Trojanek1-1/+3
2021-10-20[Ada] Get rid of Frontend_Exceptions refsDoug Rupp1-6/+0
2021-10-11[Ada] RTEMS: use hardware interrupts instead of signals for interrupt handlingPatrick Bernardi1-6/+7
2021-10-11[Ada] RTEMS: use default stack checking emulation packagePatrick Bernardi1-1/+2
2021-09-21[Ada] Cleanup old VxWorks in Makefile.rtlDoug Rupp1-130/+0
2021-09-21[Ada] rtems: add 128bit support for aarch64Frederic Konrad1-0/+5
2021-09-21[Ada] Refactor sort procedures of doubly linked list containersSteve Baird1-0/+1
2021-07-09[Ada] Declare time_t uniformly based on a system parameterDoug Rupp1-0/+3
generated by cgit v1.1 at 2024-12-27 22:36:40 +0000