Show patches with: Archived = No       |   128196 patches
« 1 2 ... 702 703 704 … 1281 1282 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] In-place initialization for Initialize_Scalars [Ada] In-place initialization for Initialize_Scalars - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] In an element iterator, the element is constant if the container is. - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] In a generic use Presanalyze_Spec_Expression on Predicates [Ada] In a generic use Presanalyze_Spec_Expression on Predicates - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] In CodePeer mode, use regular-exception handling [Ada] In CodePeer mode, use regular-exception handling - - - - --- 2021-05-06 Pierre-Marie de Rodat New
[Ada] In Alfa mode, record also modifications not coming from source - - - - --- 2011-11-07 Arnaud Charlet New
[Ada] In Alfa mode, issue an error instead of a warning on a missing component - - - - --- 2012-08-06 Arnaud Charlet New
[Ada] In Alfa mode, do not remove side-effects from expression - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] In Alfa mode, do not force evaluation of expressions for checks - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] In ALFA mode, do not generate fully qualified names in frontend - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Improvements to sprint for conditional expressions - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Improvements to implementation of Ada_2020 attribute Reduce [Ada] Improvements to implementation of Ada_2020 attribute Reduce - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Improvements to handling of unchecked union discriminants - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Improvements to handling of pragma Compiler_Unit_Warning - - - - --- 2014-06-13 Arnaud Charlet New
[Ada] Improvements to Treepr.pp - - - - --- 2011-12-05 Arnaud Charlet New
[Ada] Improvement to errors and warning messages for expanded names - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Improved warnings on useless formals in subprograms - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Improved runtime exception message for duplicated external tag - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Improved redundant null check elimination - - - - --- 2013-10-15 Arnaud Charlet New
[Ada] Improved performance of writable actuals aliasing detection - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Improved messages for use of incomplete type in selected components - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Improved message for the restriction use of unconstrained type in SPARK - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Improved handling of semicolon instead of colon after label - - - - --- 2014-01-27 Arnaud Charlet New
[Ada] Improved handling of rep item chains - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Improved handling of info messages - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Improved handling of circular compilation dependencies [Ada] Improved handling of circular compilation dependencies - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Improved exception message for Host_Error - - - - --- 2016-04-21 Arnaud Charlet New
[Ada] Improved error recovery for positional box - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Improved error message on one-element positional aggregates - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Improved error message on malformed null procedure with aspect [Ada] Improved error message on malformed null procedure with aspect - - - - --- 2017-09-07 Arnaud Charlet New
[Ada] Improved error message on invisible operator - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Improved error message for misaligned fields [Ada] Improved error message for misaligned fields - - - - --- 2019-06-29 Eric Botcazou New
[Ada] Improved error message for invalid concatenation operands. - - - - --- 2014-01-22 Arnaud Charlet New
[Ada] Improved error message for illegal procedure function definition. - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Improved checking for invalid index values when accessing array elements [Ada] Improved checking for invalid index values when accessing array elements - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Improve xref speed for many tagged types - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Improve warnings about infinite loops [Ada] Improve warnings about infinite loops - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Improve warnings about "too few elements" and "too many elements" [Ada] Improve warnings about "too few elements" and "too many elements" - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Improve translation of iterative loops - - - - --- 2011-09-25 Eric Botcazou New
[Ada] Improve the support of No_Use_Entity - - - - --- 2016-06-16 Arnaud Charlet New
[Ada] Improve the performance of the new ABE mechanism [Ada] Improve the performance of the new ABE mechanism - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Improve the function that computes a unique name for Entities - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Improve support of size and alignment clauses - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Improve support of Storage_Error for Windows 64 SEH - - - - --- 2012-07-16 Arnaud Charlet New
[Ada] Improve support for casing on types with controlled parts [Ada] Improve support for casing on types with controlled parts - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Improve support class-wide interface conversions in .NET - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Improve speed of discriminated return types [Ada] Improve speed of discriminated return types - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve run-time performance for large initialized allocators [Ada] Improve run-time performance for large initialized allocators - - - - --- 2020-07-06 Pierre-Marie de Rodat New
[Ada] Improve run time performance for large array reset - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Improve removal of side effects in in-mode parameters - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Improve recovery for misordered PRIVATE/ABSTRACT/TAGGED keywords - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Improve recognition of misspelled aspects - - - - --- 2014-10-20 Arnaud Charlet New
[Ada] Improve quality of generated code for address clauses - - - - --- 2016-10-11 Eric Botcazou New
[Ada] Improve quality of PRNG seeding - - - - --- 2012-01-30 Arnaud Charlet New
[Ada] Improve pretty-printing of iterated component associations [Ada] Improve pretty-printing of iterated component associations - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Improve precision of Ada.Directories.Modification_Time [Ada] Improve precision of Ada.Directories.Modification_Time - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Improve placement of warning on formals of generic subprograms [Ada] Improve placement of warning on formals of generic subprograms - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Improve performance of writable actuals aliasing detection - - - - --- 2015-05-25 Arnaud Charlet New
[Ada] Improve performance of conversion from String to Long_Float [Ada] Improve performance of conversion from String to Long_Float - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Improve performance of Containers.Functional_Base [Ada] Improve performance of Containers.Functional_Base - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Improve performance of Ada.Containers.Doubly_Linked_Lists.Generic_Sorting.Sort [Ada] Improve performance of Ada.Containers.Doubly_Linked_Lists.Generic_Sorting.Sort - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Improve performance of 'Image with enumeration types. [Ada] Improve performance of 'Image with enumeration types. - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Improve performance for case-insensitive regular expressions [Ada] Improve performance for case-insensitive regular expressions - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Improve output of type for error messages - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Improve optimization of "=" on bit-packed arrays [Ada] Improve optimization of "=" on bit-packed arrays - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Improve nnd debugging hooks [Ada] Improve nnd debugging hooks - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Improve messages on incorrect state refinement in SPARK [Ada] Improve messages on incorrect state refinement in SPARK - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Improve messages for lack of inlining in GNATprove mode - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Improve message on missing all/for in pre-Ada-2022 modes [Ada] Improve message on missing all/for in pre-Ada-2022 modes - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Improve message for condition always False (simple variable case) - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Improve layout ABI compatibility with C++ [Ada] Improve layout ABI compatibility with C++ - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Improve last exception info availability from C++ handlers [Ada] Improve last exception info availability from C++ handlers - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Improve interactions between DSA and Put_Image routines for tagged types [Ada] Improve interactions between DSA and Put_Image routines for tagged types - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Improve implementation of fat pointer types - - - - --- 2011-09-26 Eric Botcazou New
[Ada] Improve handling of null-exclusion access types - - - - --- 2011-09-26 Eric Botcazou New
[Ada] Improve handling of null unbounded strings [Ada] Improve handling of null unbounded strings - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Improve handling of folding of conditional expressions - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Improve handling of explicit by-reference mechanism [Ada] Improve handling of explicit by-reference mechanism - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Improve handling of aliased constant of UNC array type [Ada] Improve handling of aliased constant of UNC array type - - - - --- 2017-09-09 Eric Botcazou New
[Ada] Improve handling of aggregates in Side_Effect_Free [Ada] Improve handling of aggregates in Side_Effect_Free - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Improve handling of SPARK_Mode in generic instances [Ada] Improve handling of SPARK_Mode in generic instances - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Improve generated code for records with rep clauses [Ada] Improve generated code for records with rep clauses - - - - --- 2018-06-12 Eric Botcazou New
[Ada] Improve generated code for initialization of atomics [Ada] Improve generated code for initialization of atomics - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Improve flag positioning for missing quote when comma present - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Improve finalization of global controlled objects (2) - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Improve finalization of global controlled objects - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Improve explanations for non-staticness - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Improve expected type error messages [Ada] Improve expected type error messages - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Improve error recovery for bad comma/semicolon in expression - - - - --- 2014-10-20 Arnaud Charlet New
[Ada] Improve error recovery [Ada] Improve error recovery - - - - --- 2020-11-30 Pierre-Marie de Rodat New
[Ada] Improve error msgs for Ada 2012 feature not in Ada 2012 mode - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Improve error msg for passing volatile to non-volatile - - - - --- 2011-11-07 Arnaud Charlet New
[Ada] Improve error messages to include full package name [Ada] Improve error messages to include full package name - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Improve error messages on SPARK annotations - - - - --- 2014-02-20 Arnaud Charlet New
[Ada] Improve error messages for occurrence of GNAT extensions without -gnatX [Ada] Improve error messages for occurrence of GNAT extensions without -gnatX - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Improve error messages for dot notation when -gnatX not used [Ada] Improve error messages for dot notation when -gnatX not used - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Improve error message when named number passed as global item [Ada] Improve error message when named number passed as global item - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Improve error message when function is used in a call statement [Ada] Improve error message when function is used in a call statement - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Improve error message on static vs non-static predicate use - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Improve error message on mult/div between fixed-point and integer [Ada] Improve error message on mult/div between fixed-point and integer - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Improve error message on missing all/for in quantified expression [Ada] Improve error message on missing all/for in quantified expression - - - - --- 2021-10-05 Pierre-Marie de Rodat New
« 1 2 ... 702 703 704 … 1281 1282 »