aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
2023-01-09ada: Update copyright noticeArnaud Charlet1461-1461/+1461
2023-01-05ada: INOX: prototype RFC on String InterpolationJavier Miranda6-46/+145
2023-01-05ada: Adjust handling of "%g" in GNAT.Formatted_StringRonan Desplanques2-34/+313
2023-01-03ada: Fix GNAT.Formatted_String's handling of real valuesRonan Desplanques1-1/+2
2023-01-03ada: Fix parsing bug in GNAT.Formatted_StringRonan Desplanques1-0/+1
2023-01-03ada: Fix format string parsing in GNAT.Formatted_StringRonan Desplanques1-31/+36
2022-12-06ada: Add Codepeer Exemption + simplify TO_C code.Liaiss Merzougue1-9/+6
2022-11-28ada: Adjust runtime library and User's Guide to PIE default on LinuxEric Botcazou1-14/+22
2022-11-28ada: Annotate GNAT.Source_Info with an abstract stateClaire Dross1-1/+19
2022-11-21ada: Internal compiler error for Sequential Partition_Elaboration_PolicySteve Baird1-2/+3
2022-11-21ada: Ada 2022 Image attribute bugsSteve Baird7-4/+56
2022-11-14ada: Fix non-capturing parentheses handlingRonan Desplanques1-5/+3
2022-11-14ada: Enable Support_Atomic_Primitives on QNX and RTEMSPatrick Bernardi2-1/+2
2022-11-08ada: Set Support_Atomic_Primitives for VxWorks 7 runtimesJohannes Kliemann12-8/+12
2022-11-08ada: Fix inconsistent whitespace in Ada.Numerics.Generic_Complex_ArraysPiotr Trojanek2-4/+4
2022-11-08ada: Raise Tag_Error when Ada.Tags operations are called with No_TagPiotr Trojanek1-7/+15
2022-11-04ada: Fix typo in comment referring to pragma RestrictionsPiotr Trojanek1-3/+2
2022-10-12Enable support for atomic primitives on SPARC/LinuxEric Botcazou1-0/+1
2022-09-12[Ada] Justify false alarm from CodePeer analysis of GNATYannick Moy1-0/+2
2022-09-12[Ada] Reject use in SPARK of Asm intrinsics for code insertionsYannick Moy1-1/+3
2022-09-12[Ada] Replace SPARK containers implementation by Compile_Time_ErrorJoffrey Huguet26-25916/+60
2022-09-12[Ada] Disable Support_Atomic_Primitives on x86_64 VxWorksPatrick Bernardi2-2/+2
2022-09-12[Ada] Disable Support_Atomic_Primitives on QNX and VxWorks targetsPatrick Bernardi7-7/+7
2022-09-06[Ada] Restore missing Aggregate aspect for Ada.Containers.Ordered_Sets.SetSteve Baird1-3/+3
2022-09-06[Ada] Slice length computation bug in Generic_Bounded_Length genericsSteve Baird3-21/+16
2022-09-06[Ada] Fix a bug in the contract of formal ordered setsJulien Bortolussi1-3/+4
2022-09-06[Ada] Correctly round Value attribute for floating point in more casesEric Botcazou8-54/+304
2022-09-06[Ada] Correctly round Value attribute for floating point in more casesEric Botcazou5-218/+253
2022-09-05[Ada] Single-element Append performance improvementSteve Baird2-39/+49
2022-09-05[Ada] Small cleanup in body of System.Value_REric Botcazou1-9/+20
2022-09-02[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.MapsClaire Dross2-0/+7
2022-09-02[Ada] Fix proof of runtime unit System.Exp_ModClaire Dross1-0/+10
2022-09-02[Ada] Fix proof of runtime unit System.Wid_*Claire Dross1-1/+15
2022-09-02[Ada] Recover proof of Scaled_Divide in System.Arith_64Yannick Moy2-122/+211
2022-09-02[Ada] Fix proof of runtime unit System.Value* and System.Image*Claire Dross24-1547/+1853
2022-07-13[Ada] Fix proof of runtime unit System.Arith_64Yannick Moy1-4/+92
2022-07-13[Ada] Fix automatic proof on System.Arith_32Yannick Moy1-1/+2
2022-07-13[Ada] Fix CodePeer warnings in GNAT sourcesJustin Squirek2-115/+15
2022-07-12[Ada] Fix 0-sized secondary stack allocationsMarc Poulhiès1-1/+6
2022-07-12[Ada] Suppress warning in g-socthi__vxworks.adbBob Duff1-1/+3
2022-07-12[Ada] Vxworks7* - Makefile.rtl rtp vs rtp-smp cleanup - remove unused filesDoug Rupp2-327/+0
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff1-1/+3
2022-07-12[Ada] Add one more leading underscore to couple of exported symbolsEric Botcazou1-2/+2
2022-07-12[Ada] Annotate libraries with returning annotationJoffrey Huguet37-258/+442
2022-07-12[Ada] Fix buffer overrun for small string concatenation at -O0Eric Botcazou16-228/+19
2022-07-12[Ada] Avoid namespace pollution for Next and PreviousBob Duff21-84/+72
2022-07-12[Ada] Add new unbounded and indefinite formal doubly linked listJulien Bortolussi2-0/+3724
2022-07-06[Ada] Indexing error when calling GNAT.Regpat.MatchJustin Squirek2-20/+42
2022-07-06[Ada] Support ghost generic formal parametersYannick Moy3-23/+46
2022-07-06[Ada] Handle secondary stack memory allocations alignmentMarc Poulhiès2-31/+68
generated by cgit v1.1 at 2024-08-19 19:19:42 +0000