Age | Commit message (Expand) | Author | Files | Lines |
2020-10-27 | [Ada] Warnings on g-spogwa.adb | Arnaud Charlet | 1 | -4/+2 |
2020-10-27 | [Ada] Improve EINTR error handling on "poll" system call | Dmitriy Anisimkov | 1 | -2/+1 |
2020-10-26 | [Ada] Further small edition to documentation of Ada.Text_IO.Fixed_IO | Eric Botcazou | 2 | -3/+3 |
2020-10-26 | [Ada] Further small edition to documentation of Ada.Text_IO.Fixed_IO | Eric Botcazou | 1 | -17/+14 |
2020-10-26 | [Ada] Another small edition to documentation of Ada.Text_IO.Fixed_IO | Eric Botcazou | 1 | -15/+14 |
2020-10-26 | [Ada] Relax assertion on Small in Ada.Text_IO.Fixed_IO | Eric Botcazou | 1 | -11/+11 |
2020-10-26 | [Ada] Fix Accept_Socket and Connect_Socket timeout support | Dmitriy Anisimkov | 1 | -50/+25 |
2020-10-26 | [Ada] Minor editions to documentation of Ada.Text_IO.Fixed_IO | Eric Botcazou | 1 | -35/+33 |
2020-10-26 | [Ada] Restore hex addresses and improve symbolic backtraces | Olivier Hainque | 1 | -9/+12 |
2020-10-26 | [Ada] Delete: set Position to No_Element | Bob Duff | 3 | -0/+6 |
2020-10-23 | [Ada] Sockets.Poll implementation | Dmitriy Anisimkov | 11 | -4/+1147 |
2020-10-23 | [Ada] GNAT.Sockets: fix comment typo | Philippe Gil | 1 | -4/+4 |
2020-10-23 | [Ada] Fix logic in C_Select under mingw | Arnaud Charlet | 1 | -11/+10 |
2020-10-23 | [Ada] Error when closing c_stream | Arnaud Charlet | 1 | -2/+2 |
2020-10-23 | [Ada] Take advantage of Long_Long_Long_Integer in From_String | Arnaud Charlet | 3 | -8/+58 |
2020-10-22 | [Ada] Enable the support of 128-bit integer types by default | Eric Botcazou | 1 | -0/+851 |
2020-10-22 | [Ada] Add more annotations and assertions in the runtime | Arnaud Charlet | 2 | -2/+14 |
2020-10-22 | [Ada] Update annotations for codepeer analysis on GNAT runtime | Arnaud Charlet | 1 | -2/+2 |
2020-10-22 | [Ada] Add No_Implicit_Task_Allocations and No_Implicit_PO_Allocations to Jorvik | Patrick Bernardi | 1 | -42/+9 |
2020-10-22 | vxworks float EFs not precise enough -> use long float | Alexandre Oliva | 2 | -0/+174 |
2020-10-22 | aarch64-* and ppc*-linux-gnu long long float/long double mismatch | Alexandre Oliva | 1 | -0/+87 |
2020-10-21 | [Ada] Support of the Ada.Text_IO hierarchy for 128-bit types | Eric Botcazou | 33 | -1990/+1841 |
2020-10-21 | [Ada] Support of attributes Image, Put_Image, Val and Width for 128-bit types | Eric Botcazou | 57 | -1994/+2401 |
2020-10-21 | [Ada] Basic support for 128-bit types | Eric Botcazou | 167 | -956/+19414 |
2020-10-21 | [Ada] Codepeer remarks take into account | Liaiss Merzougue | 14 | -16/+229 |
2020-10-21 | [Ada] Improve precision of Ada.Directories.Modification_Time | Dmitriy Anisimkov | 1 | -19/+18 |
2020-10-21 | [Ada] Raise Capacity_Error on formal vector insertion | Claire Dross | 1 | -2/+8 |
2020-10-20 | [Ada] AI12-0339: Empty function for Aggregate aspect of Ada containers | Ed Schonberg | 31 | -17/+204 |
2020-10-20 | [Ada] New warning on not fully initialized box aggregate | Arnaud Charlet | 11 | -13/+15 |
2020-10-19 | [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types | Bob Duff | 2 | -10/+16 |
2020-10-19 | [Ada] Clarify protection offered by preconditions on Ada.Text_IO units | Yannick Moy | 1 | -2/+3 |
2020-10-19 | [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types | Bob Duff | 60 | -41/+902 |
2020-10-18 | revamp ada.numerics.aux | Alexandre Oliva | 14 | -464/+584 |
2020-10-16 | [Ada] Remove non-ASCII character | Bob Duff | 1 | -1/+4 |
2020-10-16 | [Ada] Clean up in system.ads dependencies during compiler build | Arnaud Charlet | 1 | -184/+0 |
2020-10-16 | [Ada] Convert from UTF_16 to UTF_8 fails for large values | Arnaud Charlet | 1 | -1/+1 |
2020-10-16 | [Ada] Use new Max_Integer_Size attribute in system.ads files | Eric Botcazou | 63 | -195/+195 |
2020-10-16 | [Ada] Remove support for -gnatP and pragma Polling | Arnaud Charlet | 19 | -210/+0 |
2020-10-15 | [Ada] Spurious visibility on private with package | Arnaud Charlet | 2 | -2/+3 |
2020-10-15 | [Ada] Do not use maximal values from System in runtime units | Eric Botcazou | 5 | -9/+5 |
2020-10-15 | [Ada] Ada_2020: Add aspect Aggregate to standard container units | Ed Schonberg | 22 | -17/+174 |
2020-10-15 | [Ada] Add iterators over GNAT.Array_Split.Slice_Set | Arnaud Charlet | 2 | -11/+51 |
2020-10-15 | [Ada] AI12-0385 Predefined shifts and rotates should be static | Arnaud Charlet | 2 | -0/+200 |
2020-10-12 | make sin and cos generics inlineable | Alexandre Oliva | 1 | -0/+2 |
2020-10-11 | import elementary functions as intrinsics | Alexandre Oliva | 4 | -50/+50 |
2020-07-27 | [Ada] Switch Ada_Version_Runtime to Ada 2020 | Arnaud Charlet | 30 | -52/+6 |
2020-07-27 | [Ada] Unbounded string overriding control | Dmitriy Anisimkov | 2 | -38/+150 |
2020-07-27 | [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types | Bob Duff | 6 | -3/+52 |
2020-07-16 | [Ada] Wrong execution of Tan on large argument | Arnaud Charlet | 2 | -623/+2 |
2020-07-16 | [Ada] v7r2cert: minor refactoring | Doug Rupp | 1 | -35/+20 |