aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-03-11Daily bump.GCC Administrator1-0/+6
2022-03-10ada/104861 - use target_noncanonial for Target_NameRichard Biener1-1/+2
2022-02-14Daily bump.GCC Administrator1-0/+7
2022-02-13[Ada] PR ada/98724: Alpha/Linux/libada: Use wraplf for Aux_Long_Long_FloatMaciej W. Rozycki1-0/+1
2022-02-01Daily bump.GCC Administrator1-0/+10
2022-01-31[Ada] doc/share/conf.py: fix string handlingPierre-Marie de Rodat1-1/+1
2022-01-31[Ada] Fix up handling of ghost units PR104027 #2Arnaud Charlet1-4/+12
2022-01-29Daily bump.GCC Administrator1-0/+6
2022-01-28Fix wrong operator for universal_integer operands in instanceEric Botcazou1-1/+5
2022-01-20Daily bump.GCC Administrator1-0/+16
2022-01-19[Ada] Set target_cpu to x32 for x86_64-linux-gnux32H.J. Lu1-0/+7
2022-01-19[Ada] Compile s-mmap and 128bit on x86_64-linux-gnux32H.J. Lu1-0/+5
2022-01-19Daily bump.GCC Administrator1-0/+80
2022-01-18Ada: Revert filename changes in comments.Martin Liska12-12/+12
2022-01-18Revert Ada .cc renaming renaming.Martin Liska33-38/+32
2022-01-18Daily bump.GCC Administrator1-0/+117
2022-01-17Manual changes for .cc renaming.Martin Liska3-7/+13
2022-01-17Change references of .c files to .cc filesMartin Liska22-63/+63
2022-01-17Rename .c files to .cc files.Martin Liska36-0/+0
2022-01-15Daily bump.GCC Administrator1-0/+6
2022-01-14ada: Fix up handling of ghost units [PR104027]Andrew Pinski1-0/+5
2022-01-12Daily bump.GCC Administrator1-0/+2447
2022-01-11[Ada] Relax assertion on designated types for equality operatorsEric Botcazou1-9/+14
2022-01-11[Ada] Include generic instance names in non-visible entity errorsJustin Squirek1-2/+21
2022-01-11[Ada] Accept square brackets for expression functionsEtienne Servais1-1/+8
2022-01-11[Ada] Task arrays trigger spurious unreferenced warningsJustin Squirek1-6/+3
2022-01-11[Ada] Remove unreferenced CCG-specific routine Insert_DeclarationPiotr Trojanek2-49/+0
2022-01-11[Ada] Avoid redundant checks for empty listsPiotr Trojanek5-12/+6
2022-01-11[Ada] Remove name constant used by GNATprove but not by GNATPiotr Trojanek1-0/+1
2022-01-11[Ada] Reduce scope of declare block in analysis of allocatorsPiotr Trojanek1-161/+160
2022-01-11[Ada] Balance parentheses in comments about allocatorsPiotr Trojanek2-3/+3
2022-01-11[Ada] Remove unreferenced name constantsPiotr Trojanek1-37/+0
2022-01-11[Ada] Adapt proof of System.Arith_DoubleYannick Moy1-9/+34
2022-01-11[Ada] Deconstruct a VMS utility routine which is only used by GNATprovePiotr Trojanek2-93/+0
2022-01-11[Ada] Recover proof of Ada.Strings.Fixed with assertionsYannick Moy1-3/+13
2022-01-11[Ada] PR ada/79724Arnaud Charlet1-5/+1
2022-01-11[Ada] Remove unnecessary block in code for expansion of allocatorsPiotr Trojanek1-91/+85
2022-01-11[Ada] Fix incomplete debug info for derived packed array typeEric Botcazou1-1/+4
2022-01-11[Ada] Reuse Make_Temporary where possiblePiotr Trojanek5-18/+9
2022-01-11[Ada] Fix check for implicit allocation of dynamic objectsEtienne Servais1-2/+3
2022-01-11[Ada] Proof of unit System.Case_UtilYannick Moy2-11/+104
2022-01-11[Ada] Proof of System.Val_Uns at gold levelClaire Dross20-115/+1066
2022-01-11[Ada] Adapt ghost code to maintain proofYannick Moy1-0/+3
2022-01-11[Ada] Simplify construction of messages about configurable runtimePiotr Trojanek1-15/+2
2022-01-11[Ada] Remove redundant initialization of Test_And_Set_Flag objectPiotr Trojanek1-4/+2
2022-01-11[Ada] Tune inconsistent message about fixed-lower-bound and -gnatXPiotr Trojanek1-18/+3
2022-01-11[Ada] Conformance error on protected subp with anonymous-access-to-tagged formalGary Dismukes1-0/+23
2022-01-11[Ada] Proof of System.Vectors.Boolean_OperationsYannick Moy2-10/+207
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek56-76/+76
2022-01-11[Ada] Code cleanupsArnaud Charlet5-8/+6
generated by cgit v1.1 at 2024-11-03 10:23:48 +0000