aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
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
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
generated by cgit v1.1 at 2024-09-28 17:22:36 +0000