Show patches with: State = Action Required       |    Archived = No       |   126655 patches
« 1 2 ... 619 620 621 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Fix format string parsing in GNAT.Formatted_String [COMMITTED] ada: Fix format string parsing in GNAT.Formatted_String - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix for validity checks combined with aliasing checks [COMMITTED] ada: Fix for validity checks combined with aliasing checks - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Fix for quantified expressions in Exceptional_Cases [COMMITTED] ada: Fix for quantified expressions in Exceptional_Cases - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Fix for attribute Range in Exceptional_Cases [COMMITTED] ada: Fix for attribute Range in Exceptional_Cases - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Fix finalization issues in extended return statements [COMMITTED] ada: Fix finalization issues in extended return statements - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Fix filesystem entry filtering [COMMITTED] ada: Fix filesystem entry filtering - - - - --- 2023-10-10 Marc Poulhiès New
[COMMITTED] ada: Fix fallout of recent fix for missing finalization [COMMITTED] ada: Fix fallout of recent fix for missing finalization - - - - --- 2023-05-30 Marc Poulhiès New
[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 - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Fix extra whitespace after END keywords [COMMITTED] ada: Fix extra whitespace after END keywords - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix expression pretty-printer for SPARK counterexamples [COMMITTED] ada: Fix expression pretty-printer for SPARK counterexamples - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix expansion of type aspects with handling of aspects [COMMITTED] ada: Fix expansion of type aspects with handling of aspects - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix expansion of aggregates with controlled components [COMMITTED] ada: Fix expansion of aggregates with controlled components - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Fix expansion of 'Wide_Image and 'Wide_Wide_Image on composite types [COMMITTED] ada: Fix expansion of 'Wide_Image and 'Wide_Wide_Image on composite types - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Fix expanding container aggregates with Iterator specification [COMMITTED] ada: Fix expanding container aggregates with Iterator specification - - - - --- 2023-07-18 Marc Poulhiès New
[COMMITTED] ada: Fix expanding container aggregates [COMMITTED] ada: Fix expanding container aggregates - - - - --- 2023-06-27 Marc Poulhiès New
[COMMITTED] ada: Fix exception raised on invalid contract in generic package [COMMITTED] ada: Fix exception raised on invalid contract in generic package - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Fix error on SPARK_Mode on library-level separate body [COMMITTED] ada: Fix error on SPARK_Mode on library-level separate body - - - - --- 2022-11-14 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: Fix error and crash on imported function with precondition and 'Base [COMMITTED] ada: Fix error and crash on imported function with precondition and 'Base - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix endings of pretty-printed numeric literals [COMMITTED] ada: Fix endings of pretty-printed numeric literals - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix edge case in Ada.Calendar.Formatting.Time_Of [COMMITTED] ada: Fix edge case in Ada.Calendar.Formatting.Time_Of - - - - --- 2023-06-20 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 double finalization of case expression in concatenation [COMMITTED] ada: Fix double finalization of case expression in concatenation - - - - --- 2023-06-27 Marc Poulhiès New
[COMMITTED] ada: Fix double finalization in conditional exit statement [COMMITTED] ada: Fix double finalization in conditional exit statement - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix documentation of -gnatwc [COMMITTED] ada: Fix documentation of -gnatwc - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix discrepancy in expansion of untagged record equality [COMMITTED] ada: Fix discrepancy in expansion of untagged record equality - - - - --- 2023-07-03 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: Fix detection of function calls in object declarations [COMMITTED] ada: Fix detection of function calls in object declarations - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix detection of external calls to protected objects in instances [COMMITTED] ada: Fix detection of external calls to protected objects in instances - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix deferred constant wrongly rejected [COMMITTED] ada: Fix deferred constant wrongly rejected - - - - --- 2023-09-26 Marc Poulhiès New
[COMMITTED] ada: Fix decoration of iterated component association for GNATprove [COMMITTED] ada: Fix decoration of iterated component association for GNATprove - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Fix debug info for aliased packed array with unconstrained nominal subtype [COMMITTED] ada: Fix debug info for aliased packed array with unconstrained nominal subtype - - - - --- 2023-11-07 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: Fix crash on semi-recursive call in access-to-subprogram contract [COMMITTED] ada: Fix crash on semi-recursive call in access-to-subprogram contract - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix crash on selected component lookup in generic instance [COMMITTED] ada: Fix crash on selected component lookup in generic instance - - - - --- 2023-09-05 Marc Poulhiès New
[COMMITTED] ada: Fix crash on iterated component in expression function [COMMITTED] ada: Fix crash on iterated component in expression function - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Fix crash on inlining in GNATprove [COMMITTED] ada: Fix crash on inlining in GNATprove - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Fix crash on concurrent type aggregate [COMMITTED] ada: Fix crash on concurrent type aggregate - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix crash on Ada.Containers with No_Dispatching_Calls restriction [COMMITTED] ada: Fix crash on Ada.Containers with No_Dispatching_Calls restriction - - - - --- 2023-05-22 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: Fix crash during function return analysis [COMMITTED] ada: Fix crash during function return analysis - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix crash caused by incorrect expansion of iterated component [COMMITTED] ada: Fix crash caused by incorrect expansion of iterated component - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix couple of issues with arrays indexed by enumeration type [COMMITTED] ada: Fix couple of issues with arrays indexed by enumeration type - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Fix couple of issues in documentation of overflow checking [COMMITTED] ada: Fix couple of issues in documentation of overflow checking - - - - --- 2023-06-20 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: 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: Fix conversions between addresses and integers [COMMITTED] ada: Fix conversions between addresses and integers - - - - --- 2023-09-26 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: Fix comment related to inlining [COMMITTED] ada: Fix comment related to inlining - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Fix coding style in init.c [COMMITTED] ada: Fix coding style in init.c - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix calling convention of foreign functions returning limited type [COMMITTED] ada: Fix calling convention of foreign functions returning limited type - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix build of GNAT tools [COMMITTED] ada: Fix build of GNAT tools - - - - --- 2023-06-27 Marc Poulhiès New
[COMMITTED] ada: Fix bug in predicate checks with address clauses [COMMITTED] ada: Fix bug in predicate checks with address clauses - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration [COMMITTED] ada: Fix bug in Sem_Util.Enclosing_Declaration - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix bogus error on predicated limited record declared in protected type [COMMITTED] ada: Fix bogus error on predicated limited record declared in protected type - - - - --- 2023-05-23 Marc Poulhiès New
[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 - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix bogus Storage_Error on dynamic array with static zero length [COMMITTED] ada: Fix bogus Storage_Error on dynamic array with static zero length - - - - --- 2023-05-30 Marc Poulhiès New
[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 - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix benign pasto in new predicate [COMMITTED] ada: Fix benign pasto in new predicate - - - - --- 2023-01-16 Marc Poulhiès New
[COMMITTED] ada: Fix bad interaction between inlining and thunk generation [COMMITTED] ada: Fix bad interaction between inlining and thunk generation - - - - --- 2023-06-27 Marc Poulhiès New
[COMMITTED] ada: Fix bad finalization of limited aggregate in conditional expression [COMMITTED] ada: Fix bad finalization of limited aggregate in conditional expression - - - - --- 2023-10-10 Marc Poulhiès New
[COMMITTED] ada: Fix assertion failure on very peculiar enumeration type [COMMITTED] ada: Fix assertion failure on very peculiar enumeration type - - - - --- 2023-09-05 Marc Poulhiès New
[COMMITTED] ada: Fix assertion failure introduced by latest change [COMMITTED] ada: Fix assertion failure introduced by latest change - - - - --- 2023-07-18 Marc Poulhiès New
[COMMITTED] ada: Fix aspect Linker_Section ignored on subprogram body [COMMITTED] ada: Fix aspect Linker_Section ignored on subprogram body - - - - --- 2023-06-15 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: Fix another case of missing Has_Private_View flag [COMMITTED] ada: Fix another case of missing Has_Private_View flag - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Fix address manipulation issue in the tasking runtime [COMMITTED] ada: Fix address manipulation issue in the tasking runtime - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix address arithmetic issues in the runtime [COMMITTED] ada: Fix address arithmetic issues in the runtime - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix address arithmetic issues in the expanded code [COMMITTED] ada: Fix address arithmetic issues in the expanded code - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix Valid_Scalars attribute applied to types from limited with [COMMITTED] ada: Fix Valid_Scalars attribute applied to types from limited with - - - - --- 2023-07-18 Marc Poulhiès New
[COMMITTED] ada: Fix Unchecked_Conversion in edge case [COMMITTED] ada: Fix Unchecked_Conversion in edge case - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Fix SPARK expansion of container aggregates [COMMITTED] ada: Fix SPARK expansion of container aggregates - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix SPARK context not restored when Load_Unit is failing [COMMITTED] ada: Fix SPARK context not restored when Load_Unit is failing - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix SCOs generation for aspect specifications [COMMITTED] ada: Fix SCOs generation for aspect specifications - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix GNAT.Formatted_String's handling of real values [COMMITTED] ada: Fix GNAT.Formatted_String's handling of real values - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix DWARF for certain arrays [COMMITTED] ada: Fix DWARF for certain arrays - - - - --- 2023-09-05 Marc Poulhiès New
[COMMITTED] ada: Fix Ada.Text_IO.Delete with "encoding=8bits" form [COMMITTED] ada: Fix Ada.Text_IO.Delete with "encoding=8bits" form - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix Ada.Directories.Modification_Time on Windows [COMMITTED] ada: Fix Ada.Directories.Modification_Time on Windows - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix Ada representation of r_debug and link_map types [COMMITTED] ada: Fix Ada representation of r_debug and link_map types - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Fix -fdiagnostics-format=json not printing all messages [COMMITTED] ada: Fix -fdiagnostics-format=json not printing all messages - - - - --- 2023-06-20 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: Finalization not performed for component of protected type [COMMITTED] ada: Finalization not performed for component of protected type - - - - --- 2023-07-06 Marc Poulhiès New
[COMMITTED] ada: False alarms from -gnatw.t with generic functions [COMMITTED] ada: False alarms from -gnatw.t with generic functions - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Factor out tag assignments from type in expander [COMMITTED] ada: Factor out tag assignments from type in expander - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Factor common processing in expansion of aggregates [COMMITTED] ada: Factor common processing in expansion of aggregates - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Facilitate proof of Interfaces.C.To_Ada [COMMITTED] ada: Facilitate proof of Interfaces.C.To_Ada - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Extend precondition of Interfaces.C.String.Value with Length [COMMITTED] ada: Extend precondition of Interfaces.C.String.Value with Length - - - - --- 2023-08-07 Marc Poulhiès New
[COMMITTED] ada: Expose expected_throw attribute [COMMITTED] ada: Expose expected_throw attribute - - - - --- 2023-07-18 Marc Poulhiès New
[COMMITTED] ada: Explicitly analyze and expand null array aggregates [COMMITTED] ada: Explicitly analyze and expand null array aggregates - - - - --- 2023-09-15 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: Expand generic formal subprograms with contracts for GNATprove [COMMITTED] ada: Expand generic formal subprograms with contracts for GNATprove - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications [COMMITTED] ada: Excess elements created for indexed aggregates with iterator_specifications - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Evaluate static expressions in Range attributes [COMMITTED] ada: Evaluate static expressions in Range attributes - - - - --- 2023-07-06 Marc Poulhiès New
[COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type [COMMITTED] ada: Errors on instance of Multiway_Trees with discriminated type - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Error in prefix-notation call [COMMITTED] ada: Error in prefix-notation call - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram [COMMITTED] ada: Error compiling reduction expression with overloaded reducer subprogram - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Error compiling Ada 2022 object renaming with no subtype mark [COMMITTED] ada: Error compiling Ada 2022 object renaming with no subtype mark - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Ensure Default_Stack_Size is greater than Minimum_Stack_Size [COMMITTED] ada: Ensure Default_Stack_Size is greater than Minimum_Stack_Size - - - - --- 2023-05-30 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: 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
« 1 2 ... 619 620 621 … 1266 1267 »