Show patches with: Submitter = Marc Poulhiès       |    State = Action Required       |    Archived = No       |   49 patches
Patch Series rb/tb S/W/F Date Submitter Delegate State
[COMMITTED] ada: Strip conversions for the implementation of storage models [COMMITTED] ada: Strip conversions for the implementation of storage models - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Enforce Aggregate aspect legality rule [COMMITTED] ada: Enforce Aggregate aspect legality rule - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Further adjustments to User's Guide for PIE default [COMMITTED] ada: Further adjustments to User's Guide for PIE default - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Fix misphrasing in comment [COMMITTED] ada: Fix misphrasing in comment - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Use the address type of a Storage_Model_Type for 'Address [COMMITTED] ada: Use the address type of a Storage_Model_Type for 'Address - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Fix minor issues in reference manual [COMMITTED] ada: Fix minor issues in reference manual - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Minor updates to gnat/doc configuration [COMMITTED] ada: Minor updates to gnat/doc configuration - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Adjust runtime library and User's Guide to PIE default on Linux [COMMITTED] ada: Adjust runtime library and User's Guide to PIE default on Linux - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: doc/share/conf.py: Switch the HTML documentation to using the RTD theme [COMMITTED] ada: doc/share/conf.py: Switch the HTML documentation to using the RTD theme - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Annotate GNAT.Source_Info with an abstract state [COMMITTED] ada: Annotate GNAT.Source_Info with an abstract state - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on conversion as in/out actual with -gnatVa [COMMITTED] ada: Fix internal error on conversion as in/out actual with -gnatVa - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Add PIE support to backtraces on Linux [COMMITTED] ada: Add PIE support to backtraces on Linux - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Implement change to SPARK RM rule on state refinement [COMMITTED] ada: Implement change to SPARK RM rule on state refinement - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Add assertion for the implementation of storage models [COMMITTED] ada: Add assertion for the implementation of storage models - - --- 2022-11-24 Marc Poulhiès New
[COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants [COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants - - --- 2022-11-24 Marc Poulhiès New
[COMMITTED] ada: Accept aspects Global and Depends on abstract subprograms [COMMITTED] ada: Accept aspects Global and Depends on abstract subprograms - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Disable checking of Elab_Spec procedures in CodePeer_Mode [COMMITTED] ada: Disable checking of Elab_Spec procedures in CodePeer_Mode - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Adjust number of errors when removing warning in dead code [COMMITTED] ada: Adjust number of errors when removing warning in dead code - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Fix formatting glitches in Make_Tag_Assignment [COMMITTED] ada: Fix formatting glitches in Make_Tag_Assignment - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Fix recent assertion failure on GPR2 [COMMITTED] ada: Fix recent assertion failure on GPR2 - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Adjust recent change for returns involving function calls [COMMITTED] ada: Adjust recent change for returns involving function calls - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Do not share Packed Array Type if sizes of types differ [COMMITTED] ada: Do not share Packed Array Type if sizes of types differ - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Order pragmas alphabetically in reference manual [COMMITTED] ada: Order pragmas alphabetically in reference manual - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Minor tweak in assertion [COMMITTED] ada: Minor tweak in assertion - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy [COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Small cleanup in Expand_N_Object_Declaration [COMMITTED] ada: Small cleanup in Expand_N_Object_Declaration - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Ada 2022 Image attribute bugs [COMMITTED] ada: Ada 2022 Image attribute bugs - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Disable subprogram call validation in CodePeer mode [COMMITTED] ada: Disable subprogram call validation in CodePeer mode - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Move warnings switches [COMMITTED] ada: Move warnings switches - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Improve documentation for -gnatw.h warnings [COMMITTED] ada: Improve documentation for -gnatw.h warnings - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Reject nonconfirming Size attribute value for aliased object [COMMITTED] ada: Reject nonconfirming Size attribute value for aliased object - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix gnatmake's parsing of adc files [COMMITTED] ada: Fix gnatmake's parsing of adc files - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Tweak error messages on misplaced with keywords [COMMITTED] ada: Tweak error messages on misplaced with keywords - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule [COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Enforce matching of extra formals [COMMITTED] ada: Enforce matching of extra formals - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Move warnings switches -- initial work [COMMITTED] ada: Move warnings switches -- initial work - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Fix performance regression related to references in Refined_State [COMMITTED] ada: Fix performance regression related to references in Refined_State - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Suppress warnings on derived True/False [COMMITTED] ada: Suppress warnings on derived True/False - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Deconstruct Safe_To_Capture_In_Parameter_Value [COMMITTED] ada: Deconstruct Safe_To_Capture_In_Parameter_Value - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Cleanup WITH clauses after switching from obsolescent Ada 83 unit [COMMITTED] ada: Cleanup WITH clauses after switching from obsolescent Ada 83 unit - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Create operator nodes in functional style [COMMITTED] ada: Create operator nodes in functional style - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Don't reuse operator nodes in expansion [COMMITTED] ada: Don't reuse operator nodes in expansion - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Allow enabling a restricted set of language extensions. [COMMITTED] ada: Allow enabling a restricted set of language extensions. - - --- 2022-11-04 Marc Poulhiès New
[Ada] Do not mark user parameters of protected subprograms as artificial [Ada] Do not mark user parameters of protected subprograms as artificial - - --- 2022-09-12 Marc Poulhiès New
[Ada] Fix issues with compiling ACATS test for user-defined literals [Ada] Fix issues with compiling ACATS test for user-defined literals - - --- 2022-09-12 Marc Poulhiès New
[Ada] Correctly round Value attribute for floating point in more cases [Ada] Correctly round Value attribute for floating point in more cases - - --- 2022-09-06 Marc Poulhiès New
[Ada] Fix resolution of iterated component association [Ada] Fix resolution of iterated component association - - --- 2022-09-05 Marc Poulhiès New
[Ada] Fix crash on declaration of overaligned array with constraints [Ada] Fix crash on declaration of overaligned array with constraints - - --- 2022-09-02 Marc Poulhiès New
testsuite: Robustify aarch64/simd tests against more aggressive DCE testsuite: Robustify aarch64/simd tests against more aggressive DCE - - --- 2021-12-13 Marc Poulhiès New