Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 283 284 285558 559 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Implement new attribute Library_Level - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Implement new attribute Restriction_Set - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Implement new partition-wide restriction No_Long_Long_Integer - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Implement new pragma Ignore_Pragma - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Implement new pragma Prefix_Exception_Messages - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Implement new pragma Warning_As_Error - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Implement new pragma/aspect Volatile_Full_Access - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Implement new pragmas Pre[_Class] and Post[_Class] - - - 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Implement new restriction No_Fixed_IO - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Implement new rules for pragma SPARK_Mode - - - 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Implement new warnings for suspicious mod values - - - 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Implement non-classwide Pre/Post aspects - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Implement notes lines in ALI file - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Implement pragma Ada_2012 and -gnat12 switch - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Implement pragma Check_Float_Overflow - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Implement pragma Compiler_Unit_Warning - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Implement pragma Default_Storage_Pool - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implement pragma Default_Storage_Pool - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement pragma No_Inline (front-end part) - - - 0 0 0 2013-02-06 Arnaud Charlet New
[Ada] Implement pragma Ordered and -gnatw.u - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Implement pragma Pure_12 and use it in Ada.Finalization - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Implement pragma/aspect No_Tagged_Streams - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Implement pragmas Type_Invariant[_Class] - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Implement restricted aliasing for parameters - - - 0 0 0 2015-10-02 Eric Botcazou New
[Ada] Implement restriction No_Allocators_After_Elaboration - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Implement stack limitation on VMS - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implement stack-checking on arm64-darwin. - - - 0 0 0 2015-10-23 Arnaud Charlet New
[Ada] Implement static predicates and case statements - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Implement static predicates for string/real types - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Implement style switch -gnatyE for enumeration ranges - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Implement switches to reorder record components in gigi - - - 0 0 0 2011-03-21 Eric Botcazou New
[Ada] Implement tagging of warning messages - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Implement task barriers in Ada - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Implement use of static predicates in variants - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Implementation of AI05-0071: class-wide ops for formal subprograms - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Implementation of AI05-0073 - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Implementation of AI05-0123 : composability of equality - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Implementation of AI05-0150 : Use_All_Type - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Implementation of AI05-0151: additional uses for incomplete types - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Implementation of AI05-0161 restriction No_Default_Stream_Attributes - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Implementation of AI05-0212 : implicit dereference types - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Implementation of AI05-213 : formal incomplete types - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Implementation of Ada 2012 AI05-0026: Missing rules for Unchecked_Union - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Implementation of Ada 2012 AI05-0030: Requeue on synchronized interfaces - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Implementation of Ada 2012 type invariants - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Implementation of Ada2012 rules on preconditions for null procedures - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Implementation of Default_Pool pragma - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Implementation of aspect Synchronization - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Implementation of aspects within generic units - - - 0 0 0 2011-09-01 Richard Guenther New
[Ada] Implementation of aspects within generic units - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Implementation of pragma CPU - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implementation of pre/postconditions for entries - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Implementation of quantified expressions - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Implementation of simple storage pools for dynamic allocation - - - 0 0 0 2012-02-08 Arnaud Charlet New
[Ada] Implementation-defined restrictions - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Implemented protected procedure Dequeue_Only_High_Priority - - - 0 0 0 2011-10-06 Arnaud Charlet New
[Ada] Implicit self dependence of task on itself - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Imported C++ exceptions - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Improper assignment on indexing operation with implicit dereference - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Improper initialization of elementary parameters in entry calls - - - 0 0 0 2015-10-16 Arnaud Charlet New
[Ada] Improper node sharing in the expansion of T'range. - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Improper optimization of range checks - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Improper visibility with child instance that is siblling of current unit - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Improve 'Image accuracy for fixed point types with decimal small - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Improve DG output of subprograms - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Improve GNAT dimensionality checking system - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Improve Namet hash function - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Improve Out and In/Out parameter passing - - - 0 0 0 2011-07-24 Eric Botcazou New
[Ada] Improve __gnat_stat() on windows - - - 0 0 0 2010-10-25 Arnaud Charlet New
[Ada] Improve a few comments - - - 0 0 0 2010-11-09 Eric Botcazou New
[Ada] Improve debugging facilities - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Improve detection of bad Stdcall convention - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Improve error handling in Ada.Directories search system - - - 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Improve error message for extra "," in choice list - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Improve error message for missing dependency item - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Improve error message of interface primitive overriding - - - 0 0 0 2015-01-30 Arnaud Charlet New
[Ada] Improve error message on malformed aspect name - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Improve error message on misplaced 'Result in Ada 2012 mode - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Improve error message on static vs non-static predicate use - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Improve error messages on SPARK annotations - - - 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Improve error msg for passing volatile to non-volatile - - - 0 0 0 2011-11-07 Arnaud Charlet New
[Ada] Improve error msgs for Ada 2012 feature not in Ada 2012 mode - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Improve error recovery for bad comma/semicolon in expression - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Improve explanations for non-staticness - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Improve finalization of global controlled objects - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Improve finalization of global controlled objects (2) - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Improve flag positioning for missing quote when comma present - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Improve handling of folding of conditional expressions - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Improve handling of null-exclusion access types - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Improve implementation of fat pointer types - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Improve message for condition always False (simple variable case) - - - 0 0 0 2015-01-30 Arnaud Charlet New
[Ada] Improve messages for lack of inlining in GNATprove mode - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Improve output of type for error messages - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Improve performance of writable actuals aliasing detection - - - 0 0 0 2015-05-25 Arnaud Charlet New
[Ada] Improve quality of PRNG seeding - - - 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Improve recognition of misspelled aspects - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Improve recovery for misordered PRIVATE/ABSTRACT/TAGGED keywords - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Improve removal of side effects in in-mode parameters - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Improve run time performance for large array reset - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Improve support class-wide interface conversions in .NET - - - 0 0 0 2011-08-04 Arnaud Charlet New
« 1 2 ... 283 284 285558 559 »