aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
2023-06-15ada: Adjust QNX Ada priorities to match QNX system prioritiesJohannes Kliemann1-8/+6
2023-06-13ada: Add No_Elaboration_Code_All pragma to System.Storage_ElementsDaniel King1-0/+3
2023-06-13ada: Use ghost predicate in standard libraryYannick Moy1-1/+1
2023-05-30ada: Ensure Default_Stack_Size is greater than Minimum_Stack_SizeJohannes Kliemann3-2/+13
2023-05-30ada: Use generalized loop iteration in Put_Image routinesEric Botcazou2-16/+10
2023-05-29ada: Use Code_Address attribute to determine subprogram addressesPatrick Bernardi3-89/+48
2023-05-29ada: Add QNX specific version of System.ParametersJohannes Kliemann1-0/+81
2023-05-29ada: Restore SPARK_Mode On for numerical functionsYannick Moy1-6/+0
2023-05-26ada: Complete contracts of SPARK unitsYannick Moy4-58/+80
2023-05-26ada: Reorder components in Ada.Containers.Bounded_Doubly_Linked_ListsEric Botcazou1-1/+1
2023-05-26ada: Reorder components in Ada.Containers.Restricted_Doubly_Linked_ListsEric Botcazou1-1/+1
2023-05-25ada: Enable Support_Atomic_Primitives on VxWorks 7 PPCJohannes Kliemann2-2/+2
2023-05-25ada: Add size clause to System.AddressEric Botcazou43-0/+86
2023-05-25ada: Decouple size of addresses and pointers from size of memory spaceEric Botcazou11-31/+18
2023-05-25ada: Tune warning about assignment just before a raise statementPiotr Trojanek2-3/+1
2023-05-23ada: Remove redundant parentheses from System.Stack_Checking.OperationsPatrick Bernardi1-3/+2
2023-05-23ada: Update ghost code for proof of integer input functionsClaire Dross2-32/+41
2023-05-23ada: Add new switch -gnatyzArnaud Charlet1-1/+1
2023-05-23ada: Fix minor address arithmetic issues in System.Dwarf_LinesEric Botcazou1-6/+6
2023-05-23ada: Remove unnecessary call to Detach.Vadim Godunko1-4/+0
2023-05-23ada: Fix address arithmetic issues in the runtimeEric Botcazou4-24/+26
2023-05-23ada: Facilitate proof of Interfaces.C.To_AdaYannick Moy1-0/+1
2023-05-23ada: Remove the body of System.Storage_ElementsEric Botcazou3-130/+13
2023-05-23ada: Minor fix typo in commentPiotr Trojanek1-1/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet18-42/+39
2023-05-22ada: Add contracts to Ada.Strings.Unbounded libraryJoffrey Huguet2-10/+22
2023-05-22ada: Implement conversions from Big_Integer to large typesEric Botcazou3-20/+98
2023-05-16ada: Update proof of runtime unitsYannick Moy6-45/+31
2023-05-16ada: Fix Ada representation of r_debug and link_map typesMarc Poulhiès1-6/+13
2023-05-16ada: Enable Support_Atomic_Primitives on PPC LinuxJohannes Kliemann2-0/+150
2023-05-16ada: Fix typo in "pattern"Tom Tromey1-1/+1
2023-05-16ada: Simplify dramatically ghost code for proof of System.Arith_DoubleYannick Moy2-384/+56
2023-05-16ada: Add intermediate assertions for proof of Super_TailYannick Moy1-0/+6
2023-05-16ada: Set Loop_Variant assertion policy to Ignore in bothYannick Moy1-1/+2
2023-05-16ada: Restore proof of System.Arith_DoubleYannick Moy1-31/+119
2023-05-15ada: Add annotations for proof of termination of runtime unitsYannick Moy7-0/+66
2023-05-15ada: Recover proof of runtime unitsYannick Moy2-5/+7
2023-05-15ada: Recover proof of Interfaces.C for terminationYannick Moy1-1/+9
2023-05-15ada: Fix proof of runtime unit System.Value*Claire Dross1-30/+62
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
generated by cgit v1.1 at 2024-11-03 16:51:59 +0000