Show patches with: State = Action Required       |    Archived = No       |   126616 patches
« 1 2 ... 723 724 725 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Ada_2020: shared variable control aspects on formal derived types [Ada] Ada_2020: shared variable control aspects on formal derived types - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Ada_2020: ongoing work for aggregates for bounded containers [Ada] Ada_2020: ongoing work for aggregates for bounded containers - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Ada_2020: contracts for formal subprograms [Ada] Ada_2020: contracts for formal subprograms - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Ada_2020: Implement Key_Expression for named container aggregates [Ada] Ada_2020: Implement Key_Expression for named container aggregates - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Ada_2020: Further code cleanup for container aggregates [Ada] Ada_2020: Further code cleanup for container aggregates - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Ada_2020: Add aspect Aggregate to standard container units [Ada] Ada_2020: Add aspect Aggregate to standard container units - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Ada_2020 AI12-0250: Iterator filters in Iterated_Element_Assocations [Ada] Ada_2020 AI12-0250: Iterator filters in Iterated_Element_Assocations - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Ada_2020 AI12-0250 : Implement Iterator filters. [Ada] Ada_2020 AI12-0250 : Implement Iterator filters. - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram types [Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram types - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_To_Subprogram types [Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_To_Subprogram types - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Ada2022: implementation of AI12-0212 : iterator specs in array aggregates [Ada] Ada2022: implementation of AI12-0212 : iterator specs in array aggregates - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Ada2020: wording of 'Image messages [Ada] Ada2020: wording of 'Image messages - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Ada2020: update Big_Numbers.* specs [Ada] Ada2020: update Big_Numbers.* specs - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Ada2020: parsing of qualified exprs with new agg syntax [Ada] Ada2020: parsing of qualified exprs with new agg syntax - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Ada2020: matching parentheses and brackets [Ada] Ada2020: matching parentheses and brackets - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Ada2020: Reduction expressions [Ada] Ada2020: Reduction expressions - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0368 Declare expressions can be static [Ada] Ada2020: AI12-0368 Declare expressions can be static - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types [Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def types - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0301 Predicates and Default_Value [Ada] Ada2020: AI12-0301 Predicates and Default_Value - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0289 Implicitly null excluding anon access [Ada] Ada2020: AI12-0289 Implicitly null excluding anon access - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0279 more dispatching points with aspect Yield [Ada] Ada2020: AI12-0279 more dispatching points with aspect Yield - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays - - - - --- 2020-07-07 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays [Ada] Ada2020: AI12-0198 potentially unevaluated components of arrays - - - - --- 2020-07-07 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0198 potentially unevaluated array components [Ada] Ada2020: AI12-0198 potentially unevaluated array components - - - - --- 2020-07-06 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditions [Ada] Ada2020: AI12-0195 overriding class-wide pre/post conditions - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0180 Using subprograms and entries in invariants [Ada] Ada2020: AI12-0180 Using subprograms and entries in invariants - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0129 Make protected objects more protecting [Ada] Ada2020: AI12-0129 Make protected objects more protecting - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU [Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0107 convention of By_Protected_Procedure [Ada] Ada2020: AI12-0107 convention of By_Protected_Procedure - - - - --- 2020-07-16 Pierre-Marie de Rodat New
[Ada] Ada2020: AI12-0027 Access values and unaliased component [Ada] Ada2020: AI12-0027 Access values and unaliased component - - - - --- 2020-07-23 Arnaud Charlet New
[Ada] Ada2020: AI12-0003 Specifying the standard storage pool [Ada] Ada2020: AI12-0003 Specifying the standard storage pool - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Ada2020 feature: partial aggregate notation (Delta aggregates). - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics [Ada] Ada2020 AI12-0282: Shared variable control aspects in generics - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics [Ada] Ada2020 AI12-0282: Shared variable control aspects in generics - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Ada2012: detecting dangerous order dependences - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Ada2012-A179 labels at end of a sequence_of_statements - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Ada2012-A162 incomplete type completed by partial view - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Ada2012-A111 specifying a pool on an allocator - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Ada2012 iterators over containers given by a function call - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Ada2012 iterator forms - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Ada2012 freeze rules for subprogram profiles - - - - --- 2014-10-10 Arnaud Charlet New
[Ada] Ada2012 : incomplete types can be used in more contexts - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Ada/C++ missing call to constructor with defaults - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Ada/C++ missing call to constructor with defaults - - - - --- 2012-10-03 Arnaud Charlet New
[Ada] Ada/C++ missing call to allocation of C++ object with defaults - - - - --- 2012-10-03 Arnaud Charlet New
[Ada] Ada.[Wide_]Wide_Characters.Handling should be Pure - - - - --- 2012-01-06 Arnaud Charlet New
[Ada] Ada.Strings.Unbounded.Aux.Set_String [Ada] Ada.Strings.Unbounded.Aux.Set_String - - - - --- 2021-05-03 Pierre-Marie de Rodat New
[Ada] Ada.Streams.Stream_IO is preelaborated - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Ada.Real_Time not properly initialized on Windows - - - - --- 2010-06-23 Arnaud Charlet New
[Ada] Ada.Numerics.Big_Numbers.Big_Reals.To_Big_Real looses precision [Ada] Ada.Numerics.Big_Numbers.Big_Reals.To_Big_Real looses precision - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C Math Library [Ada] Ada.Numerics.Aux.*: Mention more Intrinsic and less C Math Library - - - - --- 2022-05-18 Pierre-Marie de Rodat New
[Ada] Ada ABI change when building with assertions [Ada] Ada ABI change when building with assertions - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Ada 202x AI12-0192 "requires late initialization" [Ada] Ada 202x AI12-0192 "requires late initialization" - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172) [Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172) - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Ada 2020 AI12-0401: Renaming of qualified expression of variable [Ada] Ada 2020 AI12-0401: Renaming of qualified expression of variable - - - - --- 2021-04-29 Pierre-Marie de Rodat New
[Ada] Ada 2020 AI12-0401 Renaming of qualified expression of variable [Ada] Ada 2020 AI12-0401 Renaming of qualified expression of variable - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Ada 2012: Rule on function writable actuals (AI05-0144-2) - - - - --- 2013-01-29 Arnaud Charlet New
[Ada] Ada 2012: Derived types and partial views - - - - --- 2011-12-02 Arnaud Charlet New
[Ada] Ada 2012: Class-wide operations for formal subprograms - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Ada 2012: AI05-0296, formal incomplete types. - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Ada 2012 type invariants on type completions - - - - --- 2011-12-21 Arnaud Charlet New
[Ada] Ada 2012 predicate checks on (in-) out parameters - - - - --- 2013-04-22 Arnaud Charlet New
[Ada] Ada 2012 packages Ada.Wide_[Wide_]Characters.Handling - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Ada 2012 legality checks on uses of names of protected procedures - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 invariant checks on subcomponents - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 invariant checks on access values and components - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Ada 2012 containers - - - - --- 2011-12-22 Arnaud Charlet New
[Ada] Ada 2012 aspect Synchronization - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Ada 2012 anonymous access conversions and membership tests - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Ada 2012 accessibility of anonymous access stand-alone objects - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Ada 2012 accessibility checking - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Ada 2012 accessibility checking - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Ada 2012 accessibility checking - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Ada 2012 Legality check on requeue statements - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 AIo5-014: no null exclusion on allocator with subtype indication - - - - --- 2012-12-05 Arnaud Charlet New
[Ada] Ada 2012 AI05-288: conformance for formal access-to-subprogram types - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Ada 2012 AI05-0163-1/01 Pragmas in place of null - - - - --- 2010-10-05 Arnaud Charlet New
[Ada] Ada 2012 AI-0113 Detection of conflicting external tags - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Ada 2012 AI-0113 Detection of conflicting external tags - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Actuals that are function calls returning unconstrained limited types - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Actual for a formal derived non-limited type - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Activation/suppression of SPARK elaboration rules [Ada] Activation/suppression of SPARK elaboration rules - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Action callback gets the project with sources - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Accidental overlodading in an instance - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Accessibility violation flagged on anonymous access component [Ada] Accessibility violation flagged on anonymous access component - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Accessibility violated when selecting access component from function call - - - - --- 2010-06-18 Arnaud Charlet New
[Ada] Accessibility fix [Ada] Accessibility fix - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Accessibility checks and profile Ravenscar - - - - --- 2013-07-08 Arnaud Charlet New
[Ada] Access types that designate limited views of types with tasks. - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Access to uninitialized memory by predicate check [Ada] Access to uninitialized memory by predicate check - - - - --- 2019-07-09 Pierre-Marie de Rodat New
[Ada] Access to protected subprograms in generic bodies - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Access subprogram definitions as return types of access to subprograms - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Access all type not considered access-to-object in generic - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Accept volatile properties on constant objects [Ada] Accept volatile properties on constant objects - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Accept volatile expressions as non-scalar actual parameters [Ada] Accept volatile expressions as non-scalar actual parameters - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Accept square brackets for expression functions [Ada] Accept square brackets for expression functions - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Accept size for record with oversized component clause [Ada] Accept size for record with oversized component clause - - - - --- 2019-10-11 Eric Botcazou New
[Ada] Accept renamings of folded string aggregates [Ada] Accept renamings of folded string aggregates - - - - --- 2020-06-16 Pierre-Marie de Rodat New
[Ada] Accept raise expressions as operands of boolean operators [Ada] Accept raise expressions as operands of boolean operators - - - - --- 2022-05-12 Pierre-Marie de Rodat New
« 1 2 ... 723 724 725 … 1266 1267 »