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: 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: Accept aspect Always_Terminates without expression [COMMITTED] ada: Accept aspect Always_Terminates without expression - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix aspect Linker_Section ignored on subprogram body [COMMITTED] ada: Fix aspect Linker_Section ignored on subprogram body - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup analysis of iterated component association [COMMITTED] ada: Cleanup analysis of iterated component association - - - -1- 2023-06-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix decoration of iterated component association for GNATprove [COMMITTED] ada: Fix decoration of iterated component association for GNATprove - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Implement new aspect Always_Terminates for SPARK [COMMITTED] ada: Implement new aspect Always_Terminates for SPARK - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Streamline expansion of controlled actions for aggregates [COMMITTED] ada: Streamline expansion of controlled actions for aggregates - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Small housekeeping work in expansion of extension aggregates [COMMITTED] ada: Small housekeeping work in expansion of extension aggregates - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Factor out tag assignments from type in expander [COMMITTED] ada: Factor out tag assignments from type in expander - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Use ghost predicate in standard library [COMMITTED] ada: Use ghost predicate in standard library - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix expansion of aggregates with controlled components [COMMITTED] ada: Fix expansion of aggregates with controlled components - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Factor common processing in expansion of aggregates [COMMITTED] ada: Factor common processing in expansion of aggregates - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Cleanup finding of locally handled exception handlers [COMMITTED] ada: Cleanup finding of locally handled exception handlers - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Support new GNAT-specific aspect Ghost_Predicate [COMMITTED] ada: Support new GNAT-specific aspect Ghost_Predicate - - - -1- 2023-06-13 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix wrong access for qualified aggregate with storage model [COMMITTED] ada: Fix wrong access for qualified aggregate with storage model - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on qualified aggregate with storage model [COMMITTED] ada: Fix internal error on qualified aggregate with storage model - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Adjust again the implementation of storage models [COMMITTED] ada: Adjust again the implementation of storage models - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Small cleanups and fixes in expansion of aggregates [COMMITTED] ada: Small cleanups and fixes in expansion of aggregates - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix regression of secondary stack management in return statements [COMMITTED] ada: Fix regression of secondary stack management in return statements - - - -1- 2023-05-30 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix bogus error on conditional expression with only user-defined literals [COMMITTED] ada: Fix bogus error on conditional expression with only user-defined literals - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Attach pre/post on access-to-subprogram to internal subprogram type [COMMITTED] ada: Attach pre/post on access-to-subprogram to internal subprogram type - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix small fallout of previous change [COMMITTED] ada: Fix small fallout of previous change - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix remaining failures in Roman Numbers test [COMMITTED] ada: Fix remaining failures in Roman Numbers test - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Accept parameters of enclosing subprograms in exceptional cases [COMMITTED] ada: Accept parameters of enclosing subprograms in exceptional cases - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[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 - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Reuse routine for getting from body entity to spec entity [COMMITTED] ada: Reuse routine for getting from body entity to spec entity - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[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 - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[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 - - - -1- 2023-05-29 Marc Poulhiès Unresolved
[COMMITTED] ada: Restore SPARK_Mode On for numerical functions [COMMITTED] ada: Restore SPARK_Mode On for numerical functions - - - -1- 2023-05-29 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Minor doc clarification [COMMITTED] ada: Minor doc clarification - - - -1- 2023-05-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove redundant guard against empty lists [COMMITTED] ada: Remove redundant guard against empty lists - - - -1- 2023-05-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Tune detection of expression functions within a declare expression [COMMITTED] ada: Tune detection of expression functions within a declare expression - - - -1- 2023-05-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Use context variables in expansion of aggregates [COMMITTED] ada: Use context variables in expansion of aggregates - - - -1- 2023-05-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix missing finalization in library-level instance body [COMMITTED] ada: Fix missing finalization in library-level instance body - - - -1- 2023-05-26 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix internal error on declare-expression in post-condition [COMMITTED] ada: Fix internal error on declare-expression in post-condition - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix error message for Aggregate aspect [COMMITTED] ada: Fix error message for Aggregate aspect - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[COMMITTED] ada: Switch from E_Void to Is_Not_Self_Hidden [COMMITTED] ada: Switch from E_Void to Is_Not_Self_Hidden - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[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 - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix (again) incorrect handling of Aggregate aspect [COMMITTED] ada: Fix (again) incorrect handling of Aggregate aspect - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[COMMITTED] ada: Tune handling of attributes Old in contract Exceptional_Cases [COMMITTED] ada: Tune handling of attributes Old in contract Exceptional_Cases - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[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 - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix copy-paste mistake in analysis of Exceptional_Cases [COMMITTED] ada: Fix copy-paste mistake in analysis of Exceptional_Cases - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[COMMITTED] ada: Accept aliased parameters in Exceptional_Cases [COMMITTED] ada: Accept aliased parameters in Exceptional_Cases - - - -1- 2023-05-25 Marc Poulhiès Unresolved
[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 - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix latent issue in support for protected entries [COMMITTED] ada: Fix latent issue in support for protected entries - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Add new switch -gnatyz [COMMITTED] ada: Add new switch -gnatyz - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix resolution of mod operator of System.Storage_Elements [COMMITTED] ada: Fix resolution of mod operator of System.Storage_Elements - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Facilitate proof of Interfaces.C.To_Ada [COMMITTED] ada: Facilitate proof of Interfaces.C.To_Ada - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Turn assertions into defensive code in error locations [COMMITTED] ada: Turn assertions into defensive code in error locations - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix endings of pretty-printed numeric literals [COMMITTED] ada: Fix endings of pretty-printed numeric literals - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Revert to old pretty-printing of internal entities for CodePeer [COMMITTED] ada: Revert to old pretty-printing of internal entities for CodePeer - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Transfer fix for pretty-printed parentheses from GNATprove to GNAT [COMMITTED] ada: Transfer fix for pretty-printed parentheses from GNATprove to GNAT - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix expression pretty-printer for SPARK counterexamples [COMMITTED] ada: Fix expression pretty-printer for SPARK counterexamples - - - -1- 2023-05-23 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix crash caused by incorrect expansion of iterated component [COMMITTED] ada: Fix crash caused by incorrect expansion of iterated component - - - -1- 2023-05-22 Marc Poulhiès Unresolved
[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 - - - -1- 2023-05-22 Marc Poulhiès Unresolved
[COMMITTED] ada: Further fixes to GNATprove and CodePeer expression pretty-printer [COMMITTED] ada: Further fixes to GNATprove and CodePeer expression pretty-printer - - - -1- 2023-05-22 Marc Poulhiès Unresolved
[COMMITTED] ada: Add warning on frontend inlining of Subprogram_Variant [COMMITTED] ada: Add warning on frontend inlining of Subprogram_Variant - - - -1- 2023-05-22 Marc Poulhiès Unresolved
[COMMITTED] ada: Improve -gnatyx style check [COMMITTED] ada: Improve -gnatyx style check - - - -1- 2023-05-22 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove extra parentheses [COMMITTED] ada: Remove extra parentheses - - - -1- 2023-05-22 Marc Poulhiès Unresolved
[COMMITTED] ada: Update proof of runtime units [COMMITTED] ada: Update proof of runtime units - - - -1- 2023-05-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify dramatically ghost code for proof of System.Arith_Double [COMMITTED] ada: Simplify dramatically ghost code for proof of System.Arith_Double - - - -1- 2023-05-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Use Inline aspect instead of pragma in Einfo.Utils [COMMITTED] ada: Use Inline aspect instead of pragma in Einfo.Utils - - - -1- 2023-05-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Improve comment on First_Entity [COMMITTED] ada: Improve comment on First_Entity - - - -1- 2023-05-15 Marc Poulhiès Unresolved
[COMMITTED] ada: Update copyright years. [COMMITTED] ada: Update copyright years. - - - -1- 2023-01-16 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix typo in comment [COMMITTED] ada: Fix typo in comment - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix latent bug exposed by recent work on extended return statements [COMMITTED] ada: Fix latent bug exposed by recent work on extended return statements - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix pessimization of some CW objects initialized with function call [COMMITTED] ada: Fix pessimization of some CW objects initialized with function call - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Use static references to tag in more cases for interface objects [COMMITTED] ada: Use static references to tag in more cases for interface objects - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix benign pasto in new predicate [COMMITTED] ada: Fix benign pasto in new predicate - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix premature finalization of temporaries for interface objects [COMMITTED] ada: Fix premature finalization of temporaries for interface objects - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Further optimize interface objects initialized with function calls [COMMITTED] ada: Further optimize interface objects initialized with function calls - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Put back conversion to interface in more cases [COMMITTED] ada: Put back conversion to interface in more cases - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Lift restriction on optimization of aliased objects [COMMITTED] ada: Lift restriction on optimization of aliased objects - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Optimize interface objects initialized with function calls [COMMITTED] ada: Optimize interface objects initialized with function calls - - - -1- 2023-01-16 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove a couple of unreachable statements [COMMITTED] ada: Remove a couple of unreachable statements - - - -1- 2023-01-09 Marc Poulhiès Unresolved
[COMMITTED] ada: Simplify finalization of temporaries created for interface objects [COMMITTED] ada: Simplify finalization of temporaries created for interface objects - - - -1- 2023-01-09 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Minor tweak to test added in previous change [COMMITTED] ada: Minor tweak to test added in previous change - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Clean up interface handling in Expand_N_Object_Declaration [COMMITTED] ada: Clean up interface handling in Expand_N_Object_Declaration - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Flag renaming-as-spec as a body to inline [COMMITTED] ada: Flag renaming-as-spec as a body to inline - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Remove unhelpful special case for renamed bodies in GNATprove mode [COMMITTED] ada: Remove unhelpful special case for renamed bodies in GNATprove mode - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix nested generic instantiation [COMMITTED] ada: Fix nested generic instantiation - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Do not use decimal approximation in -gnatRj output [COMMITTED] ada: Do not use decimal approximation in -gnatRj output - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Optimize class-wide objects initialized with function calls [COMMITTED] ada: Optimize class-wide objects initialized with function calls - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix pasto in comment [COMMITTED] ada: Fix pasto in comment - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix spurious emissions of -gnatwj warning [COMMITTED] ada: Fix spurious emissions of -gnatwj warning - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: INOX: prototype RFC on String Interpolation [COMMITTED] ada: INOX: prototype RFC on String Interpolation - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Update gnatpp documentation with --layout switch [COMMITTED] ada: Update gnatpp documentation with --layout switch - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Further adjust freezing for expansion of contracts [COMMITTED] ada: Further adjust freezing for expansion of contracts - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Simplify new expansion of contracts [COMMITTED] ada: Simplify new expansion of contracts - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Adjust handling of "%g" in GNAT.Formatted_String [COMMITTED] ada: Adjust handling of "%g" in GNAT.Formatted_String - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix generic instantiation of sibling package [COMMITTED] ada: Fix generic instantiation of sibling package - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants [COMMITTED] ada: Spurious error on Lock_Free protected type with discriminants - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Revert to constrained allocation for string concatenation [COMMITTED] ada: Revert to constrained allocation for string concatenation - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Better error message for bad Discard_Names configuration pragma [COMMITTED] ada: Better error message for bad Discard_Names configuration pragma - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Update doc for -gnatw_q [COMMITTED] ada: Update doc for -gnatw_q - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix finalization issues in extended return statements [COMMITTED] ada: Fix finalization issues in extended return statements - - - -1- 2023-01-05 Marc Poulhiès Unresolved
[COMMITTED] ada: Fix incorrect warning about unreferenced packed arrays [COMMITTED] ada: Fix incorrect warning about unreferenced packed arrays - - - -1- 2023-01-05 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix unescaped quotes when combining fdiagnostics-format=json and gnatdJ [COMMITTED] ada: Fix unescaped quotes when combining fdiagnostics-format=json and gnatdJ - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: output.adb: fix newline being inserted when buffer is full [COMMITTED] ada: output.adb: fix newline being inserted when buffer is full - - - -1- 2023-01-03 Marc Poulhiès Repeat Merge
[COMMITTED] ada: Fix GNAT.Formatted_String's handling of real values [COMMITTED] ada: Fix GNAT.Formatted_String's handling of real values - - - -1- 2023-01-03 Marc Poulhiès Unresolved
« 1 2 3 4 »