aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnarl
AgeCommit message (Expand)AuthorFilesLines
2020-06-18[Ada] Profile mismatch between C and Ada functionsArnaud Charlet1-9/+9
2020-06-09[Ada] Annotate Ada.Synchronous_Barriers with SPARK_Mode => OffPiotr Trojanek4-4/+4
2020-06-04[Ada] New package Ada.Task_InitializationArnaud Charlet4-0/+102
2020-06-04[Ada] Remove System.Parameters.Single_LockArnaud Charlet29-1323/+283
2020-06-02[Ada] Bump copyright yearArnaud Charlet213-213/+213
2020-05-30Ability to build the GNAT runtime with project filesArnaud Charlet1-0/+28
2019-12-16[Ada] Mark Deallocator as Favor_Top_LevelArnaud Charlet1-0/+1
2019-12-12[Ada] Fix Global contract for the predefined Yield procedurePiotr Trojanek1-1/+3
2019-09-23Provide Task_Info.Number_Of_Processors on SolarisRainer Orth3-0/+27
2019-09-18[Ada] Fix portability issues in access to subprogramsJavier Miranda4-8/+18
2019-08-12[Ada] VxWorks: call s-tpopsp.Self only when neededJerome Lambourg1-1/+6
2019-07-11[Ada] GNAT.Threads: Add a Get_Thread overload taking a Task_IdArnaud Charlet2-3/+10
2019-07-09[Ada] System.OS_Interface: fix Critical_Section.SpinCount typeEric Botcazou1-1/+1
2019-07-05[Ada] System.OS_Interface: fix link order on LinuxArnaud Charlet1-1/+2
2019-07-05[Ada] System.Linux: fix typos in commentsArnaud Charlet7-7/+7
2019-07-04s-osinte__kfreebsd-gnu.ads (clockid_t): Make type definition public.James Clarke1-6/+2
2019-07-04[Ada] Add preconditions in Ada.Task_IdentificationJoffrey Huguet1-0/+9
2019-02-07* libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value.Eric Botcazou1-1/+1
2019-02-06s-linux__x32.ads: Resync list of signals with s-linux.adsArnaud Charlet1-13/+14
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat213-213/+213
2018-12-03[Ada] Spelling fixes and minor reformattingGary Dismukes8-15/+15
2018-12-03[Ada] A task not executing an entry call consumes an Entry_Call slotPatrick Bernardi13-52/+102
2018-11-26re PR ada/88191 (ada bootstrap failure on alpha-linux-gnu ("SIGSYS" not decla...Matthias Klose1-0/+1
2018-11-14[Ada] Update signal constants for GNU/LinuxPatrick Bernardi10-63/+70
2018-08-21[Ada] Bump copyright notices to 2018Pierre-Marie de Rodat9-9/+9
2018-07-31[Ada] Fix alignment of mutex_t and cond_t type on 32-bit SPARC/SolarisEric Botcazou1-5/+6
2018-07-06RISC-V: Initial riscv linux Ada port.Jim Wilson1-0/+133
2018-05-29[Ada] Refine documentation of Monotonic_Clock to reflect realityDoug Rupp1-3/+3
2018-05-25[Ada] Make Max_Sensible_Delay uniform across all Posix targetsDoug Rupp11-90/+103
2018-05-22[Ada] Missing warning for unreferenced formals in expression functionsJustin Squirek4-11/+23
2018-05-21[Ada] Minor typo fixesJose Ruiz1-1/+1
2018-05-21[Ada] Remove External aspect from predefined abstract statesPiotr Trojanek2-6/+2
2018-05-21[Ada] Fix inconstent subprogram body headersPiotr Trojanek6-24/+24
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet203-203/+203
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-4/+3
2017-12-04RTEMS/Ada: Account for 64-bit time_tSebastian Huber1-5/+5
2017-12-01RTEMS/Ada: Fix some POSIX typesSebastian Huber1-3/+15
2017-11-16[multiple changes]Pierre-Marie de Rodat1-0/+61
2017-11-09[multiple changes]Pierre-Marie de Rodat11-43/+64
2017-11-09[multiple changes]Pierre-Marie de Rodat3-81/+1443
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat4-10/+120
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1546/+0
2017-11-08[multiple changes]Pierre-Marie de Rodat5-0/+2731
2017-10-20s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono...Pierre-Marie de Rodat4-438/+359
2017-10-14[multiple changes]Pierre-Marie de Rodat13-282/+210
2017-10-09exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...Pierre-Marie de Rodat1-1/+1
2017-10-02re PR ada/82384 (s-taprop.adb failed to compile for x32)Eric Botcazou2-5/+5
2017-09-25[multiple changes]Pierre-Marie de Rodat5-7/+0
2017-09-25[multiple changes]Pierre-Marie de Rodat4-5/+0
generated by cgit v1.1 at 2024-08-19 13:50:30 +0000