aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
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
2022-07-06[Ada] Cleanup use of local scalars in GNAT.Socket.Get_Address_InfoPiotr Trojanek1-4/+4
2022-07-06[Ada] Remove old vxworks from Makefile.rtl - e500 port.Doug Rupp3-489/+0
2022-07-05[Ada] Annotate GNAT.Sockets with No_Return aspectsPiotr Trojanek2-3/+5
2022-07-05[Ada] Remove unnecessary dead code after calls to nonreturning proceduresPiotr Trojanek2-8/+0
2022-07-05[Ada] Combine system.ads files - vxworks6 constants.Doug Rupp3-6/+6
2022-07-05[Ada] Remove old vxworks6 from Makefile.rtlDoug Rupp9-1468/+0
2022-07-04[Ada] Single character argument in call to Quote_Argument raises errorJustin Squirek1-1/+1
2022-07-04[Ada] Add Ada 2022 Key function to sets containersBob Duff6-0/+18
2022-07-04[Ada] Add Ada 2022 features to sets containersBob Duff14-8/+482
2022-07-04[Ada] Create new unbounded functional sequenceJulien Bortolussi2-0/+681
2022-06-02[Ada] Rename GNATprove annotate pragma for termination to Always_ReturnClaire Dross3-5/+5
2022-06-02[Ada] Make the functional Maps and Sets unboundedJulien Bortolussi11-49/+100
2022-06-02[Ada] vx7r2-arm/aarch64 - Support Atomic Primitives TrueDoug Rupp4-0/+4
generated by cgit v1.1 at 2024-07-18 06:46:22 +0000