aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
2021-09-23[Ada] Remove Initializes contracts from Ada.Strings.BoundedPiotr Trojanek1-2/+0
2021-09-23[Ada] Minimize parts of Ada.Strings.Fixed marked SPARK_Mode => OffYannick Moy2-9/+29
2021-09-23[Ada] Remove global parameter in Global contracts of Ada.Strings.BoundedPiotr Trojanek1-80/+48
2021-09-22[Ada] Simplify contract of Ada.Strings.Fixed.Trim for proofYannick Moy2-50/+17
2021-09-22[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or notYannick Moy1-1/+4
2021-09-22[Ada] Contracts written for the Ada.Strings.Bounded libraryPierre-Alexandre Bazin6-723/+4911
2021-09-22[Ada] VxWorks inconsistent use of return type (BOOL)Doug Rupp2-6/+12
2021-09-22[Ada] Improve performance for case-insensitive regular expressionsSteve Baird1-10/+53
2021-09-22[Ada] Remove System.Img_Enum_New unitEric Botcazou2-255/+0
2021-09-21[Ada] Minor tweaks to System.Dwarf_LineEric Botcazou1-7/+8
2021-09-21[Ada] Cleanup old VxWorks in Makefile.rtlDoug Rupp6-837/+0
2021-09-21[Ada] Small optimization to DWARF 5 mode in System.Dwarf_LineEric Botcazou1-6/+12
2021-09-21[Ada] Follow-up tweaks to System.Dwarf_LineEric Botcazou1-8/+7
2021-09-21[Ada] Refactor sort procedures of doubly linked list containersSteve Baird8-448/+454
2021-09-21[Ada] Remove "with GNAT.OS_Lib;" from libgnat/a-stbufi.adsBob Duff2-6/+8
2021-09-20[Ada] Add SPARK_Mode => Off to System.File_Control_BlockClaire Dross1-1/+1
2021-09-20[Ada] Use OS_Time for interface to TZ functions.Doug Rupp2-13/+11
2021-09-20[Ada] SPARK proof of the Ada.Strings.Fixed libraryPierre-Alexandre Bazin4-349/+1166
2021-09-20[Ada] Adjust latest change for ELF platformsEric Botcazou1-6/+5
2021-09-20[Ada] Add support for PE-COFF PIE to System.Dwarf_LineEric Botcazou4-67/+108
2021-09-20[Ada] Small cleanup in System.Dwarf_LineEric Botcazou2-9/+6
2021-09-14Strengthen compatibility warning for GCC builtinsEric Botcazou5-29/+22
2021-07-25[Ada] Declare time_t uniformly based on a system parameter #2Arnaud Charlet1-0/+2
2021-07-12[Ada] Add DWARF 5 support to System.Dwarf_LineEric Botcazou2-313/+653
2021-07-09[Ada] Improve performance of Ada.Containers.Doubly_Linked_Lists.Generic_Sorti...Steve Baird1-58/+161
2021-07-09[Ada] Typo corrections and minor reformattingGary Dismukes4-13/+12
2021-07-09[Ada] Declare time_t uniformly based on a system parameterDoug Rupp12-10/+255
2021-07-09[Ada] Fix layout of contractsJoffrey Huguet2-22/+18
2021-07-09[Ada] Code cleanups in a-strfix.adbArnaud Charlet1-84/+54
2021-07-08[Ada] Incorrect iteration over hashed containers after multiple InsertsEd Schonberg4-4/+41
2021-07-08[Ada] Make runtime code compatible with No_Dynamic_Accessibility_ChecksArnaud Charlet10-43/+40
2021-07-07[Ada] Minor code cleanupArnaud Charlet1-1/+1
2021-07-07[Ada] Code cleanups in System.Atomic_CountersArnaud Charlet2-16/+5
2021-07-07[Ada] Timeout correction on Get_Socket_OptionDmitriy Anisimkov1-6/+10
2021-07-07[Ada] Fix precondition of Cot for code analyzersYannick Moy1-1/+1
2021-07-07[Ada] Add socket options to control keepalive on TCP connectionDmitriy Anisimkov2-14/+62
2021-07-06[Ada] Enable Ada 2020 Put_Image and Image support for tagged typesSteve Baird1-1/+2
2021-07-06[Ada] Transient scope cleanupBob Duff1-7/+0
2021-07-06[Ada] Add assertions on tampering countsBob Duff1-0/+13
2021-07-05[Ada] Add Reference and Constant_Reference functions to formal containersClaire Dross19-370/+1073
2021-07-05[Ada] Remove Ada.Strings.Text_Output and child unitsSteve Baird13-1486/+0
2021-07-05[Ada] The Unix Epochalyse of 2038 - OS_Time comparisonDoug Rupp2-45/+4
2021-07-05[Ada] The Unix Epochalypse of 2038 (Warn about time_t in the compiler)Doug Rupp2-28/+36
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-0/+1
2021-07-05[Ada] The Unix Epochalyse of 2038 - OS_TimeDoug Rupp2-6/+5
2021-07-05[Ada] Adapt SPARK checking after change in rules regarding heap modelingYannick Moy1-1/+4
2021-06-29[Ada] Add support for Aarch64 in System.Object_ReaderAleksandra Pasek2-2/+10
2021-06-29[Ada] Disable Pre/Post in formal containersClaire Dross7-0/+35
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff2-2/+2
2021-06-29[Ada] Further adjustment and optimization of System.Value_NEric Botcazou5-37/+38
generated by cgit v1.1 at 2025-02-26 12:06:23 +0000