Show patches with: none      |   127808 patches
« 1 2 ... 724 725 726 … 1278 1279 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Cleanup in sysdep.c: remove unused declaration - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Cleanup in renaming support - - - - --- 2015-05-25 Eric Botcazou New
[Ada] Cleanup in raise-gcc.c - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Cleanup in exception_occurrence - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Cleanup in error about unreachable code [Ada] Cleanup in error about unreachable code - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Cleanup in Convert_To_Positional after previous work [Ada] Cleanup in Convert_To_Positional after previous work - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Cleanup handling of info and warning messages - - - - --- 2014-06-11 Arnaud Charlet New
[Ada] Cleanup handling of discrete static predicates - - - - --- 2014-07-29 Arnaud Charlet New
[Ada] Cleanup front end code (introduce N_Subprogram_Call) - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Cleanup for static expressions raising constraint error - - - - --- 2014-07-29 Arnaud Charlet New
[Ada] Cleanup expansion of protected entry families [Ada] Cleanup expansion of protected entry families - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Cleanup expansion of attribute Priority [Ada] Cleanup expansion of attribute Priority - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup excessive conditions in Check_Completion [Ada] Cleanup excessive conditions in Check_Completion - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Cleanup detection of suspension objects [Ada] Cleanup detection of suspension objects - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Cleanup detection of No_Elist with No and Present [Ada] Cleanup detection of No_Elist with No and Present - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Cleanup defensive guards for Null_Exclusion_Present [Ada] Cleanup defensive guards for Null_Exclusion_Present - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Cleanup copying of parameter lists [Ada] Cleanup copying of parameter lists - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup condition for an effectively volatile array type [Ada] Cleanup condition for an effectively volatile array type - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Cleanup code related to object overlays [Ada] Cleanup code related to object overlays - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Cleanup code for the generation of the _Postconditions procedure - - - - --- 2013-04-23 Arnaud Charlet New
[Ada] Cleanup checking for compatible alignment [Ada] Cleanup checking for compatible alignment - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Cleanup building of renamed equality [Ada] Cleanup building of renamed equality - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Cleanup analysis of quantified expressions with empty ranges [Ada] Cleanup analysis of quantified expressions with empty ranges - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup analysis of iterator specifications [Ada] Cleanup analysis of iterator specifications - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Cleanup analysis of concurrent types that implement interfaces - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Cleanup -gnatG output for machine code - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Cleaning up of quantified expression analysis and expansion. - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Clean-up: remove flag Pragma_Enabled - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Clean ups in container API - - - - --- 2012-01-10 Arnaud Charlet New
[Ada] Clean ups in SPARK mode - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Clean up support of square brackets [Ada] Clean up support of square brackets - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Clean up support for validity checks in the compiler [Ada] Clean up support for validity checks in the compiler - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Clean up scanner [Ada] Clean up scanner - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Clean up of quantified expressions - - - - --- 2012-04-02 Arnaud Charlet New
[Ada] Clean up of index usage in string literal subtypes - - - - --- 2012-04-26 Arnaud Charlet New
[Ada] Clean up of heap objects in the context of accessibility failures - - - - --- 2012-07-23 Arnaud Charlet New
[Ada] Clean up of gnatbind output (for non-standard run times) - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Clean up obsolescent stuff handling in scng - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Clean up in writing of ALI files [Ada] Clean up in writing of ALI files - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Clean up in system.ads dependencies during compiler build [Ada] Clean up in system.ads dependencies during compiler build - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Clean up in s-osinte - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Clean up in dimentionality checking code - - - - --- 2011-12-21 Arnaud Charlet New
[Ada] Clean up in Pop_Scope - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Clean up in Interfaces.C.Extensions [Ada] Clean up in Interfaces.C.Extensions - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Clean up implementation of thin pointers in gigi - - - - --- 2012-03-09 Eric Botcazou New
[Ada] Clean up handling of pack, component size, aliased/atomic components - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Clean up handling of msgs for biasing - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Clean up handling of invariants - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] Clean up handling of assertions when disabled - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Clean up global variables - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Clean up generation of FIRST/LAST temps for bounds - - - - --- 2015-03-13 Arnaud Charlet New
[Ada] Clean up error handling of 'Image [Ada] Clean up error handling of 'Image - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] Clean up and document use of IN_GCC outside the compiler - - - - --- 2011-08-30 Eric Botcazou New
[Ada] Clean up System.Address_To_Access_Conversions - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Clean up Makefile.rtl [Ada] Clean up Makefile.rtl - - - - --- 2021-04-29 Pierre-Marie de Rodat New
[Ada] Clean up -gnat2012 messages - - - - --- 2010-08-10 Arnaud Charlet New
[Ada] Classwide postconditions on null procedures - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Classwide controlled obj not dispatching [Ada] Classwide controlled obj not dispatching - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Class_wide type of a private subtype - - - - --- 2010-06-16 Arnaud Charlet New
[Ada] Class-wide types of private extensions of constrained types - - - - --- 2010-06-18 Arnaud Charlet New
[Ada] Class-wide type invariants for type extensions in other units. - - - - --- 2014-10-17 Arnaud Charlet New
[Ada] Class-wide preconditions in dispatching calls. - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Class-wide pre/postconditions - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Class-wide operations in instantations - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Class-wide objects and debugging information - - - - --- 2013-01-03 Arnaud Charlet New
[Ada] Clarify the semantics of -gnatn switch - - - - --- 2016-07-07 Arnaud Charlet New
[Ada] Clarify protection offered by preconditions on Ada.Text_IO units [Ada] Clarify protection offered by preconditions on Ada.Text_IO units - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not [Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not - - - - --- 2021-09-22 Pierre-Marie de Rodat New
[Ada] Clarify message for missing pragma argument identifier - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Clarify meaning of local pragma Warnings Off without On [Ada] Clarify meaning of local pragma Warnings Off without On - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Clarify hardening command-line options that require explicit choices [Ada] Clarify hardening command-line options that require explicit choices - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Clarify error for unsupported ELIMINATED overflow mode [Ada] Clarify error for unsupported ELIMINATED overflow mode - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Clarify documentation for Stack_Usage [Ada] Clarify documentation for Stack_Usage - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Clarify current design of Errout wrt global variable usage [Ada] Clarify current design of Errout wrt global variable usage - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Clarify code for detecting volatile refinement properties [Ada] Clarify code for detecting volatile refinement properties - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Child project extending a child project - - - - --- 2010-10-05 Arnaud Charlet New
[Ada] Checks on intrinsic operators - - - - --- 2011-10-13 Arnaud Charlet New
[Ada] Checks on instantiations with formal derived types with interfaces [Ada] Checks on instantiations with formal derived types with interfaces - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Checks on alignment with address clauses - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Checks on aliasing and initialization of scalars for parameters - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Checks fail on right operand of "and" and "or" with Short_Circuit_And_Or - - - - --- 2011-10-14 Arnaud Charlet New
[Ada] Checking type invariants on in params of procedures, not functions (AI12-0044) [Ada] Checking type invariants on in params of procedures, not functions (AI12-0044) - - - - --- 2020-07-07 Pierre-Marie de Rodat New
[Ada] Checking for eliminated subprograms - - - - --- 2012-06-14 Arnaud Charlet New
[Ada] Check violation of 6.20/3 in aggregates - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Check token to be "access", reject it if not [Ada] Check token to be "access", reject it if not - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Check that rtsfind entities are not overloaded - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Check that an aggregate is not Externally_Built - - - - --- 2012-02-17 Arnaud Charlet New
[Ada] Check that actual for aliased parameter is aliased - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Check that Storage_Pool/Storage_Size not both given for same entity - - - - --- 2014-01-22 Arnaud Charlet New
[Ada] Check suppression in Ada.Containers - - - - --- 2015-10-16 Arnaud Charlet New
[Ada] Check scalar range in arrays constructed by concatenation [Ada] Check scalar range in arrays constructed by concatenation - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Check redundant parens for conditional expressions - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Check predicates for subtypes of private types [Ada] Check predicates for subtypes of private types - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Check preconditions for child iterator of multiway tree container - - - - --- 2011-12-02 Arnaud Charlet New
[Ada] Check missing function returns in generic template - - - - --- 2010-06-23 Arnaud Charlet New
[Ada] Check matching Float_Representation on OpenVMS - - - - --- 2011-12-23 Arnaud Charlet New
[Ada] Check infinite loop warning for exit when statement - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Check if- and case-expressions for unset references [Ada] Check if- and case-expressions for unset references - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Check if attribute Passed_By_Reference is called on incomplete types [Ada] Check if attribute Passed_By_Reference is called on incomplete types - - - - --- 2020-06-16 Pierre-Marie de Rodat New
[Ada] Check for illegal global refs to abstract state when refinement visible - - - - --- 2013-10-17 Arnaud Charlet New
« 1 2 ... 724 725 726 … 1278 1279 »