aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/Makefile.rtl
AgeCommit message (Expand)Author
2024-06-13ada: Streamline elaboration of local tagged typesEric Botcazou
2024-05-29Fix link failure of GNAT tools on 32-bit SPARC/LinuxEric Botcazou
2024-05-17ada: Replace spinlocks with fully-fledged locks in finalization collectionsEric Botcazou
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou
2024-05-13ada: Remove deprecated VxWorks interrupt connection APIAshley Gay
2024-05-06ada: Partial implementation of redesign of support for object finalizationEric Botcazou
2024-01-22Update copyright years.Marc Poulhiès
2023-09-05ada: Add missing units to Makefile.rtlRonan Desplanques
2023-09-05LoongArch: initial ada support on linuxYang Yujie
2023-07-06ada: Refactor the proof of the Value and Image runtime unitsClaire Dross
2023-05-30ada: Add System.Traceback.Symbolic.Module_Name support on AArch64 LinuxJoel Brobecker
2023-05-29ada: Set g-spogwa as a GNATRTL_SOCKETS_OBJSCedric Landet
2023-05-29ada: Add QNX specific version of System.ParametersJohannes Kliemann
2023-05-16ada: Enable Support_Atomic_Primitives on PPC LinuxJohannes Kliemann
2022-09-12[Ada] Replace SPARK containers implementation by Compile_Time_ErrorJoffrey Huguet
2022-09-06[Ada] Add formal verification dependencies to libgnatPiotr Trojanek
2022-07-12[Ada] Add new unbounded and indefinite formal doubly linked listJulien Bortolussi
2022-07-06[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanupDoug Rupp
2022-07-05[Ada] Remove old vxworks6 from Makefile.rtlDoug Rupp
2022-07-04[Ada] vx7r2: do not include s-qnx.ads in the kernel and rtp runtimesDoug Rupp
2022-07-04[Ada] Makefile.rtl: remove references t oVxworks RTP Cert .spec filesDoug Rupp
2022-07-04[Ada] Create new unbounded functional sequenceJulien Bortolussi
2022-06-01[Ada] QNX shared libraries - arm-qnx build gnatlib .so'sDoug Rupp
2022-05-30[Ada] Update proofs of double arithmetic unit after prover changesYannick Moy
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou
2022-05-18[Ada] arm-qnx-7.1: undefined reference to fma* symbolsDoug Rupp
2022-05-18[Ada] Fast implementation of floating-point mathematical functionsEric Botcazou
2022-05-18[Ada] New port arm-qnxDoug Rupp
2022-05-17[Ada] Generic binary search implementationDmitriy Anisimkov
2022-05-16[Ada] Map gnatlib-shared to gnatlib-shared-dual for aarch64-vx7r2Olivier Hainque
2022-05-13[Ada] Remove dependency on tampering checks and controlled types for formalYannick Moy
2022-02-13[Ada] PR ada/98724: Alpha/Linux/libada: Use wraplf for Aux_Long_Long_FloatMaciej W. Rozycki
2022-01-19[Ada] Compile s-mmap and 128bit on x86_64-linux-gnux32H.J. Lu
2022-01-18Revert Ada .cc renaming renaming.Martin Liska
2022-01-17Manual changes for .cc renaming.Martin Liska
2022-01-11[Ada] Use atomic builtins for atomic counters on x86 (32bit)Piotr Trojanek
2022-01-05[Ada] Remove obsolete s-sopco* and s-strops unitsMarc Poulhiès
2021-12-02[Ada] vx7r2cert/light-tasking-rtp: undefined refs on ppc/ppc64Doug Rupp
2021-12-01[Ada] Sort list of Ada runtime units in Makefile.rtlPiotr Trojanek
2021-12-01[Ada] Whitespace cleanup in Makefile.rtl dependency rulesPiotr Trojanek
2021-11-10[Ada] Create explicit ghost mirror unit for big integersYannick Moy
2021-11-09[Ada] RTEMS: use atomic primitive packages on aarch64Patrick Bernardi
2021-11-09[Ada] Use atomics in runtime on ARM and Aarch64 VxWorksPiotr Trojanek
2021-10-20[Ada] Get rid of Frontend_Exceptions refsDoug Rupp
2021-10-11[Ada] RTEMS: use hardware interrupts instead of signals for interrupt handlingPatrick Bernardi
2021-10-11[Ada] RTEMS: use default stack checking emulation packagePatrick Bernardi
2021-09-21[Ada] Cleanup old VxWorks in Makefile.rtlDoug Rupp
2021-09-21[Ada] rtems: add 128bit support for aarch64Frederic Konrad
2021-09-21[Ada] Refactor sort procedures of doubly linked list containersSteve Baird
2021-07-09[Ada] Declare time_t uniformly based on a system parameterDoug Rupp
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 18:49:07 +0000