Show patches with: State = Action Required       |    Archived = No       |   72043 patches
« 1 2 ... 359 360 361720 721 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Bounded string slice fails when passed superflat bounds - - - - 0 0 0 2015-03-04 Arnaud Charlet New
[Ada] Box associations for components without defaults in aggregates - - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Box associations in record aggregates - - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Box-initialized components of aggregates in allocators - - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Bug box on object of derived array type with repped enumeration index - - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Bug in handling of library-level freeze actions - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Bug with interfaces and limited views - - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Build in place for nonlimited types [Ada] Build in place for nonlimited types - - - - 0 0 0 2017-09-29 Pierre-Marie de Rodat New
[Ada] Build-in place calls with inherited operations of untagged types - - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Bump copyright year - - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Bump library version number - - - - 0 0 0 2011-04-30 Eric Botcazou New
[Ada] Bump size limit for large static aggregates [Ada] Bump size limit for large static aggregates - - - - 0 0 0 2017-11-09 Pierre-Marie de Rodat New
[Ada] C++ types are limited - - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Cache value returned by Is_Compilable - - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Call memmove instead of memcpy in more cases - - - - 0 0 0 2016-10-12 Arnaud Charlet New
[Ada] Calls in preelaborated units and pragma Remote_Call_Interface [Ada] Calls in preelaborated units and pragma Remote_Call_Interface - - - - 0 0 0 2017-10-14 Pierre-Marie de Rodat New
[Ada] Calls to protected operations in pre/postcondition - - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Cannot rename component of Volatile_Full_Access object - - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Case statements over predicated subtypes - - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Case variable from another project in an extended project - - - - 0 0 0 2014-10-30 Arnaud Charlet New
[Ada] Catch more redundant conversions with -gnatwr - - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Catch newly illegal case of Unrestricted_Access - - - - 0 0 0 2014-07-16 Arnaud Charlet New
[Ada] Ceiling priorities off by one on Linux - - - - 0 0 0 2017-05-02 Arnaud Charlet New
[Ada] Change SIGADAABRT to SIGABRT on Darwin - - - - 0 0 0 2011-09-19 Arnaud Charlet New
[Ada] Change SPARK_Mode into GNATprove_Mode, and avoid expansion - - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Change approach for control of intermediate overflow checking - - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Change backtrace mechanism for x86/Linux - - - - 0 0 0 2010-08-18 Eric Botcazou New
[Ada] Change error message in Ada 2012 mode for misplaced "if" and "case" - - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Change error messages on duplicated Contract_Cases - - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Change name Conditional_Expression to If_Expression - - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Change of error message in gnatbind - - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Change of profile for Prj.Part.Parse - - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Change overflow mode handling - - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Change parameterized expression to expression function - - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Change return mechanism for variable-sized constrained array types - - - - 0 0 0 2011-03-24 Eric Botcazou New
[Ada] Change semantics of Merge - - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Change semantics of partial iteration - - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Change sense of predicate when dequeuing high priority element - - - - 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Change spelling parametrize(d) => parameterize(d) - - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Change value of the variable Name_Of_Heap_Variable - - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Changes related to back-end inlining - - - - 0 0 0 2014-11-05 Eric Botcazou New
[Ada] Changes related to back-end inlining - - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Changes to SPARK RM 7.1.3(11) - - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Check SPARK restriction on recursive call - - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Check ambiguity with prefixed views of tagged primitives - - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Check bad use of predicates - - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Check component overlap when non-standard bit-order - - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Check elaboration requirement for SPARK in the static model [Ada] Check elaboration requirement for SPARK in the static model - - - - 0 0 0 2017-10-09 Pierre-Marie de Rodat New
[Ada] Check for attempt to bind GNATprove files - - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Check for container tampering - - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Check for container tampering - - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Check for correct Size for shift and rotate intrinsics - - - - 0 0 0 2012-01-10 Arnaud Charlet New
[Ada] Check for illegal global refs to abstract state when refinement visible - - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Check infinite loop warning for exit when statement - - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Check matching Float_Representation on OpenVMS - - - - 0 0 0 2011-12-23 Arnaud Charlet New
[Ada] Check missing function returns in generic template - - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Check preconditions for child iterator of multiway tree container - - - - 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Check redundant parens for conditional expressions - - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Check suppression in Ada.Containers - - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Check that Storage_Pool/Storage_Size not both given for same entity - - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Check that actual for aliased parameter is aliased - - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Check that an aggregate is not Externally_Built - - - - 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Check that rtsfind entities are not overloaded - - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Check violation of 6.20/3 in aggregates - - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Checking for eliminated subprograms - - - - 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Checks fail on right operand of "and" and "or" with Short_Circuit_And_Or - - - - 0 0 0 2011-10-14 Arnaud Charlet New
[Ada] Checks on aliasing and initialization of scalars for parameters - - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Checks on alignment with address clauses - - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Checks on intrinsic operators - - - - 0 0 0 2011-10-13 Arnaud Charlet New
[Ada] Child project extending a child project - - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Clarify message for missing pragma argument identifier - - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Clarify the semantics of -gnatn switch - - - - 0 0 0 2016-07-07 Arnaud Charlet New
[Ada] Class-wide objects and debugging information - - - - 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Class-wide operations in instantations - - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Class-wide pre/postconditions - - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Class-wide preconditions in dispatching calls. - - - - 0 0 0 2017-04-27 Arnaud Charlet New
[Ada] Class-wide type invariants for type extensions in other units. - - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Class-wide types of private extensions of constrained types - - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Class_wide type of a private subtype - - - - 0 0 0 2010-06-16 Arnaud Charlet New
[Ada] Classwide postconditions on null procedures - - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Clean up -gnat2012 messages - - - - 0 0 0 2010-08-10 Arnaud Charlet New
[Ada] Clean up System.Address_To_Access_Conversions - - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Clean up and document use of IN_GCC outside the compiler - - - - 0 0 0 2011-08-30 Eric Botcazou New
[Ada] Clean up generation of FIRST/LAST temps for bounds - - - - 0 0 0 2015-03-13 Arnaud Charlet New
[Ada] Clean up global variables - - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Clean up handling of assertions when disabled - - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Clean up handling of invariants - - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Clean up handling of msgs for biasing - - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Clean up handling of pack, component size, aliased/atomic components - - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Clean up implementation of thin pointers in gigi - - - - 0 0 0 2012-03-09 Eric Botcazou New
[Ada] Clean up in Pop_Scope - - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Clean up in dimentionality checking code - - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Clean up in s-osinte - - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Clean up obsolescent stuff handling in scng - - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Clean up of gnatbind output (for non-standard run times) - - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Clean up of heap objects in the context of accessibility failures - - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Clean up of index usage in string literal subtypes - - - - 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Clean up of quantified expressions - - - - 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Clean ups in SPARK mode - - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Clean ups in container API - - - - 0 0 0 2012-01-10 Arnaud Charlet New
« 1 2 ... 359 360 361720 721 »