aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
2020-06-18[Ada] Add support for XDR streaming in the default runtimeArnaud Charlet5-97/+380
2020-06-18[Ada] Profile mismatch between C and Ada functionsArnaud Charlet9-51/+51
2020-06-18[Ada] AI12-0293-1 Implement storage streamsBob Duff5-0/+476
2020-06-17[Ada] Ada2020: AI12-0110 Tampering checks are performed firstBob Duff26-335/+313
2020-06-17[Ada] Remove obsolete comments in Big_NumbersArnaud Charlet2-6/+0
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-2/+2
2020-06-16[Ada] Enable literal aspect specifications in Big_Numbers specsSteve Baird2-3/+3
2020-06-15[Ada] T'Image calls T'Put_ImageBob Duff2-15/+15
2020-06-15[Ada] Allow uninitialized values on Big_Positive/NaturalArnaud Charlet1-2/+6
2020-06-15[Ada] AI12-0260 Functions Is_Basic and To_Basic in Wide_Characters.HandlingArnaud Charlet6-8/+5903
2020-06-15[Ada] Put_Image: Enable for access-to-subprogram typesBob Duff2-3/+6
2020-06-15[Ada] Put_Image: Enable for access-to-subprogram typesBob Duff2-5/+34
2020-06-15[Ada] Put_Image improvements for stringsBob Duff1-5/+18
2020-06-12[Ada] Enable Put_Image in pre-Ada-2020 modesBob Duff1-9/+20
2020-06-12[Ada] Bump secondary stack alignment factor in full runtimesOlivier Hainque2-4/+17
2020-06-12[Ada] Don't correct socket timeout on Windows Server 2019Dmitriy Anisimkov2-5/+10
2020-06-12[Ada] AI12-0350 Swap for Indefinite_HoldersArnaud Charlet4-0/+52
2020-06-12[Ada] ACATS 4.1Q - CDD2A04 - RLS not followedArnaud Charlet3-17/+223
2020-06-12[Ada] Ada2020: update Big_Numbers.* specsBob Duff7-31/+41
2020-06-11[Ada] Make libgnat/a-nbnbin__gmp.adb compileBob Duff1-30/+23
2020-06-11[Ada] Fix wrong access to large bit-packed arrays with reverse SSOEric Botcazou1-1/+19
2020-06-11[Ada] Put_Image attributeBob Duff2-4/+6
2020-06-11[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelaborable_InitArnaud Charlet1-0/+2
2020-06-11[Ada] Put_Image attributeBob Duff1-1/+1
2020-06-11[Ada] Remove aspects that were commented outArnaud Charlet8-13/+1
2020-06-11[Ada] Add fallback on Integer_ArithmeticArnaud Charlet1-14/+75
2020-06-10[Ada] AI12-0364 Add a modular atomic arithmetic packageArnaud Charlet4-6/+290
2020-06-10[Ada] Fix typo in exception messageArnaud Charlet1-1/+1
2020-06-09[Ada] Missing check on private overriding of dispatching primitiveJavier Miranda2-6/+6
2020-06-09[Ada] Improve handling of null unbounded stringsArnaud Charlet2-42/+13
2020-06-08[Ada] Implement AI12-0291 (Jorvik profile)Steve Baird1-0/+62
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-1/+0
2020-06-08[Ada] Ada.Text_IO: fix typoArnaud Charlet1-1/+1
2020-06-08[Ada] Silence spurious warning on instances of formal vectorsClaire Dross1-0/+4
2020-06-08[Ada] Add Depends contracts to Delete procedures of formal containersClaire Dross5-15/+20
2020-06-05[Ada] Optimize Normalize_PathnameDmitriy Anisimkov1-122/+136
2020-06-05[Ada] Add missing Global contract to Ada.Containers.Functional_VectorsPiotr Trojanek1-1/+2
2020-06-05[Ada] AI12-0336 Meaning of Time_OffsetArnaud Charlet3-7/+19
2020-06-05[Ada] AI12-0144 Make Discrete_Random more flexibleArnaud Charlet2-0/+17
2020-06-05[Ada] AI12-0235 System.Storage_Pools should be pureArnaud Charlet1-3/+4
2020-06-04[Ada] AI12-0184: Long Long C Data typesArnaud Charlet1-3/+5
2020-06-04[Ada] Put_Image attributeBob Duff18-7/+1888
2020-06-04[Ada] New procedure Register_Global_Unhandled_ActionArnaud Charlet4-6/+49
2020-06-04[Ada] Avoid buffer overflow in Long_Long_Float_Text_IOSteve Baird3-10/+10
2020-06-04[Ada] Remove System.Parameters.Single_LockArnaud Charlet4-52/+0
2020-06-04[Ada] Continuation of "Get rid of more references to Universal_Integer"Arnaud Charlet2-6/+6
2020-06-03[Ada] Add detection of uninitialized big realsArnaud Charlet3-8/+39
2020-06-03[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou2-6/+8
2020-06-03[Ada] Fix typosVadim Godunko3-3/+3
2020-06-03[Ada] Update headersArnaud Charlet4-0/+16