Show patches with: State = Action Required       |    Archived = No       |   126630 patches
« 1 2 ... 692 693 694 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Improper assignment on indexing operation with implicit dereference - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Imported C++ exceptions - - - - --- 2013-10-14 Arnaud Charlet New
[Ada] Import binder globals as constant [Ada] Import binder globals as constant - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Import Adafinal as convention Ada [Ada] Import Adafinal as convention Ada - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Implicit_Dereference with access to access and prefix notation [Ada] Implicit_Dereference with access to access and prefix notation - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Implicit self dependence of task on itself - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Implicit dereferencing in container indexing [Ada] Implicit dereferencing in container indexing - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Implicit Elaborate_All(P) in P - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Implemented protected procedure Dequeue_Only_High_Priority - - - - --- 2011-10-06 Arnaud Charlet New
[Ada] Implementation-defined restrictions - - - - --- 2012-12-05 Arnaud Charlet New
[Ada] Implementation of simple storage pools for dynamic allocation - - - - --- 2012-02-08 Arnaud Charlet New
[Ada] Implementation of quantified expressions - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Implementation of pre/postconditions for entries - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implementation of pragma CPU - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implementation of aspects within generic units - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Implementation of aspects within generic units - - - - --- 2011-09-01 Richard Biener New
[Ada] Implementation of aspect Synchronization - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Implementation of Default_Pool pragma - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Implementation of Ada2012 rules on preconditions for null procedures - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Implementation of Ada 2012 type invariants - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Implementation of Ada 2012 AI05-0030: Requeue on synchronized interfaces - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Implementation of Ada 2012 AI05-0026: Missing rules for Unchecked_Union - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Implementation of AI12-205: defaults for formal types [Ada] Implementation of AI12-205: defaults for formal types - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-125-3 : add @ as abbreviation for LHS. - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Implementation of AI12-0212: iterator specs in array aggregates (II) [Ada] Implementation of AI12-0212: iterator specs in array aggregates (II) - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0152: legality rules for Raise_Expression [Ada] Implementation of AI12-0152: legality rules for Raise_Expression - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0131: legality of class-wide precondition [Ada] Implementation of AI12-0131: legality of class-wide precondition - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0127 : delta aggregate [Ada] Implementation of AI12-0127 : delta aggregate - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0127 : delta aggregate [Ada] Implementation of AI12-0127 : delta aggregate - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Implementation of AI12-0125, use of @ as abbreviation for LHS. - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Implementation of AI05-213 : formal incomplete types - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Implementation of AI05-0212 : implicit dereference types - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Implementation of AI05-0161 restriction No_Default_Stream_Attributes - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Implementation of AI05-0151: additional uses for incomplete types - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Implementation of AI05-0150 : Use_All_Type - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Implementation of AI05-0123 : composability of equality - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Implementation of AI05-0073 - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Implementation of AI05-0071: class-wide ops for formal subprograms - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Implement use of static predicates in variants - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Implement tiered support for floating-point exponentiation [Ada] Implement tiered support for floating-point exponentiation - - - - --- 2021-05-06 Pierre-Marie de Rodat New
[Ada] Implement task barriers in Ada - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Implement tagging of warning messages - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Implement switches to reorder record components in gigi - - - - --- 2011-03-21 Eric Botcazou New
[Ada] Implement support for unconstrained array types with FLB [Ada] Implement support for unconstrained array types with FLB - - - - --- 2021-07-12 Pierre-Marie de Rodat New
[Ada] Implement style switch -gnatyE for enumeration ranges - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Implement static predicates for string/real types - - - - --- 2014-07-29 Arnaud Charlet New
[Ada] Implement static predicates and case statements - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Implement stack-checking on arm64-darwin. - - - - --- 2015-10-23 Arnaud Charlet New
[Ada] Implement stack limitation on VMS - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implement restriction No_Allocators_After_Elaboration - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Implement restricted aliasing for parameters - - - - --- 2015-10-02 Eric Botcazou New
[Ada] Implement predicate checks on qualified expressions (AI12-0100) [Ada] Implement predicate checks on qualified expressions (AI12-0100) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement pragmas Type_Invariant[_Class] - - - - --- 2013-10-14 Arnaud Charlet New
[Ada] Implement pragma/aspect No_Tagged_Streams - - - - --- 2014-10-20 Arnaud Charlet New
[Ada] Implement pragma Pure_12 and use it in Ada.Finalization - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Implement pragma Ordered and -gnatw.u - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Implement pragma No_Inline (front-end part) - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Implement pragma Max_Entry_Queue_Length [Ada] Implement pragma Max_Entry_Queue_Length - - - - --- 2019-08-13 Pierre-Marie de Rodat New
[Ada] Implement pragma Max_Entry_Queue_Depth [Ada] Implement pragma Max_Entry_Queue_Depth - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Implement pragma Default_Storage_Pool - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implement pragma Default_Storage_Pool - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Implement pragma Compiler_Unit_Warning - - - - --- 2014-02-25 Arnaud Charlet New
[Ada] Implement pragma Check_Float_Overflow - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Implement pragma Ada_2012 and -gnat12 switch - - - - --- 2010-06-23 Arnaud Charlet New
[Ada] Implement notes lines in ALI file - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Implement non-classwide Pre/Post aspects - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Implement new warnings for suspicious mod values - - - - --- 2012-01-30 Arnaud Charlet New
[Ada] Implement new rules for pragma SPARK_Mode - - - - --- 2014-01-29 Arnaud Charlet New
[Ada] Implement new restriction No_Fixed_IO - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Implement new pragmas Pre[_Class] and Post[_Class] - - - - --- 2013-10-13 Arnaud Charlet New
[Ada] Implement new pragma/aspect Volatile_Full_Access - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Implement new pragma Warning_As_Error - - - - --- 2014-02-25 Arnaud Charlet New
[Ada] Implement new pragma Prefix_Exception_Messages - - - - --- 2014-10-10 Arnaud Charlet New
[Ada] Implement new pragma Ignore_Pragma - - - - --- 2015-05-12 Arnaud Charlet New
[Ada] Implement new partition-wide restriction No_Long_Long_Integer - - - - --- 2014-07-17 Arnaud Charlet New
[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128 [Ada] Implement new legality rules introduced in C.6(13) by AI12-0128 - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Implement new legality checks specified by AI12-0412 [Ada] Implement new legality checks specified by AI12-0412 - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Implement new attribute Restriction_Set - - - - --- 2013-07-08 Arnaud Charlet New
[Ada] Implement new attribute Library_Level - - - - --- 2013-10-14 Arnaud Charlet New
[Ada] Implement new assertion kind Statement_Assertions - - - - --- 2013-04-23 Arnaud Charlet New
[Ada] Implement new aspects Dynamic_Predicate and Static_Predicate - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Implement new Restriction No_Use_Of_Entity - - - - --- 2015-01-07 Arnaud Charlet New
[Ada] Implement new Expression_With_Actions node - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Implement new Expression_With_Actions node - - - - --- 2010-06-17 Eric Botcazou New
[Ada] Implement new Aspect control restrictions - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Implement new Ada 2012 restriction No_Implementation_Units - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Implement more general predicates - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Implement missing function result finalization. [Ada] Implement missing function result finalization. - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Implement missing constraint checks for default streaming operations [Ada] Implement missing constraint checks for default streaming operations - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Implement machine parsable format for -gnatR output [Ada] Implement machine parsable format for -gnatR output - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Implement legality rules for shared volatile variables - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Implement iterator for multiset containers - - - - --- 2011-12-02 Arnaud Charlet New
[Ada] Implement inheritance for predicates - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Implement fixed-lower-bound consistency checks for qualified_expressions [Ada] Implement fixed-lower-bound consistency checks for qualified_expressions - - - - --- 2021-06-21 Pierre-Marie de Rodat New
[Ada] Implement extended version of -gnatR for record sub-components [Ada] Implement extended version of -gnatR for record sub-components - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Implement extended overflow handling for comparison ops - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Implement extended overflow checks, step 1 - - - - --- 2012-08-06 Arnaud Charlet New
[Ada] Implement expansion of CUDA_Execute pragma [Ada] Implement expansion of CUDA_Execute pragma - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Implement delay of aspects to freeze point - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Implement custom version of -Waggressive-loop-optimizations - - - - --- 2015-06-26 Eric Botcazou New
« 1 2 ... 692 693 694 … 1266 1267 »