Show patches with: Submitter = Marc Poulhiès       |    Archived = No       |   818 patches
« 1 2 3 4 … 8 9 »
Patch Series A/R/T S/W/F Date Submitter Delegate State
[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-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Add an assert in Posix Interrupt_Wait [COMMITTED] ada: Add an assert in Posix Interrupt_Wait - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Fix unsupported dispatching constructor call [COMMITTED] ada: Fix unsupported dispatching constructor call - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Add support for binding to a specific network interface controller. [COMMITTED] ada: Add support for binding to a specific network interface controller. - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Add missing SCO generation for quantified expressions in object decl [COMMITTED] ada: Add missing SCO generation for quantified expressions in object decl - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Fix race condition in protected entry call [COMMITTED] ada: Fix race condition in protected entry call - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Small refactor [COMMITTED] ada: Small refactor - - - -1- 2023-07-28 Marc Poulhiès Unresolved
[COMMITTED] ada: Add guard for detection of class-wide precondition subprograms [COMMITTED] ada: Add guard for detection of class-wide precondition subprograms - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Fix memory explosion on aggregate of nested packed array type [COMMITTED] ada: Fix memory explosion on aggregate of nested packed array type - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] ada: Leave detection of missing return in functions to GNATprove [COMMITTED] ada: Leave detection of missing return in functions to GNATprove - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[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: Fix typo in comment of Ada.Exceptions.Save_Occurrence [COMMITTED] ada: Fix typo in comment of Ada.Exceptions.Save_Occurrence - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[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: Improve defense against illegal code in check for infinite loops [COMMITTED] ada: Improve defense against illegal code in check for infinite loops - - - 1-- 2023-07-28 Marc Poulhiès Accepted
[COMMITTED] Adjust one Ada test [COMMITTED] Adjust one Ada test - - - 1-- 2023-07-25 Marc Poulhiès Accepted
[COMMITTED] ada: Use new typedefs in gcc-interface [COMMITTED] ada: Use new typedefs in gcc-interface - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Constraint_Error caused by 'Image applied to interface type [COMMITTED] ada: Constraint_Error caused by 'Image applied to interface type - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Avoid iterator conflicts in container aggregates [COMMITTED] ada: Avoid iterator conflicts in container aggregates - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Apply correct element type for container aggregates [COMMITTED] ada: Apply correct element type for container aggregates - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Fix expanding container aggregates with Iterator specification [COMMITTED] ada: Fix expanding container aggregates with Iterator specification - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Improve error message for ambiguous subprogram call [COMMITTED] ada: Improve error message for ambiguous subprogram call - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[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: Tweak CPU affinity handling on Linux [COMMITTED] ada: Tweak CPU affinity handling on Linux - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Fix internal error on aggregates of self-referencing types [COMMITTED] ada: Fix internal error on aggregates of self-referencing types - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[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: Refactor s-pack* units to remove multiple returns [COMMITTED] ada: Refactor s-pack* units to remove multiple returns - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Allow warnings with explain code [COMMITTED] ada: Allow warnings with explain code - - - -1- 2023-07-18 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix Valid_Scalars attribute applied to types from limited with [COMMITTED] ada: Fix Valid_Scalars attribute applied to types from limited with - - - 1-- 2023-07-18 Marc Poulhiès Accepted
[COMMITTED] ada: Avoid renaming_decl in case of constrained array [COMMITTED] ada: Avoid renaming_decl in case of constrained array - - - 1-- 2023-07-11 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong resolution for hidden discriminant in predicate [COMMITTED] ada: Fix wrong resolution for hidden discriminant in predicate - - - 1-- 2023-07-11 Marc Poulhiès Accepted
[COMMITTED] ada: Follow-up fix for compilation issue with recent MinGW-w64 versions [COMMITTED] ada: Follow-up fix for compilation issue with recent MinGW-w64 versions - - - 1-- 2023-07-10 Marc Poulhiès Accepted
[COMMITTED] ada: Add typedefs to snames.h-tmpl [COMMITTED] ada: Add typedefs to snames.h-tmpl - - - 1-- 2023-07-10 Marc Poulhiès Accepted
[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: hardcfr: optionally disable in leaf functions [COMMITTED] ada: hardcfr: optionally disable in leaf functions - - - 1-- 2023-07-10 Marc Poulhiès Accepted
[COMMITTED] ada: hardcfr: mark throw-expected functions [COMMITTED] ada: hardcfr: mark throw-expected functions - - - 1-- 2023-07-10 Marc Poulhiès Accepted
[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: Add specification source files of runtime units [COMMITTED] ada: Add specification source files of runtime units - - - 1-- 2023-07-06 Marc Poulhiès Accepted
[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: Evaluate static expressions in Range attributes [COMMITTED] ada: Evaluate static expressions in Range attributes - - - 1-- 2023-07-06 Marc Poulhiès Accepted
[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: Reuse code in Is_Fully_Initialized_Type [COMMITTED] ada: Reuse code in Is_Fully_Initialized_Type - - - 1-- 2023-07-06 Marc Poulhiès Accepted
[COMMITTED] ada: Avoid crash in Find_Optional_Prim_Op [COMMITTED] ada: Avoid crash in Find_Optional_Prim_Op - - - 1-- 2023-07-06 Marc Poulhiès Accepted
[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: Finalization not performed for component of protected type [COMMITTED] ada: Finalization not performed for component of protected type - - - 1-- 2023-07-06 Marc Poulhiès Accepted
[COMMITTED] ada: Do not unnecessarily use component-wise loop for slice assignment [COMMITTED] ada: Do not unnecessarily use component-wise loop for slice assignment - - - 1-- 2023-07-04 Marc Poulhiès Accepted
[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 list of inherited subprograms in query for GNATprove [COMMITTED] ada: Fix list of inherited subprograms in query for GNATprove - - - 1-- 2023-07-04 Marc Poulhiès Accepted
[COMMITTED] ada: Fix renaming of predefined equality operator for unchecked union types [COMMITTED] ada: Fix renaming of predefined equality operator for unchecked union types - - - 1-- 2023-07-03 Marc Poulhiès Accepted
[COMMITTED] ada: Fix discrepancy in expansion of untagged record equality [COMMITTED] ada: Fix discrepancy in expansion of untagged record equality - - - 1-- 2023-07-03 Marc Poulhiès Accepted
[COMMITTED] ada: Fix small inaccuracy in implementation of B.3.3(20/2) [COMMITTED] ada: Fix small inaccuracy in implementation of B.3.3(20/2) - - - 1-- 2023-07-03 Marc Poulhiès Accepted
[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 bad interaction between inlining and thunk generation [COMMITTED] ada: Fix bad interaction between inlining and thunk generation - - - 1-- 2023-06-27 Marc Poulhiès Accepted
[COMMITTED] ada: Make the identification of case expressions more robust [COMMITTED] ada: Make the identification of case expressions more robust - - - 1-- 2023-06-27 Marc Poulhiès Accepted
[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: Fix too late finalization and secondary stack release in iterator loops [COMMITTED] ada: Fix too late finalization and secondary stack release in iterator loops - - - 1-- 2023-06-27 Marc Poulhiès Accepted
[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: Update printing container aggregates for debugging [COMMITTED] ada: Update printing container aggregates for debugging - - - 1-- 2023-06-27 Marc Poulhiès Accepted
[COMMITTED] ada: Fix expanding container aggregates [COMMITTED] ada: Fix expanding container aggregates - - - 1-- 2023-06-27 Marc Poulhiès Accepted
[COMMITTED] ada: Minor tweaks [COMMITTED] ada: Minor tweaks - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[COMMITTED] ada: Fix crash on inlining in GNATprove [COMMITTED] ada: Fix crash on inlining in GNATprove - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[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: Remove outdated comment [COMMITTED] ada: Remove outdated comment - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[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: Do not issue warning on postcondition in some cases [COMMITTED] ada: Do not issue warning on postcondition in some cases - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[COMMITTED] ada: Add the ability to add error codes to error messages [COMMITTED] ada: Add the ability to add error codes to error messages - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[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 bug in predicate checks with address clauses [COMMITTED] ada: Fix bug in predicate checks with address clauses - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[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: Add CHERI intrinsic bindings and helper functions. [COMMITTED] ada: Add CHERI intrinsic bindings and helper functions. - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[COMMITTED] ada: Small fixes to handling of private views in instances [COMMITTED] ada: Small fixes to handling of private views in instances - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[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: Fix -fdiagnostics-format=json not printing all messages [COMMITTED] ada: Fix -fdiagnostics-format=json not printing all messages - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[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: Fix type derivation of subtype of derived type [COMMITTED] ada: Fix type derivation of subtype of derived type - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[COMMITTED] ada: Pass Error_Node to calls to Error_Msg in lib-load.adb [COMMITTED] ada: Pass Error_Node to calls to Error_Msg in lib-load.adb - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[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: Spurious error on package instantiation [COMMITTED] ada: Spurious error on package instantiation - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[COMMITTED] ada: Fix edge case in Ada.Calendar.Formatting.Time_Of [COMMITTED] ada: Fix edge case in Ada.Calendar.Formatting.Time_Of - - - 1-- 2023-06-20 Marc Poulhiès Accepted
[COMMITTED] ada: Remove unused files [COMMITTED] ada: Remove unused files - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix wrong code for ACATS cd1c03i on Morello target [COMMITTED] ada: Fix wrong code for ACATS cd1c03i on Morello target - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[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: Reject Loop_Entry inside prefix of Loop_Entry [COMMITTED] ada: Reject Loop_Entry inside prefix of Loop_Entry - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[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
[COMMITTED] ada: Fix internal error on loop iterator filter with -gnatVa [COMMITTED] ada: Fix internal error on loop iterator filter with -gnatVa - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Revert latest change to Find_Hook_Context [COMMITTED] ada: Revert latest change to Find_Hook_Context - - - -1- 2023-06-15 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix too small secondary stack allocation for returned aggregate [COMMITTED] ada: Fix too small secondary stack allocation for returned aggregate - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Remove dead code in Expand_Iterator_Loop_Over_Container [COMMITTED] ada: Remove dead code in Expand_Iterator_Loop_Over_Container - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Add escape hatch to configurable run-time [COMMITTED] ada: Add escape hatch to configurable run-time - - - 1-- 2023-06-15 Marc Poulhiès Accepted
[COMMITTED] ada: Fix missing finalization for aggregates nested in conditional expressions [COMMITTED] ada: Fix missing finalization for aggregates nested in conditional expressions - - - 1-- 2023-06-15 Marc Poulhiès Accepted
« 1 2 3 4 … 8 9 »