Show patches with: State = Action Required       |    Archived = No       |   126656 patches
« 1 2 ... 720 721 722 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Fix memory leak in multi-dimensional array aggregate of Vector [COMMITTED] ada: Fix memory leak in multi-dimensional array aggregate of Vector - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix wrong result for membership test of null in null-excluding access type [COMMITTED] ada: Fix wrong result for membership test of null in null-excluding access type - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix small fallout of previous change [COMMITTED] ada: Fix small fallout of previous change - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix wrong finalization for call to BIP function in conditional expression [COMMITTED] ada: Fix wrong finalization for call to BIP function in conditional expression - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Accept parameters of enclosing subprograms in exceptional cases [COMMITTED] ada: Accept parameters of enclosing subprograms in exceptional cases - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix crash on vector initialization [COMMITTED] ada: Fix crash on vector initialization - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Allow attributes like First and Last to be read in Exceptional_Cases [COMMITTED] ada: Allow attributes like First and Last to be read in Exceptional_Cases - - - - --- 2023-05-29 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: Default_Component_Value trumps Initialize/Normalize_Scalars [COMMITTED] ada: Default_Component_Value trumps Initialize/Normalize_Scalars - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Crash on aggregate for tagged record with discriminants [COMMITTED] ada: Crash on aggregate for tagged record with discriminants - - - - --- 2023-05-29 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: Fix retrieval of spec entity from entry body entity [COMMITTED] ada: Fix retrieval of spec entity from entry body entity - - - - --- 2023-05-29 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: Refining handling of inlining for CCG [COMMITTED] ada: Refining handling of inlining for CCG - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix spurious error on nested instantiations with generic renaming [COMMITTED] ada: Fix spurious error on nested instantiations with generic renaming - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Tune message for missing 'Result in Contract_Cases [COMMITTED] ada: Tune message for missing 'Result in Contract_Cases - - - - --- 2023-05-29 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: Tune message for pre/post on access-to-subprogram in old Ada [COMMITTED] ada: Tune message for pre/post on access-to-subprogram in old Ada - - - - --- 2023-05-29 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: Add QNX specific version of System.Parameters [COMMITTED] ada: Add QNX specific version of System.Parameters - - - - --- 2023-05-29 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: Fix restoration of parent link [COMMITTED] ada: Fix restoration of parent link - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Analyze pre/post on access-to-subprogram without a wrapper [COMMITTED] ada: Analyze pre/post on access-to-subprogram without a wrapper - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Corrections to premature-references rules [COMMITTED] ada: Corrections to premature-references rules - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix typos "statment" and "condtion" [COMMITTED] ada: Fix typos "statment" and "condtion" - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Use truncation for dynamic conversions from floating point to fixed point [COMMITTED] ada: Use truncation for dynamic conversions from floating point to fixed point - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Crash on function returning allocated object containing tasks [COMMITTED] ada: Crash on function returning allocated object containing tasks - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Default initialize entity to avoid CodePeer message [COMMITTED] ada: Default initialize entity to avoid CodePeer message - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Minor doc clarification [COMMITTED] ada: Minor doc clarification - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Complete contracts of SPARK units [COMMITTED] ada: Complete contracts of SPARK units - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix crash on 'Img as generic actual function [COMMITTED] ada: Fix crash on 'Img as generic actual function - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Remove redundant guard against empty lists [COMMITTED] ada: Remove redundant guard against empty lists - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix double free on finalization of Vector in array aggregate [COMMITTED] ada: Fix double free on finalization of Vector in array aggregate - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on Big_Integer conversion ghost instance [COMMITTED] ada: Fix internal error on Big_Integer conversion ghost instance - - - - --- 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: Cleanup expansion of membership operators into attribute Valid [COMMITTED] ada: Cleanup expansion of membership operators into attribute Valid - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Remove leftover code for counting protected entries [COMMITTED] ada: Remove leftover code for counting protected entries - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix detection of non-static expressions in records with pragmas [COMMITTED] ada: Fix detection of non-static expressions in records with pragmas - - - - --- 2023-05-26 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: Reject thin 'Unrestricted_Access value to aliased constrained array [COMMITTED] ada: Reject thin 'Unrestricted_Access value to aliased constrained array - - - - --- 2023-05-26 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: Fix handling of Global contracts inside generic subprograms [COMMITTED] ada: Fix handling of Global contracts inside generic subprograms - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Tune detection of expression functions within a declare expression [COMMITTED] ada: Tune detection of expression functions within a declare expression - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Crash on loop in dispatching conditional entry call [COMMITTED] ada: Crash on loop in dispatching conditional entry call - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Remove redundant protection against empty lists [COMMITTED] ada: Remove redundant protection against empty lists - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Cleanups in handling of aggregates [COMMITTED] ada: Cleanups in handling of aggregates - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix iteration over component items with pragmas [COMMITTED] ada: Fix iteration over component items with pragmas - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Duplicate declaration of _master entity [COMMITTED] ada: Duplicate declaration of _master entity - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Remove redundant guards from handling of record components [COMMITTED] ada: Remove redundant guards from handling of record components - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Remove Is_Descendant_Of_Address flag from Standard_Address [COMMITTED] ada: Remove Is_Descendant_Of_Address flag from Standard_Address - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Handle new Controlling_Tag format when converting to SCIL [COMMITTED] ada: Handle new Controlling_Tag format when converting to SCIL - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Use context variables in expansion of aggregates [COMMITTED] ada: Use context variables in expansion of aggregates - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix missing finalization in library-level instance body [COMMITTED] ada: Fix missing finalization in library-level instance body - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Minor tweak in condition [COMMITTED] ada: Minor tweak in condition - - - - --- 2023-05-26 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: Use computed value from os_constants to define sigset_t [COMMITTED] ada: Use computed value from os_constants to define sigset_t - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix another couple of unchecked conversions to Ada.Tags.Tag [COMMITTED] ada: Fix another couple of unchecked conversions to Ada.Tags.Tag - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Refine types for an accessibility-checking routine [COMMITTED] ada: Refine types for an accessibility-checking routine - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Clean style in expansion of array aggregates [COMMITTED] ada: Clean style in expansion of array aggregates - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix late extra formals creation [COMMITTED] ada: Fix late extra formals creation - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Add missing guards in Selected_Range_Checks [COMMITTED] ada: Add missing guards in Selected_Range_Checks - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Enhance Is_Null_Range and Not_Null_Range predicates [COMMITTED] ada: Enhance Is_Null_Range and Not_Null_Range predicates - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Missing warning on null-excluding array aggregate component [COMMITTED] ada: Missing warning on null-excluding array aggregate component - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Expect Exceptional_Cases as a context for attribute Old [COMMITTED] ada: Expect Exceptional_Cases as a context for attribute Old - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Use procedural variant of Next_Index where possible [COMMITTED] ada: Use procedural variant of Next_Index where possible - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Crash on empty aggregate using the Ada 2022 notation [COMMITTED] ada: Crash on empty aggregate using the Ada 2022 notation - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Enable Support_Atomic_Primitives on VxWorks 7 PPC [COMMITTED] ada: Enable Support_Atomic_Primitives on VxWorks 7 PPC - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix internal error on declare-expression in post-condition [COMMITTED] ada: Fix internal error on declare-expression in post-condition - - - - --- 2023-05-25 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: Minor adjustments to Standard_Address [COMMITTED] ada: Minor adjustments to Standard_Address - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Add size clause to System.Address [COMMITTED] ada: Add size clause to System.Address - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix error message for Aggregate aspect [COMMITTED] ada: Fix error message for Aggregate aspect - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Switch from E_Void to Is_Not_Self_Hidden [COMMITTED] ada: Switch from E_Void to Is_Not_Self_Hidden - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Decouple size of addresses and pointers from size of memory space [COMMITTED] ada: Decouple size of addresses and pointers from size of memory space - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix copying of quantified expressions [COMMITTED] ada: Fix copying of quantified expressions - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Deconstruct a no longer used parameter of New_Copy_Tree [COMMITTED] ada: Deconstruct a no longer used parameter of New_Copy_Tree - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Clean up copying of node trees [COMMITTED] ada: Clean up copying of node trees - - - - --- 2023-05-25 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: Avoid duplicated streaming subprograms [COMMITTED] ada: Avoid duplicated streaming subprograms - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix crash during function return analysis [COMMITTED] ada: Fix crash during function return analysis - - - - --- 2023-05-25 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: Fix (again) incorrect handling of Aggregate aspect [COMMITTED] ada: Fix (again) incorrect handling of Aggregate aspect - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Prevent search of calls in preconditions from going too far [COMMITTED] ada: Prevent search of calls in preconditions from going too far - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix comments for recently added SPARK aspects [COMMITTED] ada: Fix comments for recently added SPARK aspects - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Add missing supportive code for recently added SPARK aspects [COMMITTED] ada: Add missing supportive code for recently added SPARK aspects - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Tune handling of attributes Old in contract Exceptional_Cases [COMMITTED] ada: Tune handling of attributes Old in contract Exceptional_Cases - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Remove redundant guards from calls to Move_Aspects [COMMITTED] ada: Remove redundant guards from calls to Move_Aspects - - - - --- 2023-05-25 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: Fix copy-paste mistake in analysis of Exceptional_Cases [COMMITTED] ada: Fix copy-paste mistake in analysis of Exceptional_Cases - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Enrich documentation of subprogram [COMMITTED] ada: Enrich documentation of subprogram - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Maximize use of existing constant [COMMITTED] ada: Maximize use of existing constant - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Reduce span of variable [COMMITTED] ada: Reduce span of variable - - - - --- 2023-05-25 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: Handle controlling access parameters in DTWs [COMMITTED] ada: Handle controlling access parameters in DTWs - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Add Entry_Cancel_Parameter to E_Label [COMMITTED] ada: Add Entry_Cancel_Parameter to E_Label - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Minor fixes in description of scope depth [COMMITTED] ada: Minor fixes in description of scope depth - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Tune warning about assignment just before a raise statement [COMMITTED] ada: Tune warning about assignment just before a raise statement - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Accept aliased parameters in Exceptional_Cases [COMMITTED] ada: Accept aliased parameters in Exceptional_Cases - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix incorrect handling of Aggregate aspect [COMMITTED] ada: Fix incorrect handling of Aggregate aspect - - - - --- 2023-05-25 Marc Poulhiès New
« 1 2 ... 720 721 722 … 1266 1267 »