Show patches with: Submitter = Marc Poulhiès       |    State = Action Required       |    Archived = No       |   347 patches
« 1 2 3 4 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Fix bogus Constraint_Error on allocator for access to array of access type [COMMITTED] ada: Fix bogus Constraint_Error on allocator for access to array of access type - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests [COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications [COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix limited_with in Check_Scil; allow for <> in pp of aggregate [COMMITTED] ada: Fix limited_with in Check_Scil; allow for <> in pp of aggregate - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Add __atomic_store_n binding to System.Atomic_Primitives [COMMITTED] ada: Add __atomic_store_n binding to System.Atomic_Primitives - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix uses of not Present [COMMITTED] ada: Fix uses of not Present - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration [COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix precondition in Interfaces.C.Strings [COMMITTED] ada: Fix precondition in Interfaces.C.Strings - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate [COMMITTED] ada: Remove unreachable code in Resolve_Extension_Aggregate - - - -1- 2024-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on call with parameter of predicated subtype [COMMITTED] ada: Fix internal error on call with parameter of predicated subtype - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: gnatbind: Do not generate Ada.Command_Line references when not used [COMMITTED] ada: gnatbind: Do not generate Ada.Command_Line references when not used - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Optimize performance and remove dynamic frame requirement. [COMMITTED] ada: Optimize performance and remove dynamic frame requirement. - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag [COMMITTED] ada: Rename Is_Constr_Subt_For_UN_Aliased flag - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix crash on concurrent type aggregate [COMMITTED] ada: Fix crash on concurrent type aggregate - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Add missing guard to previous change [COMMITTED] ada: Add missing guard to previous change - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix spurious visibility error on parent's component in instance [COMMITTED] ada: Fix spurious visibility error on parent's component in instance - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Cope with Sem_Util.Enclosing_Declaration oddness. [COMMITTED] ada: Cope with Sem_Util.Enclosing_Declaration oddness. - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Restore object constraint optimization [COMMITTED] ada: Restore object constraint optimization - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Do not issue SPARK legality error if SPARK_Mode ignored [COMMITTED] ada: Do not issue SPARK legality error if SPARK_Mode ignored - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup SPARK legality checking [COMMITTED] ada: Cleanup SPARK legality checking - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - -1- 2023-12-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator [COMMITTED] ada: Rework fix for wrong finalization of qualified aggregate in allocator - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[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. - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove SPARK legality checks [COMMITTED] ada: Remove SPARK legality checks - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix spelling of functions with(out) "side effects" [COMMITTED] ada: Fix spelling of functions with(out) "side effects" - - - -1- 2023-11-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram [COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type [COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix incorrect quoting in documentation [COMMITTED] ada: Fix incorrect quoting in documentation - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix premature finalization for nested return within extended one [COMMITTED] ada: Fix premature finalization for nested return within extended one - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Add new predicate Is_Address_Compatible_Type [COMMITTED] ada: Add new predicate Is_Address_Compatible_Type - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove dependency on System.Val_Bool in System.Img_Bool [COMMITTED] ada: Remove dependency on System.Val_Bool in System.Img_Bool - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix predicate failure that occurred in a test case [COMMITTED] ada: Fix predicate failure that occurred in a test case - - - -1- 2023-11-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix incorrect resolution of overloaded function call in instance [COMMITTED] ada: Fix incorrect resolution of overloaded function call in instance - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Elide temporary for aliased array with unconstrained nominal subtype [COMMITTED] ada: Elide temporary for aliased array with unconstrained nominal subtype - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Rename Is_Limited_View to reflect actual query [COMMITTED] ada: Rename Is_Limited_View to reflect actual query - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Implement Aspects as fields under nodes [COMMITTED] ada: Implement Aspects as fields under nodes - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Minor tweaks for comparison operators [COMMITTED] ada: Minor tweaks for comparison operators - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: New Local_Restrictions and User_Aspect aspects. [COMMITTED] ada: New Local_Restrictions and User_Aspect aspects. - - - -1- 2023-11-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Support new SPARK aspect Side_Effects [COMMITTED] ada: Support new SPARK aspect Side_Effects - - - -1- 2023-10-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Document gnatbind -Q switch [COMMITTED] ada: Document gnatbind -Q switch - - - -1- 2023-10-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify "not Present" with "No" [COMMITTED] ada: Simplify "not Present" with "No" - - - -1- 2023-10-19 Marc Poulhiès Unresolved
[COMMITTED] ada: Tweak internal subprogram in Ada.Directories [COMMITTED] ada: Tweak internal subprogram in Ada.Directories - - - -1- 2023-10-10 Marc Poulhiès Unresolved
[COMMITTED] ada: Define CHERI exception types [COMMITTED] ada: Define CHERI exception types - - - -1- 2023-09-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Dimensional analysis when used with elementary functions [COMMITTED] ada: Dimensional analysis when used with elementary functions - - - -1- 2023-09-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on misaligned component with variable nominal size [COMMITTED] ada: Fix internal error on misaligned component with variable nominal size - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on aggregate nested in container aggregate [COMMITTED] ada: Fix internal error on aggregate nested in container aggregate - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Clean up scope depth and related code (tech debt) [COMMITTED] ada: Clean up scope depth and related code (tech debt) - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Crash on creation of extra formals on type extension [COMMITTED] ada: Crash on creation of extra formals on type extension - - - -1- 2023-09-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix premature finalization in loop over limited iterable container [COMMITTED] ada: Fix premature finalization in loop over limited iterable container - - - -1- 2023-09-14 Marc Poulhiès Unresolved
[COMMITTED] ada: Elide the copy in extended returns for nonlimited by-reference types [COMMITTED] ada: Elide the copy in extended returns for nonlimited by-reference types - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Add guard before querying the type for its interfaces [COMMITTED] ada: Add guard before querying the type for its interfaces - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix problematic secondary stack management in protected entry [COMMITTED] ada: Fix problematic secondary stack management in protected entry - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix crash on selected component lookup in generic instance [COMMITTED] ada: Fix crash on selected component lookup in generic instance - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Crash on creation of extra formals on type extension [COMMITTED] ada: Crash on creation of extra formals on type extension - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Crash on function returning empty Ada 2022 aggregate [COMMITTED] ada: Crash on function returning empty Ada 2022 aggregate - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: building_executable_programs_with_gnat.rst: fix -gnatw.x index [COMMITTED] ada: building_executable_programs_with_gnat.rst: fix -gnatw.x index - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on instantiation with private component type [COMMITTED] ada: Fix internal error on instantiation with private component type - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove GNATcheck violations [COMMITTED] ada: Remove GNATcheck violations - - - -1- 2023-09-05 Marc Poulhiès Unresolved
[COMMITTED] Revert "Adjust one Ada test" [COMMITTED] Revert "Adjust one Ada test" - - - -1- 2023-09-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Refactor multiple returns [COMMITTED] ada: Refactor multiple returns - - - -1- 2023-08-07 Marc Poulhiès Unresolved
[COMMITTED] ada: Add pragma Annotate for GNATcheck exemptions [COMMITTED] ada: Add pragma Annotate for GNATcheck exemptions - - - -1- 2023-08-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Adjust again address arithmetics in System.Dwarf_Lines [COMMITTED] ada: Adjust again address arithmetics in System.Dwarf_Lines - - - -1- 2023-08-03 Marc Poulhiès Unresolved
[COMMITTED] ada: Default Put_Image for composite derived types is missing information [COMMITTED] ada: Default Put_Image for composite derived types is missing information - - - -1- 2023-08-01 Marc Poulhiès Unresolved
[COMMITTED] ada: Small refactor [COMMITTED] ada: Small refactor - - - -1- 2023-07-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Emit enums rather than defines for various constants [COMMITTED] ada: Emit enums rather than defines for various constants - - - -1- 2023-07-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Allow calls to Number_Formals when no formals are present [COMMITTED] ada: Allow calls to Number_Formals when no formals are present - - - -1- 2023-07-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Constraint_Error caused by interface conversion [COMMITTED] ada: Constraint_Error caused by interface conversion - - - -1- 2023-07-18 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix assertion failure introduced by latest change [COMMITTED] ada: Fix assertion failure introduced by latest change - - - -1- 2023-07-18 Marc Poulhiès Unresolved
[COMMITTED] ada: Expose expected_throw attribute [COMMITTED] ada: Expose expected_throw attribute - - - -1- 2023-07-18 Marc Poulhiès Unresolved
[COMMITTED] ada: Allow warnings with explain code [COMMITTED] ada: Allow warnings with explain code - - - -1- 2023-07-18 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify assertion to remove CodePeer message [COMMITTED] ada: Simplify assertion to remove CodePeer message - - - -1- 2023-07-10 Marc Poulhiès Unresolved
[COMMITTED] ada: Documentation for mixed declarations and statements [COMMITTED] ada: Documentation for mixed declarations and statements - - - -1- 2023-07-10 Marc Poulhiès Unresolved
[COMMITTED] ada: Adapt proof of System.Arith_Double to remove CVC4 [COMMITTED] ada: Adapt proof of System.Arith_Double to remove CVC4 - - - -1- 2023-07-10 Marc Poulhiès Unresolved
[COMMITTED] ada: Add leafy mode for zero-call-used-regs [COMMITTED] ada: Add leafy mode for zero-call-used-regs - - - -1- 2023-07-10 Marc Poulhiès Unresolved
[COMMITTED] ada: Refactor the proof of the Value and Image runtime units [COMMITTED] ada: Refactor the proof of the Value and Image runtime units - - - -1- 2023-07-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Refer to non-Ada binding limitations in user guide [COMMITTED] ada: Refer to non-Ada binding limitations in user guide - - - -1- 2023-07-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Improve error message on violation of SPARK_Mode rules [COMMITTED] ada: Improve error message on violation of SPARK_Mode rules - - - -1- 2023-07-06 Marc Poulhiès Unresolved
[COMMITTED] ada: Small adjustments to new procedure Expand_Unchecked_Union_Equality [COMMITTED] ada: Small adjustments to new procedure Expand_Unchecked_Union_Equality - - - -1- 2023-07-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to gnat_rm [COMMITTED] ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to gnat_rm - - - -1- 2023-07-04 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix build of GNAT tools [COMMITTED] ada: Fix build of GNAT tools - - - -1- 2023-06-27 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix double finalization of case expression in concatenation [COMMITTED] ada: Fix double finalization of case expression in concatenation - - - -1- 2023-06-27 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix incorrect handling of iterator specifications in recent change [COMMITTED] ada: Fix incorrect handling of iterator specifications in recent change - - - -1- 2023-06-27 Marc Poulhiès Unresolved
[COMMITTED] ada: Correct the contract of Ada.Text_IO.Get_Line [COMMITTED] ada: Correct the contract of Ada.Text_IO.Get_Line - - - -1- 2023-06-27 Marc Poulhiès Unresolved
[COMMITTED] ada: Plug small loophole in the handling of private views in instances [COMMITTED] ada: Plug small loophole in the handling of private views in instances - - - -1- 2023-06-27 Marc Poulhiès Unresolved
[COMMITTED] ada: Plug another loophole in the handling of private views in instances [COMMITTED] ada: Plug another loophole in the handling of private views in instances - - - -1- 2023-06-27 Marc Poulhiès Unresolved
[COMMITTED] ada: Further fixes to handling of private views in instances [COMMITTED] ada: Further fixes to handling of private views in instances - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix couple of issues in documentation of overflow checking [COMMITTED] ada: Fix couple of issues in documentation of overflow checking - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix for attribute Range in Exceptional_Cases [COMMITTED] ada: Fix for attribute Range in Exceptional_Cases - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Document partition-wide Ada signal handlers [COMMITTED] ada: Document partition-wide Ada signal handlers - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix for quantified expressions in Exceptional_Cases [COMMITTED] ada: Fix for quantified expressions in Exceptional_Cases - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix fallout of fix to handling of private views in instances [COMMITTED] ada: Fix fallout of fix to handling of private views in instances - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on aggregate within container aggregate [COMMITTED] ada: Fix internal error on aggregate within container aggregate - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64 [COMMITTED] ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64 - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Update annotations in runtime for proof [COMMITTED] ada: Update annotations in runtime for proof - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove references to Might_Not_Return and Always_Return [COMMITTED] ada: Remove references to Might_Not_Return and Always_Return - - - -1- 2023-06-20 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix wrong finalization for double subtype of bounded vector [COMMITTED] ada: Fix wrong finalization for double subtype of bounded vector - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Make minor improvements to user's guide [COMMITTED] ada: Make minor improvements to user's guide - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix too small secondary stack allocation for returned conversion [COMMITTED] ada: Fix too small secondary stack allocation for returned conversion - - - -1- 2023-06-15 Marc Poulhiès Unresolved
« 1 2 3 4 »