aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
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
2022-06-02[Ada] Update documentation of GNAT.Dynamic_TablesJavier Miranda1-7/+4
2022-06-02[Ada] Fix preconditions of Interfaces.C.StringsJoffrey Huguet1-2/+8
2022-06-02[Ada] Complete contracts of Interfaces.C.Strings subprogramsJoffrey Huguet1-3/+8
2022-06-02[Ada] Combine system.ads files - arm and aarch64 linuxDoug Rupp1-1/+1
2022-06-02[Ada] Combine system.ads file - vxworks7 rtp constantsDoug Rupp9-18/+18
2022-06-02[Ada] Fix iteration on formal vectorsClaire Dross4-4/+4
2022-06-02[Ada] Add contracts to System.Address_To_Access_ConversionsJoffrey Huguet1-2/+4
2022-06-02[Ada] Add contracts to Interfaces.C.StringsJoffrey Huguet2-16/+57
2022-06-01[Ada] Combine system.ads file - vxworks7 kernel constants.Doug Rupp7-14/+14
2022-06-01[Ada] Combine system.ads files - arm and aarch64 qnxDoug Rupp1-1/+1
2022-06-01[Ada] Bug fix in "=" function of formal doubly linked listJulien Bortolussi1-2/+2
2022-06-01[Ada] Add reference counting in functional containersJulien Bortolussi2-52/+227
2022-05-30[Ada] Remove contract duplication in formal doubly linked listsJulien Bortolussi1-9/+1
2022-05-30[Ada] Fix illegal Ada in s-dwalin.adbRomain Beguet1-0/+2
2022-05-30[Ada] Update proofs of double arithmetic unit after prover changesYannick Moy4-91/+576
2022-05-30[Ada] Fix typo in comment for functional setsPiotr Trojanek1-1/+1
2022-05-30[Ada] Adapt proof of runtime unit s-arit32Yannick Moy1-1/+1
2022-05-30[Ada] PR ada/105303 Fix use of Assertion_Policy in internal generics unitYannick Moy2-11/+77
2022-05-30[Ada] Add empty constructors to the functional containersJulien Bortolussi6-0/+41
2022-05-19[Ada] Fix proof of runtime unit a-strfix and a-strsupClaire Dross2-0/+22
2022-05-19[Ada] Further adapt proof of double arithmetic runtime unitYannick Moy1-4/+171
2022-05-19[Ada] Casing style on record componentsBob Duff2-10/+10
generated by cgit v1.1 at 2024-07-19 10:20:21 +0000