aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat
AgeCommit message (Expand)AuthorFilesLines
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
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou1-0/+57
2022-05-18[Ada] Fix proof of runtime unit s-imageuClaire Dross1-8/+1
2022-05-18[Ada] Adapt proof of double arithmetic runtime unitYannick Moy1-16/+67
2022-05-18[Ada] Fix proof of runtime unit s-valeuClaire Dross1-4/+8
2022-05-18[Ada] Make sure output variable is always initializedKévin Le Gouguec1-0/+1
2022-05-18[Ada] Disable Vet calls when container checks are disabledBob Duff17-17/+79
2022-05-18[Ada] Fix DWARF parsing for 32-bit targets on 64-bit hostsKévin Le Gouguec1-25/+20
2022-05-18[Ada] Fix proof of runtime unitsYannick Moy3-0/+9
2022-05-18[Ada] Secondary stack and a-tagsArnaud Charlet1-1/+1
2022-05-18[Ada] Fix problematic underflow for Float_Type'ValueEric Botcazou2-1/+20
2022-05-18[Ada] Fast implementation of floating-point mathematical functionsEric Botcazou3-0/+225
2022-05-18[Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C Math LibraryAlexandre Oliva4-18/+27
2022-05-18[Ada] New port arm-qnxDoug Rupp1-1/+1
2022-05-17[Ada] Fix Forced sign flag in formatted stringMarc Poulhiès1-1/+1
2022-05-17[Ada] Generic binary search implementationDmitriy Anisimkov2-0/+216
2022-05-16[Ada] Fix proof of double arithmetic unitsYannick Moy1-0/+2
2022-05-16[Ada] GNAT.Debug_Pools: Improve documentation of the Stack_Trace_Depth parameterJoel Brobecker1-3/+8
2022-05-13[Ada] Simplify helper units for formal hashed sets/mapsYannick Moy4-156/+24
2022-05-13[Ada] Adapt body of formal sets and maps for SPARKYannick Moy7-196/+145
2022-05-13[Ada] Remove dependency on tampering checks and controlled types for formalYannick Moy9-15/+1168
2022-05-13[Ada] Facilitate proof of Overwrite in bounded strings libraryYannick Moy3-5/+5
2022-05-13[Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83Piotr Trojanek3-8/+8
2022-05-12[Ada] Fix warning about generic subprograms withed but not instantiatedPiotr Trojanek2-2/+0
2022-05-12[Ada] Remove useless pragma Warnings Off from runtime unitsYannick Moy3-6/+0
2022-05-12[Ada] Remove front-end SJLJ processingArnaud Charlet57-57/+0
2022-05-12[Ada] Make debug printouts more robustBob Duff1-1/+1
2022-05-12[Ada] Add ghost code to facilitate proof with SPARKYannick Moy2-0/+17
2022-05-12[Ada] Remove use of use-clauses in loaded runtime unitsYannick Moy4-14/+30
2022-05-12[Ada] Adapt CodePeer analysis of GNAT to changes in dependenciesYannick Moy1-0/+2
2022-05-12[Ada] Proof of 'Image support for signed integersYannick Moy17-32/+786
2022-05-12[Ada] Fix style checking rule for square brackets in Ada 2022 and aboveMarc Poulhiès2-24/+24
2022-05-11[Ada] Proof of 'Image support for unsigned integersYannick Moy26-185/+786
2022-05-11[Ada] Correctly reject record aggregate using bracketsMarc Poulhiès8-30/+30
2022-05-11[Ada] New No_Local_Tagged_Types restrictionMarc Poulhiès1-1/+3
2022-05-11[Ada] Adapt proof of System.Arith_Double after update of Z3Yannick Moy1-2/+16
2022-05-11[Ada] Update categorization of implementation restrictionsPiotr Trojanek1-2/+2
2022-05-11[Ada] Fix "S p e c" and "B o d y" file headersPiotr Trojanek4-4/+4
2022-05-11[Ada] Suppress warning in g-sthcso for non-unix platformsJohannes Kliemann1-0/+5
2022-05-10[Ada] Fix indentation to follow uniform style across runtime unitsYannick Moy2-47/+53
2022-05-10[Ada] Proof of System.Val_Int at gold levelClaire Dross5-22/+289
2022-05-10[Ada] Fix hiding of user-defined operator that is not a homographEric Botcazou1-2/+3
2022-05-09[Ada] Remove extra space around binary operatorsPiotr Trojanek6-10/+10
2022-05-09[Ada] Remove CodePeer annotations for pragma Loop_VariantPiotr Trojanek1-3/+0
2022-05-09[Ada] Fix indentation of "Start of processing for ..." labelsPiotr Trojanek2-2/+2
2022-05-09[Ada] Remove unused parameter from __gnat_killDmitriy Anisimkov2-6/+6
2022-05-09[Ada] Stabilize exit code on close processDmitriy Anisimkov1-6/+4
2022-03-24Properly reset the port handle when closingPascal Obry2-0/+2
generated by cgit v1.1 at 2024-11-01 06:08:40 +0000