Show patches with: State = Action Required       |    Archived = No       |   126650 patches
« 1 2 ... 651 652 653 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Remove side effects depending on the context of subtype declaration [COMMITTED] ada: Remove side effects depending on the context of subtype declaration - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove special-case for parentheses in expansion for GNATprove [COMMITTED] ada: Remove special-case for parentheses in expansion for GNATprove - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Remove superfluous setter procedure [COMMITTED] ada: Remove superfluous setter procedure - - - - --- 2023-10-10 Marc Poulhiès New
[COMMITTED] ada: Remove the body of System.Storage_Elements [COMMITTED] ada: Remove the body of System.Storage_Elements - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Remove unhelpful special case for renamed bodies in GNATprove mode [COMMITTED] ada: Remove unhelpful special case for renamed bodies in GNATprove mode - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Remove unnecessary call to Detach. [COMMITTED] ada: Remove unnecessary call to Detach. - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Remove unneeded code in handling formal type defaults [COMMITTED] ada: Remove unneeded code in handling formal type defaults - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate [COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove unreferenced routine Is_Inherited_Operation_For_Type [COMMITTED] ada: Remove unreferenced routine Is_Inherited_Operation_For_Type - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img [COMMITTED] ada: Remove unreferenced utility routine Get_Logical_Line_Number_Img - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter [COMMITTED] ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Remove unused files [COMMITTED] ada: Remove unused files - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Remove unused initial value of a local variable [COMMITTED] ada: Remove unused initial value of a local variable - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Remove unused runtime entity [COMMITTED] ada: Remove unused runtime entity - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Remove useless validity suppression for attribute Input [COMMITTED] ada: Remove useless validity suppression for attribute Input - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Remove wrong comment about expansion of exceptions for GNATprove [COMMITTED] ada: Remove wrong comment about expansion of exceptions for GNATprove - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag [COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Rename Is_Limited_View to reflect actual query [COMMITTED] ada: Rename Is_Limited_View to reflect actual query - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_Hidden [COMMITTED] ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_Hidden - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Reorder components in Ada.Containers.Bounded_Doubly_Linked_Lists [COMMITTED] ada: Reorder components in Ada.Containers.Bounded_Doubly_Linked_Lists - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Reorder components in Ada.Containers.Restricted_Doubly_Linked_Lists [COMMITTED] ada: Reorder components in Ada.Containers.Restricted_Doubly_Linked_Lists - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Repair support for user-defined literals in arithmetic operators [COMMITTED] ada: Repair support for user-defined literals in arithmetic operators - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Require successful build of xsnamest [COMMITTED] ada: Require successful build of xsnamest - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Restore SPARK_Mode On for numerical functions [COMMITTED] ada: Restore SPARK_Mode On for numerical functions - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Restore object constraint optimization [COMMITTED] ada: Restore object constraint optimization - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Restore parent link for both lists and nodes in class-wide condition [COMMITTED] ada: Restore parent link for both lists and nodes in class-wide condition - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Restore proof of System.Arith_Double [COMMITTED] ada: Restore proof of System.Arith_Double - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Restrict expression pretty-printer to subexpressions [COMMITTED] ada: Restrict expression pretty-printer to subexpressions - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Restrict use of formal parameters within exceptional cases [COMMITTED] ada: Restrict use of formal parameters within exceptional cases - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Reuse code in Is_Fully_Initialized_Type [COMMITTED] ada: Reuse code in Is_Fully_Initialized_Type - - - - --- 2023-07-06 Marc Poulhiès New
[COMMITTED] ada: Reuse idiomatic procedure in CStand [COMMITTED] ada: Reuse idiomatic procedure in CStand - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Reuse routine for getting from body entity to spec entity [COMMITTED] ada: Reuse routine for getting from body entity to spec entity - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Revert latest change to Find_Hook_Context [COMMITTED] ada: Revert latest change to Find_Hook_Context - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Revert to constrained allocation for string concatenation [COMMITTED] ada: Revert to constrained allocation for string concatenation - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Revert to old pretty-printing of internal entities for CodePeer [COMMITTED] ada: Revert to old pretty-printing of internal entities for CodePeer - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Rework CUDA host-side invocation of device-side elaboration code [COMMITTED] ada: Rework CUDA host-side invocation of device-side elaboration code - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Rework comment in Expand_Ctrl_Function_Call [COMMITTED] ada: Rework comment in Expand_Ctrl_Function_Call - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Rework fix for internal error on quantified expression with predicated type [COMMITTED] ada: Rework fix for internal error on quantified expression with predicated type - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator [COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Rewrite Set_Image_*_Unsigned routines to remove recursion. [COMMITTED] ada: Rewrite Set_Image_*_Unsigned routines to remove recursion. - - - - --- 2023-08-03 Marc Poulhiès New
[COMMITTED] ada: Runtime recompilation instructions improvements. [COMMITTED] ada: Runtime recompilation instructions improvements. - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Seize opportunity to reuse List_Length [COMMITTED] ada: Seize opportunity to reuse List_Length - - - - --- 2023-10-19 Marc Poulhiès New
[COMMITTED] ada: Set Is_Not_Self_Hidden flag in more cases [COMMITTED] ada: Set Is_Not_Self_Hidden flag in more cases - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Set Loop_Variant assertion policy to Ignore in both [COMMITTED] ada: Set Loop_Variant assertion policy to Ignore in both - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes [COMMITTED] ada: Set Support_Atomic_Primitives for VxWorks 7 runtimes - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Set g-spogwa as a GNATRTL_SOCKETS_OBJS [COMMITTED] ada: Set g-spogwa as a GNATRTL_SOCKETS_OBJS - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Silence CodePeer false positive [COMMITTED] ada: Silence CodePeer false positive - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Simplify "not Present" with "No" [COMMITTED] ada: Simplify "not Present" with "No" - - - - --- 2023-10-19 Marc Poulhiès New
[COMMITTED] ada: Simplify [Small_]Integer_Type_For [COMMITTED] ada: Simplify [Small_]Integer_Type_For - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Simplify appending to a newly created list [COMMITTED] ada: Simplify appending to a newly created list - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Simplify assertion to remove CodePeer message [COMMITTED] ada: Simplify assertion to remove CodePeer message - - - - --- 2023-07-10 Marc Poulhiès New
[COMMITTED] ada: Simplify code for Ignore_Style_Checks_Pragmas [COMMITTED] ada: Simplify code for Ignore_Style_Checks_Pragmas - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Simplify copying of node lists [COMMITTED] ada: Simplify copying of node lists - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Simplify detection of controlling formals [COMMITTED] ada: Simplify detection of controlling formals - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Simplify detection of pragmas in the context items [COMMITTED] ada: Simplify detection of pragmas in the context items - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Simplify dramatically ghost code for proof of System.Arith_Double [COMMITTED] ada: Simplify dramatically ghost code for proof of System.Arith_Double - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Simplify expansion of packed array assignments [COMMITTED] ada: Simplify expansion of packed array assignments - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Simplify expansion of positional aggregates [COMMITTED] ada: Simplify expansion of positional aggregates - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Simplify expansion of set membership [COMMITTED] ada: Simplify expansion of set membership - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Simplify finalization of temporaries created for interface objects [COMMITTED] ada: Simplify finalization of temporaries created for interface objects - - - - --- 2023-01-09 Marc Poulhiès New
[COMMITTED] ada: Simplify handling of known values in expansion of packed arrays [COMMITTED] ada: Simplify handling of known values in expansion of packed arrays - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Simplify iteration over record component items with possible pragmas [COMMITTED] ada: Simplify iteration over record component items with possible pragmas - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Simplify lookup of predecessor in homonym chain [COMMITTED] ada: Simplify lookup of predecessor in homonym chain - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Simplify new expansion of contracts [COMMITTED] ada: Simplify new expansion of contracts - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Simplify removal of formals from the scope [COMMITTED] ada: Simplify removal of formals from the scope - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Simplify the implementation of storage models [COMMITTED] ada: Simplify the implementation of storage models - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Skip dynamic interface conversion under configurable runtime [COMMITTED] ada: Skip dynamic interface conversion under configurable runtime - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Skip dynamic interface conversion under configurable runtime [COMMITTED] ada: Skip dynamic interface conversion under configurable runtime - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Skip dynamic interface conversion under native runtime [COMMITTED] ada: Skip dynamic interface conversion under native runtime - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Skip elaboration checks for abstract subprograms on derived types [COMMITTED] ada: Skip elaboration checks for abstract subprograms on derived types - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Small adjustment to special resolution of membership test [COMMITTED] ada: Small adjustment to special resolution of membership test - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Small adjustments to new procedure Expand_Unchecked_Union_Equality [COMMITTED] ada: Small adjustments to new procedure Expand_Unchecked_Union_Equality - - - - --- 2023-07-04 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: Small cleanup in finalization machinery [COMMITTED] ada: Small cleanup in finalization machinery - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Small cleanup in support for protected subprograms [COMMITTED] ada: Small cleanup in support for protected subprograms - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Small cleanups and fixes in expansion of aggregates [COMMITTED] ada: Small cleanups and fixes in expansion of aggregates - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Small code cleanup [COMMITTED] ada: Small code cleanup - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Small consistency fix [COMMITTED] ada: Small consistency fix - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Small consistency fix for -gnatwv warning [COMMITTED] ada: Small consistency fix for -gnatwv warning - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Small editorial changes to documentation comments [COMMITTED] ada: Small editorial changes to documentation comments - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Small fixes to handling of private views in instances [COMMITTED] ada: Small fixes to handling of private views in instances - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Small housekeeping work in expansion of extension aggregates [COMMITTED] ada: Small housekeeping work in expansion of extension aggregates - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Small improvement to Null_Status function [COMMITTED] ada: Small improvement to Null_Status function - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Small refactor [COMMITTED] ada: Small refactor - - - - --- 2023-07-28 Marc Poulhiès New
[COMMITTED] ada: Small tweak to implementation of by-copy semantics for storage models [COMMITTED] ada: Small tweak to implementation of by-copy semantics for storage models - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Spurious error analyzing 'old or 'result in class-wide conditions [COMMITTED] ada: Spurious error analyzing 'old or 'result in class-wide conditions - - - - --- 2023-05-16 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 - - - - --- 2023-01-05 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: Spurious error on class-wide preconditions [COMMITTED] ada: Spurious error on class-wide preconditions - - - - --- 2023-08-07 Marc Poulhiès New
[COMMITTED] ada: Spurious error on function returning CPP type [COMMITTED] ada: Spurious error on function returning CPP type - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Spurious error on nested call using the prefix notation [COMMITTED] ada: Spurious error on nested call using the prefix notation - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Spurious error on package instantiation [COMMITTED] ada: Spurious error on package instantiation - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Spurious error on string interpolation [COMMITTED] ada: Spurious error on string interpolation - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Spurious errors on class-wide preconditions of private types [COMMITTED] ada: Spurious errors on class-wide preconditions of private types - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Spurious warning about negative modular literal [COMMITTED] ada: Spurious warning about negative modular literal - - - - --- 2023-09-05 Marc Poulhiès New
[COMMITTED] ada: Static intrinsic functions are a core language extension. [COMMITTED] ada: Static intrinsic functions are a core language extension. - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Streamline expansion of controlled actions for aggregates [COMMITTED] ada: Streamline expansion of controlled actions for aggregates - - - - --- 2023-06-13 Marc Poulhiès New
[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: Support Put_Image for types in user-defined instances of predefined generics. [COMMITTED] ada: Support Put_Image for types in user-defined instances of predefined generics. - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Support calls through dereferences in Find_Actual [COMMITTED] ada: Support calls through dereferences in Find_Actual - - - - --- 2023-05-22 Marc Poulhiès New
« 1 2 ... 651 652 653 … 1266 1267 »