Show patches with: Archived = No       |   126794 patches
« 1 2 ... 649 650 6511267 1268 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Fix internal error on too large representation clause for small component [COMMITTED] ada: Fix internal error on too large representation clause for small component - - - - --- 2023-10-10 Marc Poulhiès New
[COMMITTED] ada: Fix internal error with pragma Compile_Time_{Warning, Error} [COMMITTED] ada: Fix internal error with pragma Compile_Time_{Warning, Error} - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix invalid JSON for extended variant record with -gnatRj [COMMITTED] ada: Fix invalid JSON for extended variant record with -gnatRj - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Fix inverted implementation of RM 8.4(10) clause for operators [COMMITTED] ada: Fix inverted implementation of RM 8.4(10) clause for operators - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Fix issue with indefinite vector of overaligned unconstrained array [COMMITTED] ada: Fix issue with indefinite vector of overaligned unconstrained array - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix iterated component initialization [COMMITTED] ada: Fix iterated component initialization - - - - --- 2023-06-13 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: Fix late extra formals creation [COMMITTED] ada: Fix late extra formals creation - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Fix late finalization for function call in delta aggregate [COMMITTED] ada: Fix late finalization for function call in delta aggregate - - - - --- 2023-09-14 Marc Poulhiès New
[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 - - - - --- 2023-01-16 Marc Poulhiès New
[COMMITTED] ada: Fix latent issue in support for protected entries [COMMITTED] ada: Fix latent issue in support for protected entries - - - - --- 2023-05-23 Marc Poulhiès New
[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 - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix link to parent when copying with Copy_Separate_Tree [COMMITTED] ada: Fix link to parent when copying with Copy_Separate_Tree - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Fix list of inherited subprograms in query for GNATprove [COMMITTED] ada: Fix list of inherited subprograms in query for GNATprove - - - - --- 2023-07-04 Marc Poulhiès New
[COMMITTED] ada: Fix loop unnesting issue. [COMMITTED] ada: Fix loop unnesting issue. - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Fix memory explosion on aggregate of nested packed array type [COMMITTED] ada: Fix memory explosion on aggregate of nested packed array type - - - - --- 2023-07-28 Marc Poulhiès New
[COMMITTED] ada: Fix memory leak in expression function returning Big_Integer [COMMITTED] ada: Fix memory leak in expression function returning Big_Integer - - - - --- 2023-05-29 Marc Poulhiès New
[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 minor address arithmetic issues in System.Dwarf_Lines [COMMITTED] ada: Fix minor address arithmetic issues in System.Dwarf_Lines - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix minor documentation formatting issue [COMMITTED] ada: Fix minor documentation formatting issue - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Fix minor glitch in finish_record_type [COMMITTED] ada: Fix minor glitch in finish_record_type - - - - --- 2023-09-15 Marc Poulhiès New
[COMMITTED] ada: Fix minor issue with Mod operator [COMMITTED] ada: Fix minor issue with Mod operator - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix minor issues in comments [COMMITTED] ada: Fix minor issues in comments - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Fix minor issues in reference manual [COMMITTED] ada: Fix minor issues in reference manual - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Fix minor issues in user's guide [COMMITTED] ada: Fix minor issues in user's guide - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix miscompilation of loop over boolean range [COMMITTED] ada: Fix miscompilation of loop over boolean range - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix misphrasing in comment [COMMITTED] ada: Fix misphrasing in comment - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Fix misplaced index directive in documentation [COMMITTED] ada: Fix misplaced index directive in documentation - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix missing call to Finalize_Protection for simple protected objects [COMMITTED] ada: Fix missing call to Finalize_Protection for simple protected objects - - - - --- 2023-09-26 Marc Poulhiès New
[COMMITTED] ada: Fix missing error on function call returning incomplete view [COMMITTED] ada: Fix missing error on function call returning incomplete view - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Fix missing finalization for aggregates nested in conditional expressions [COMMITTED] ada: Fix missing finalization for aggregates nested in conditional expressions - - - - --- 2023-06-15 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: Fix missing finalization in library-unit instance spec [COMMITTED] ada: Fix missing finalization in library-unit instance spec - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix missing finalization in separate package body [COMMITTED] ada: Fix missing finalization in separate package body - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix missing finalization of extended return object on abnormal completion [COMMITTED] ada: Fix missing finalization of extended return object on abnormal completion - - - - --- 2023-09-26 Marc Poulhiès New
[COMMITTED] ada: Fix missing tag for with of an obsolescent function [COMMITTED] ada: Fix missing tag for with of an obsolescent function - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix missing warning on aggregate with iterated component [COMMITTED] ada: Fix missing warning on aggregate with iterated component - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Fix nested generic instantiation [COMMITTED] ada: Fix nested generic instantiation - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Fix non-capturing parentheses handling [COMMITTED] ada: Fix non-capturing parentheses handling - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Fix obsolete comment in Sinfo.Utils [COMMITTED] ada: Fix obsolete comment in Sinfo.Utils - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Fix oversight in implementation of allocators for storage models [COMMITTED] ada: Fix oversight in implementation of allocators for storage models - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Fix oversight in latest change [COMMITTED] ada: Fix oversight in latest change - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix parsing bug in GNAT.Formatted_String [COMMITTED] ada: Fix parsing bug in GNAT.Formatted_String - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix pasto in comment [COMMITTED] ada: Fix pasto in comment - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Fix performance regression related to references in Refined_State [COMMITTED] ada: Fix performance regression related to references in Refined_State - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix pessimization of some CW objects initialized with function call [COMMITTED] ada: Fix pessimization of some CW objects initialized with function call - - - - --- 2023-01-16 Marc Poulhiès New
[COMMITTED] ada: Fix precondition in Interfaces.C.Strings [COMMITTED] ada: Fix precondition in Interfaces.C.Strings - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Fix predicate check failure in Expand_Allocator_Expression [COMMITTED] ada: Fix predicate check failure in Expand_Allocator_Expression - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Fix predicate failure that occurred in a test case [COMMITTED] ada: Fix predicate failure that occurred in a test case - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix premature finalization for nested return within extended one [COMMITTED] ada: Fix premature finalization for nested return within extended one - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fix premature finalization in loop over limited iterable container [COMMITTED] ada: Fix premature finalization in loop over limited iterable container - - - - --- 2023-09-14 Marc Poulhiès New
[COMMITTED] ada: Fix premature finalization of return temporary [COMMITTED] ada: Fix premature finalization of return temporary - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Fix premature finalization of temporaries for interface objects [COMMITTED] ada: Fix premature finalization of temporaries for interface objects - - - - --- 2023-01-16 Marc Poulhiès New
[COMMITTED] ada: Fix printing of numbers in JSON output for data representation [COMMITTED] ada: Fix printing of numbers in JSON output for data representation - - - - --- 2023-08-01 Marc Poulhiès New
[COMMITTED] ada: Fix problematic secondary stack management in protected entry [COMMITTED] ada: Fix problematic secondary stack management in protected entry - - - - --- 2023-09-05 Marc Poulhiès New
[COMMITTED] ada: Fix proof of runtime unit System.Value* [COMMITTED] ada: Fix proof of runtime unit System.Value* - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Fix race condition in protected entry call [COMMITTED] ada: Fix race condition in protected entry call - - - - --- 2023-07-28 Marc Poulhiès New
[COMMITTED] ada: Fix recent assertion failure on GPR2 [COMMITTED] ada: Fix recent assertion failure on GPR2 - - - - --- 2022-11-22 Marc Poulhiès New
[COMMITTED] ada: Fix reference to Ada issue in comment [COMMITTED] ada: Fix reference to Ada issue in comment - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Fix regression of secondary stack management in return statements [COMMITTED] ada: Fix regression of secondary stack management in return statements - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix remaining failures in Roman Numbers test [COMMITTED] ada: Fix remaining failures in Roman Numbers test - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix renaming of predefined equality operator for unchecked union types [COMMITTED] ada: Fix renaming of predefined equality operator for unchecked union types - - - - --- 2023-07-03 Marc Poulhiès New
[COMMITTED] ada: Fix repeated killing of private entity values [COMMITTED] ada: Fix repeated killing of private entity values - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Fix resolution of mod operator of System.Storage_Elements [COMMITTED] ada: Fix resolution of mod operator of System.Storage_Elements - - - - --- 2023-05-23 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: 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: Fix scope of semantic style_check pragmas [COMMITTED] ada: Fix scope of semantic style_check pragmas - - - - --- 2023-11-07 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 small fallout of previous change [COMMITTED] ada: Fix small fallout of previous change - - - - --- 2023-05-29 Marc Poulhiès New
[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) - - - - --- 2023-07-03 Marc Poulhiès New
[COMMITTED] ada: Fix source location for crashes in expanded Loop_Entry attributes [COMMITTED] ada: Fix source location for crashes in expanded Loop_Entry attributes - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix spelling of functions with(out) "side effects" [COMMITTED] ada: Fix spelling of functions with(out) "side effects" - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Fix spurious -Wstringop-overflow with link time optimization [COMMITTED] ada: Fix spurious -Wstringop-overflow with link time optimization - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix spurious emissions of -gnatwj warning [COMMITTED] ada: Fix spurious emissions of -gnatwj warning - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Fix spurious error in checking of SPARK elaboration [COMMITTED] ada: Fix spurious error in checking of SPARK elaboration - - - - --- 2022-12-06 Marc Poulhiès New
[COMMITTED] ada: Fix spurious error on 'Input of private type with Type_Invariant aspect [COMMITTED] ada: Fix spurious error on 'Input of private type with Type_Invariant aspect - - - - --- 2023-08-03 Marc Poulhiès New
[COMMITTED] ada: Fix spurious error on call to function returning private in generic [COMMITTED] ada: Fix spurious error on call to function returning private in generic - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Fix spurious error on call with default parameter in generic package [COMMITTED] ada: Fix spurious error on call with default parameter in generic package - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix spurious error on imported generic function with precondition [COMMITTED] ada: Fix spurious error on imported generic function with precondition - - - - --- 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: Fix spurious freezing error on nonabstract null extension [COMMITTED] ada: Fix spurious freezing error on nonabstract null extension - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix spurious visibility error on parent's component in instance [COMMITTED] ada: Fix spurious visibility error on parent's component in instance - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix spurious warning emissions [COMMITTED] ada: Fix spurious warning emissions - - - - --- 2023-09-05 Marc Poulhiès New
[COMMITTED] ada: Fix spurious warning on Inline_Always and contracts [COMMITTED] ada: Fix spurious warning on Inline_Always and contracts - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix storage model handling for dereference as lvalue and renamings [COMMITTED] ada: Fix storage model handling for dereference as lvalue and renamings - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix string indexing within GNAT.Calendar.Time_IO.Value [COMMITTED] ada: Fix string indexing within GNAT.Calendar.Time_IO.Value - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix style and typos in comments [COMMITTED] ada: Fix style and typos in comments - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Fix style in code for generic formal subprograms with contracts [COMMITTED] ada: Fix style in code for generic formal subprograms with contracts - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Fix style in declaration of routine for expansion of packed arrays [COMMITTED] ada: Fix style in declaration of routine for expansion of packed arrays - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Fix support of Default_Component_Value aspect on derived types [COMMITTED] ada: Fix support of Default_Component_Value aspect on derived types - - - - --- 2023-01-03 Marc Poulhiès New
[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 - - - - --- 2023-06-27 Marc Poulhiès New
[COMMITTED] ada: Fix too small secondary stack allocation for returned aggregate [COMMITTED] ada: Fix too small secondary stack allocation for returned aggregate - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Fix too small secondary stack allocation for returned conversion [COMMITTED] ada: Fix too small secondary stack allocation for returned conversion - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Fix traversal for the rightmost node of a pretty-printed expression [COMMITTED] ada: Fix traversal for the rightmost node of a pretty-printed expression - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Fix type derivation of subtype of derived type [COMMITTED] ada: Fix type derivation of subtype of derived type - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Fix type for SPARK expansion on deep delta aggregates [COMMITTED] ada: Fix type for SPARK expansion on deep delta aggregates - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Fix typo [COMMITTED] ada: Fix typo - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Fix typo in "pattern" [COMMITTED] ada: Fix typo in "pattern" - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Fix typo in comment [COMMITTED] ada: Fix typo in comment - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Fix typo in comment [COMMITTED] ada: Fix typo in comment - - - - --- 2023-01-16 Marc Poulhiès New
« 1 2 ... 649 650 6511267 1268 »