aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-09-30Daily bump.GCC Administrator1-0/+21
2022-09-29ada: Remove duplicated doc comment sectionRonan Desplanques1-37/+3
2022-09-29ada: Further tweak new expansion of contractsEric Botcazou2-6/+48
2022-09-29ada: Improve efficiency of slice-of-component assignmentBob Duff1-24/+71
2022-09-29ada: Fix checking of Refined_State with nested package renamingsPiotr Trojanek1-1/+4
2022-09-27Daily bump.GCC Administrator1-0/+99
2022-09-26ada: Doc: rename Valid_Image to Valid_ValueGhjuvan Lacambre3-16/+16
2022-09-26ada: Fix location of pragmas coming from aspects in top-level instancesPiotr Trojanek1-2/+5
2022-09-26ada: Remove unreferenced Rtsfind entriesPiotr Trojanek1-109/+2
2022-09-26ada: Remove unreferenced C macro from OS constants templatePiotr Trojanek1-3/+0
2022-09-26ada: Document Long_Long_Long_Size parameter for -gnateTEric Botcazou2-1/+5
2022-09-26ada: Improve CUDA host-side and device-side binder supportSteve Baird1-5/+4
2022-09-26ada: Document support for the mold linkerKévin Le Gouguec2-8/+30
2022-09-26ada: Make Original_Aspect_Pragma_Name more preciseTucker Taft1-0/+8
2022-09-26ada: Delay expansion of iterator specification in preanalysisPiotr Trojanek1-8/+3
2022-09-26ada: Delay expansion of iterated component associationPiotr Trojanek1-4/+5
2022-09-26ada: Only reject volatile ghost objects when SPARK_Mode is OnPiotr Trojanek1-1/+1
2022-09-26ada: Improve accessibility check generationJustin Squirek1-3/+13
2022-09-26ada: Remove GNATmetric's documentation from GNAT's documentationBoris Yakobowski1-1119/+1
2022-09-26ada: Remove socket definitions for ancient MinGWPiotr Trojanek2-11/+0
2022-09-26ada: Remove definition of MAXPATHLEN for ancient MinGWPiotr Trojanek1-6/+0
2022-09-26ada: Deconstruct build support for ancient MinGWPiotr Trojanek6-49/+5
2022-09-26ada: Tune comment of routine for detecting junk namesPiotr Trojanek1-6/+3
2022-09-26Small tweaks.Eric Botcazou1-6/+6
2022-09-21Daily bump.GCC Administrator1-0/+6
2022-09-20replace "the the" typosMartin Liska3-3/+3
2022-09-16Daily bump.GCC Administrator1-0/+4
2022-09-15Move void_list_node init to common codeRichard Biener1-1/+0
2022-09-13Daily bump.GCC Administrator1-0/+498
2022-09-12[Ada] Fix immediate assertion failure with -gnatd.1Eric Botcazou1-1/+5
2022-09-12[Ada] Storage_Error raised analyzing type with call in its range constraintJustin Squirek1-2/+14
2022-09-12[Ada] Improve CUDA host-side and device-side binder supportSteve Baird1-0/+3
2022-09-12[Ada] Sync documentation of junk names with codePiotr Trojanek3-3/+3
2022-09-12[Ada] Reject 'Valid_Scalars on Unchecked_Union regardless of privacyPiotr Trojanek1-10/+10
2022-09-12[Ada] Improve CUDA host-side and device-side binder supportSteve Baird4-10/+76
2022-09-12[Ada] Temporary tweak new expansion of contractsEric Botcazou3-42/+91
2022-09-12[Ada] Special-case printing of SPARK_Mode in error messagesPiotr Trojanek1-2/+28
2022-09-12[Ada] Justify false alarm from CodePeer analysis of GNATYannick Moy1-0/+2
2022-09-12[Ada] Cleanup routine for handling SPARK_Mode kindsPiotr Trojanek1-13/+14
2022-09-12[Ada] Accept explicit SPARK_Mode Auto as configuration pragmaYannick Moy2-3/+15
2022-09-12[Ada] Remove SPARK containers from GNAT documentationJoffrey Huguet3-662/+202
2022-09-12[Ada] Reject use in SPARK of Asm intrinsics for code insertionsYannick Moy1-1/+3
2022-09-12[Ada] Add C declaration for Opt.Unnest_Subprogram_ModeEric Botcazou1-0/+2
2022-09-12[Ada] Internal error compiling formal instance of generic with Initial_ConditionSteve Baird1-0/+12
2022-09-12[Ada] Replace SPARK containers implementation by Compile_Time_ErrorJoffrey Huguet28-25943/+60
2022-09-12[Ada] Fix validity checking on renamed Old attribute prefixPiotr Trojanek1-1/+11
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek27-1620/+900
2022-09-12[Ada] Fix oversight in implementation of unnestingEric Botcazou1-0/+2
2022-09-12[Ada] Syntax error in Ada 2022 array aggregate causes bug boxSteve Baird1-0/+5
2022-09-12[Ada] Initialize a local variable to avoid a CodePeer warningSteve Baird1-1/+1
generated by cgit v1.1 at 2024-11-03 10:20:23 +0000