Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 311 312 313 … 595 596 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Renaming of intrinsic generic subprograms - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Renaming of unconstrained limited function calls - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Renamings of volatile objects - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Reorganization of NetDB binding - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Reorganize Full_Qualified_Name handling - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Reorganize handling of predicates - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Repair No_Strict_Aliasing configuration pragma - - - 0 0 0 2015-01-07 Arnaud Charlet New
[Ada] Replaced 64-bit index manipulation with more efficient integer types - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Replacement of warnings by errors for dimensionality checking system - - - 0 0 0 2011-12-22 Arnaud Charlet New
[Ada] Report error when "a" does not exist in "a/**" for project files - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Report unhandled exceptions as unhandled - - - 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] Reporting complex ambiguities - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Representation information for nested subprograms - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Require Elaborate_Body if non-null abstract state is specified - - - 0 0 0 2013-10-15 Arnaud Charlet New
[Ada] Resolution of parameterless calls that return arrays - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Resolution of references to predefined operators - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Resolving self-references to a child generic unit in an instance - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Resolving spurious ambiguities within instantiations - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Restrict SAL library names to Ada identifiers - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Restrict propagation of atomicity from objects to types - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Restrict simultaneous compilations to one per object dir - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Restriction No_Dynamic_Sized_Objects - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Restriction SPARK replaced by SPARK_05 - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Restrictions on 'Old in a postcondition. - - - 0 0 0 2014-01-23 Arnaud Charlet New
[Ada] Return early from rest_of_record_type_compilation - - - 0 0 0 2012-03-25 Eric Botcazou New
[Ada] Rework the initialization/finalization of the runtime. - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Rework win32_wait to behave more like the UNIX waitpid() - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Rewrite CleanupUnwind_Handler to strictly follow ia64 ABI - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Rewrite dynamic stack usage - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Rewrite obsolete comment - - - 0 0 0 2010-11-17 Eric Botcazou New
[Ada] Robustify renaming code in gigi - - - 0 0 0 2014-04-15 Eric Botcazou New
[Ada] Run csinfo and ceinfo automatically - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Runtime check on assignment to tagged types - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] SCO for nested decision in pragma - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] SCO generation for pragma Debug - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] SCOs for SELECT statements - - - 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] SCOs for disabled pragmas - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] SCOs for pragmas - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] SCOs: handle the Short_Circuit_And_Or pragma - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] SPARK 2014 aspects should not be delayed - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] SPARK property "effectively volatile" and its effects - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] SPARK_Mode on synchronized units and entry declarations - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Satisfy representation invariants in operation Move - - - 0 0 0 2011-11-20 Arnaud Charlet New
[Ada] Save occurrence on the stack before calling last chance handler - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Save/restore value of pragma Normalize_Scalars - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Save/restore value of pragma Normalize_Scalars - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Scalar_Storage_Order consistency for nested composites - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Secondary stack leak for call returning limited discriminated object - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Secondary stack usage and operators that rename functions - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Selectively inline subprograms in GNATprove mode - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Semantic checks on iterator specifications. - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Semantically analyze source aspect in ASIS mode - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Semantics of attribute 'Old in aspect/pragma Contract_Cases - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] Semantics of equality renaming in Ada2012 - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Send gnatls/gnatcmd verbose diagnostics to stderr - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Serial port flow control support - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Set Entity for a created Identifier Node - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Set TYPE_CANONICAL in copy_type - - - 0 0 0 2015-06-03 Eric Botcazou New
[Ada] Set function_start_locus in gigi - - - 0 0 0 2014-05-18 Eric Botcazou New
[Ada] Set overflow check mode to STRICT in Alfa mode, unless set already - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Set proper context for encapsulated aggregate libraries - - - 0 0 0 2012-02-08 Arnaud Charlet New
[Ada] Set pthread names on OpenVMS - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Set special options for ALFA mode (formal verification) - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Set task name under Linux - - - 0 0 0 2012-03-07 Arnaud Charlet New
[Ada] Set the flag In_Assertion_Expr during analysis of assertion expressions - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Set up alternative signal stack for PowerPC Linux - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Set_Command_Line: improve handling of grouped switches with parameters - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Shadow entity of class-wide types - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Shared libraries not linked with Rpath when -R is used - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Short_Integer should be considered implementation defined - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] Shorter display for shared library building - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Simplify Get_Target_Prefix in mlib-tgt-specific-xi.adb - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Simplify Propagate_Exception - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Simplify binder code - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Simplify expansion of conditional expressions - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Simultaneous compilations and -gnateG - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Simultaneous compilations and -gnateG - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Single protected declaration transformation guarantee - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Size should be zero for null range discrete subtype - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Skip derived types treatment for subprogram types - - - 0 0 0 2015-02-08 Eric Botcazou New
[Ada] Skip frontend when option -gnatd.H is present - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Skip special expansion in Alfa mode - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Skip unneeded expansion for Alfa mode - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] Slices of parameterless calls - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Small adjustment for platforms using SEH - - - 0 0 0 2013-01-22 Eric Botcazou New
[Ada] Small adjustment in gigi - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Small adjustment to return construct - - - 0 0 0 2014-11-24 Eric Botcazou New
[Ada] Small adjustments in handling of subprograms - - - 0 0 0 2016-06-06 Eric Botcazou New
[Ada] Small cleanup in Safe_Prefixed_Reference - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Small cleanup in array aggregate handling code - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Small cleanup in gigi - - - 0 0 0 2016-04-27 Eric Botcazou New
[Ada] Small enhancement to unchecked conversion warning in -gnatf mode - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Small fixes to Eliminated overflow mode - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Small gigi tweaks - - - 0 0 0 2011-03-23 Eric Botcazou New
[Ada] Small tweak in LTO mode - - - 0 0 0 2016-07-11 Eric Botcazou New
[Ada] Small tweak to 'for' loop translation - - - 0 0 0 2010-12-13 Eric Botcazou New
[Ada] Small tweak to gigi - - - 0 0 0 2011-12-11 Eric Botcazou New
[Ada] Small tweak to help GDB to display aliased dynamic array - - - 0 0 0 2012-02-27 Eric Botcazou New
[Ada] Small tweak to help GDB to display aliased dynamic array - - - 0 0 0 2012-01-27 Eric Botcazou New
[Ada] Small tweak to help GDB to display labels - - - 0 0 0 2012-01-27 Eric Botcazou New
« 1 2 ... 311 312 313 … 595 596 »