Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-05-22 | [Ada] Missing warning for unreferenced formals in expression functions | Justin Squirek | 4 | -11/+23 |
2018-05-21 | [Ada] Minor typo fixes | Jose Ruiz | 1 | -1/+1 |
2018-05-21 | [Ada] Remove External aspect from predefined abstract states | Piotr Trojanek | 2 | -6/+2 |
2018-05-21 | [Ada] Fix inconstent subprogram body headers | Piotr Trojanek | 6 | -24/+24 |
2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 203 | -203/+203 |
2017-12-05 | sem_util.adb (Contains_Refined_State): Remove. | Pierre-Marie de Rodat | 1 | -4/+3 |
2017-12-04 | RTEMS/Ada: Account for 64-bit time_t | Sebastian Huber | 1 | -5/+5 |
2017-12-01 | RTEMS/Ada: Fix some POSIX types | Sebastian Huber | 1 | -3/+15 |
2017-11-16 | [multiple changes] | Pierre-Marie de Rodat | 1 | -0/+61 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 11 | -43/+64 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 3 | -81/+1443 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 4 | -10/+120 |
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1546/+0 |
2017-11-08 | [multiple changes] | Pierre-Marie de Rodat | 5 | -0/+2731 |
2017-10-20 | s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono... | Pierre-Marie de Rodat | 4 | -438/+359 |
2017-10-14 | [multiple changes] | Pierre-Marie de Rodat | 13 | -282/+210 |
2017-10-09 | exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i... | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-10-02 | re PR ada/82384 (s-taprop.adb failed to compile for x32) | Eric Botcazou | 2 | -5/+5 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 5 | -7/+0 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 4 | -5/+0 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -26/+60 |
2017-09-25 | exp_imgv.adb (Expand_Image_Attribute): Disable the optimized expansion of use... | Pierre-Marie de Rodat | 1 | -15/+14 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -8/+6 |
2017-09-25 | [multiple changes] | Pierre-Marie de Rodat | 1 | -8/+90 |
2017-09-16 | a-intnam__rtems.ads: Update copyright date. | Eric Botcazou | 5 | -5/+6 |
2017-09-13 | [multiple changes] | Pierre-Marie de Rodat | 3 | -3/+63 |
2017-09-13 | s-vxwext__kernel-smp.adb, [...]: New file. | Arnaud Charlet | 3 | -0/+319 |
2017-09-13 | Minor edits. | Arnaud Charlet | 1 | -1/+1 |
2017-09-11 | libgnarl: Rename ?-[a-z]*-* into ?-[a-z]*__* | Arnaud Charlet | 108 | -0/+0 |
2017-09-11 | New files, to ease sync between AdaCore and FSF. | Arnaud Charlet | 5 | -0/+1383 |
2017-09-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 2 | -0/+250 |
2017-09-08 | Makefile.in, [...]: Move libgnarl sources to libgnarl subdir. | Nicolas Roche | 204 | -0/+55888 |
2017-09-08 | [multiple changes] | Arnaud Charlet | 2 | -0/+230 |