aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnarl
AgeCommit message (Expand)AuthorFilesLines
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
2017-09-25[multiple changes]Pierre-Marie de Rodat1-26/+60
2017-09-25exp_imgv.adb (Expand_Image_Attribute): Disable the optimized expansion of use...Pierre-Marie de Rodat1-15/+14
2017-09-25[multiple changes]Pierre-Marie de Rodat1-8/+6
2017-09-25[multiple changes]Pierre-Marie de Rodat1-8/+90
2017-09-16a-intnam__rtems.ads: Update copyright date.Eric Botcazou5-5/+6
2017-09-13[multiple changes]Pierre-Marie de Rodat3-3/+63
2017-09-13s-vxwext__kernel-smp.adb, [...]: New file.Arnaud Charlet3-0/+319
2017-09-13Minor edits.Arnaud Charlet1-1/+1
2017-09-11libgnarl: Rename ?-[a-z]*-* into ?-[a-z]*__*Arnaud Charlet108-0/+0
2017-09-11New files, to ease sync between AdaCore and FSF.Arnaud Charlet5-0/+1383
2017-09-08Make-lang.in, [...]: Find runtime source in libgnat/Nicolas Roche2-0/+250
2017-09-08Makefile.in, [...]: Move libgnarl sources to libgnarl subdir.Nicolas Roche204-0/+55888
2017-09-08[multiple changes]Arnaud Charlet2-0/+230