Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 269 270 271565 566 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Support for recording bind time environment info - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Support for hash based message authentication codes - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Support for coverage analysis of ACCEPT alternatives in SELECT statement - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Support for controlled objects allocated on the heap for .NET/JVM - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Support for aspect Refined_State - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Support for Priority aspect - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Support for CLOCK_MONOTONIC on AIX 5.3 - - - 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Support both concurrent and sequential partition elaboration policies - - - 0 0 0 2012-11-06 Arnaud Charlet New
[Ada] Subprograms should not be treated as Pure if limited arguments - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Subprogram renaming and private overriding - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Subprogram contracts on generics - - - 0 0 0 2015-03-02 Arnaud Charlet New
[Ada] Style checks on subprogram instantiations - - - 0 0 0 2012-04-02 Arnaud Charlet New
[Ada] Strip Switch.C of most of its dependencies - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] String literals in nested subprograms in generic units - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] String literal is allowed for pragma Warnings in Ada 83 - - - 0 0 0 2014-10-17 Arnaud Charlet New
[Ada] String list external references in project files - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Stream output to fifos - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Straigthen implementation of aggregate libraries - - - 0 0 0 2011-12-23 Arnaud Charlet New
[Ada] Store the value of 'alignment of tagged types in the TSD - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Store the display name in the project node - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Store read/write through explicit dereference in ALFA mode - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Storage_Error due to large object size - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Static predicate checks on type conversions - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Static matching of subtypes in Ada 2012 - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Static entry [family] names for VMS Debug - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Static aggregates of a limited type - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] States that act as constituents of other states - - - 0 0 0 2013-10-15 Arnaud Charlet New
[Ada] State refinement predicates for GNATprove - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] State refinement constituent uninstall - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Stand-Alone Library with attribute Interfaces - - - 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Spurious warnings on iterators over subcomponents - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Spurious warnings on element iterator whose domain is a function call - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Spurious warnings about unused units - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Spurious warnings about unreferenced entities of a packed type - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Spurious warning on generated with_clause for renamed unit - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Spurious visiblity error on private subtype and inlined constructs - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Spurious visibility error with private subtye, inlining and instance - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Spurious visibility error with nlined subprogram in with-clauses - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Spurious visibility error with derivation and incomplete declaration - - - 0 0 0 2015-11-12 Arnaud Charlet New
[Ada] Spurious visibility error for operator in pre-condition - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Spurious runtime failure on Default_Initial_Condition - - - 0 0 0 2015-03-04 Arnaud Charlet New
[Ada] Spurious output on optimized default-initialized limited aggregate - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Spurious inlining error with function completed by an expression function - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Spurious errors with generalized iterators - - - 0 0 0 2016-04-21 Arnaud Charlet New
[Ada] Spurious errors with complex slice expression - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Spurious errors with -gnatE and -gnatwl - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Spurious errors on tag indeterminate calls. - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Spurious errors on extension aggregate for limited type - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Spurious errors on aggregates in instances - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Spurious error with overloaded operation and exponention operand - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Spurious error on variable in private child package body - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Spurious error on local instantiation of pure generic unit - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Spurious error on legal use of abstract state constituent - - - 0 0 0 2015-10-27 Arnaud Charlet New
[Ada] Spurious error on container "of" loop - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Spurious error on component clause in generic unit - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Spurious error on binary operator in instance - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious error on SPARK_Mode in generic package instantiation - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Spurious error in instantiation of formal package with attribute - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Spurious error in if_expression with universal then_expression - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious error in case expression of static predicate subtype - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Spurious elaboration warning on added postcondition call - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Spurious duplicate Default_Iterator error - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Spurious discriminant error on aggregate for derived type - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious discriminant check on type with unknown discriminants - - - 0 0 0 2016-04-20 Arnaud Charlet New
[Ada] Spurious dimensionality errors on multitidimensional aggregates. - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Spurious conformance error with instance and child unit - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Spurious ambiguity in instances - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Spurious End_Error with Get_Line on strings without line terminators - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Split PRE/POST expressions into AND THEN sections - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Speed up parser for handling of aspect specifications - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Speed up memory management - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Speed up build of gnatools - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Speed up 'Count attribute on Windows - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Specify priority of protected type Queue - - - 0 0 0 2011-10-15 Arnaud Charlet New
[Ada] Special expansion in ALFA for pragma check/precondition/postcondition - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Special error message for 'Range used as integer type definition - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Special cross references in ALFA mode for constants and formals - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Special case for case expression alternative moved in caller - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Special case dup2() on Windows - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Spawning processes with no PATH - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Source location of generated nodes for To_Any calls - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Source in multi-unit source has unique object file name - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Some is reserved in Ada 2012 - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Small tweak to type derivation machinery - - - 0 0 0 2012-05-26 Eric Botcazou New
[Ada] Small tweak to signal handling code - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Small tweak to recent change - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Small tweak to help GDB to display labels - - - 0 0 0 2012-01-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 aliased dynamic array - - - 0 0 0 2012-02-27 Eric Botcazou New
[Ada] Small tweak to gigi - - - 0 0 0 2011-12-11 Eric Botcazou New
[Ada] Small tweak to 'for' loop translation - - - 0 0 0 2010-12-13 Eric Botcazou New
[Ada] Small gigi tweaks - - - 0 0 0 2011-03-23 Eric Botcazou New
[Ada] Small fixes to Eliminated overflow mode - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Small enhancement to unchecked conversion warning in -gnatf mode - - - 0 0 0 2015-05-22 Arnaud Charlet New
[Ada] Small cleanup in gigi - - - 0 0 0 2016-04-27 Eric Botcazou New
[Ada] Small cleanup in array aggregate handling code - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Small cleanup in Safe_Prefixed_Reference - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Small adjustment to return construct - - - 0 0 0 2014-11-24 Eric Botcazou New
[Ada] Small adjustment in gigi - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Small adjustment for platforms using SEH - - - 0 0 0 2013-01-22 Eric Botcazou New
« 1 2 ... 269 270 271565 566 »