Show patches with: State = Action Required       |    Archived = No       |   126623 patches
« 1 2 ... 572 573 574 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Housekeeping work in gigi (34/n) - - - - --- 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (35/n) - - - - --- 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (36/n) - - - - --- 2011-09-25 Eric Botcazou New
[Ada] Housekeeping work in gigi (37/n) - - - - --- 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (38/n) - - - - --- 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (39/n) - - - - --- 2011-10-12 Eric Botcazou New
[Ada] Housekeeping work in gigi (40/n) - - - - --- 2011-10-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (41/n) - - - - --- 2011-11-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (bis) - - - - --- 2016-01-18 Eric Botcazou New
[Ada] ICE during unnesting when nested subprograms have address taken [Ada] ICE during unnesting when nested subprograms have address taken - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] ICE handling discriminant-dependent index constraint for access component [Ada] ICE handling discriminant-dependent index constraint for access component - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] If unnesting and relocating subprogram call, make new Parameter_Associations [Ada] If unnesting and relocating subprogram call, make new Parameter_Associations - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] If-expressions and the capture of local values - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Ignore Predicate_Failure in GNATprove mode [Ada] Ignore Predicate_Failure in GNATprove mode - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Ignore again errors when running gen_il-main [Ada] Ignore again errors when running gen_il-main - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Ignore both Global and Refined_Global in CodePeer mode [Ada] Ignore both Global and Refined_Global in CodePeer mode - - - - --- 2017-09-12 Arnaud Charlet New
[Ada] Ignore container types for aggregates if not in Ada_2020 [Ada] Ignore container types for aggregates if not in Ada_2020 - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Ignore exceptions in task termination handlers [Ada] Ignore exceptions in task termination handlers - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Ignore external calls from instances for elaboration [Ada] Ignore external calls from instances for elaboration - - - - --- 2017-12-15 Pierre-Marie de Rodat New
[Ada] Ignore file and unit names when collecting SPARK cross-references [Ada] Ignore file and unit names when collecting SPARK cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Ignore missing ALI files in GNATprove mode [Ada] Ignore missing ALI files in GNATprove mode - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode [Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove mode - - - - --- 2018-10-09 Pierre-Marie de Rodat New
[Ada] Ignore pragmas Inline/Inline_Always in GNATprove mode - - - - --- 2014-10-23 Arnaud Charlet New
[Ada] Ignore pragmas when looking for unreachable code - - - - --- 2012-04-26 Arnaud Charlet New
[Ada] Ignore references to renamed Standard constants in Alfa mode - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Ignore subprogram address in ownership checking [Ada] Ignore subprogram address in ownership checking - - - - --- 2019-08-21 Pierre-Marie de Rodat New
[Ada] Ignore switches for controlling frontend warnings in GNATprove mode [Ada] Ignore switches for controlling frontend warnings in GNATprove mode - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Ignore volatile restrictions in preanalysis [Ada] Ignore volatile restrictions in preanalysis - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Ignore_Pragma causes errors in the run-time system - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Illegal call on abstract operator - - - - --- 2011-12-12 Arnaud Charlet New
[Ada] Illegal calls in entry call alternatives - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Illegal component clause for inherited component in extension - - - - --- 2013-01-03 Arnaud Charlet New
[Ada] Illegal constituent in state refinement - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Illegal copy of limited object [Ada] Illegal copy of limited object - - - - --- 2018-05-31 Pierre-Marie de Rodat New
[Ada] Illegal declarations of deferred constants - - - - --- 2014-10-23 Arnaud Charlet New
[Ada] Illegal deferred constant causes stack overflow [Ada] Illegal deferred constant causes stack overflow - - - - --- 2018-07-16 Pierre-Marie de Rodat New
[Ada] Illegal external aspects not detected - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Illegal formal objects associated with anonymous acc-to-subp args [Ada] Illegal formal objects associated with anonymous acc-to-subp args - - - - --- 2018-09-26 Pierre-Marie de Rodat New
[Ada] Illegal forward reference in pragma Postcondition - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Illegal iterators over arrays - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Illegal limited function call accepted in a type conversion [Ada] Illegal limited function call accepted in a type conversion - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Illegal overriding indicators not flagged for procedure named Initialize - - - - --- 2016-10-12 Arnaud Charlet New
[Ada] Illegal prefix in array attributes - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - - --- 2012-01-24 Arnaud Charlet New
[Ada] Illegal program not detected, self renames, PR15846 - - - - --- 2012-01-11 coopht@gmail.com New
[Ada] Illegal program not detected, self renames, PR15846 - - - - --- 2012-01-11 coopht@gmail.com New
[Ada] Illegal protected calls in inherited pre/postconditions [Ada] Illegal protected calls in inherited pre/postconditions - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Illegal renaming of conditional expression - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Illegal selected components of types derived from private types - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Illegal selection of first object in a task type's body not detected [Ada] Illegal selection of first object in a task type's body not detected - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Illegal tagged completion of private type with discriminant and default - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Illegal use of SPARK volatile object not detected - - - - --- 2014-02-25 Arnaud Charlet New
[Ada] Illegal use of current instance in attribute reference - - - - --- 2016-04-20 Arnaud Charlet New
[Ada] Illegal use of type name in a context where it is not a current instance. - - - - --- 2016-04-19 Arnaud Charlet New
[Ada] Imaging of arbitrary precision integers - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Immutably limited types - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Implement -gnat-p switch (cancel previous -gnatp) - - - - --- 2010-06-16 Arnaud Charlet New
[Ada] Implement -gnatd.k to suppress internal line numbers - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Implement -gnateb switch [Ada] Implement -gnateb switch - - - - --- 2020-11-30 Pierre-Marie de Rodat New
[Ada] Implement -gnatyC for one space after -- in comments - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Implement AI05-0086-1 (consider null exclusion for static matching) - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Implement AI05-0151 (incomplete types in profiles) in gigi - - - - --- 2016-04-27 Eric Botcazou New
[Ada] Implement AI05-117 (memory barriers and volatile objects) - - - - --- 2011-11-10 Eric Botcazou New
[Ada] Implement AI12-0022 (raise expression) - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Implement AI12-0028: Import of variadic C functions [Ada] Implement AI12-0028: Import of variadic C functions - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Implement AI12-0030: Stream attribute availability [Ada] Implement AI12-0030: Stream attribute availability - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Implement AI12-0032 fixes for 'Old attribute accessibility [Ada] Implement AI12-0032 fixes for 'Old attribute accessibility - - - - --- 2020-06-18 Pierre-Marie de Rodat New
[Ada] Implement AI12-0036 (a new legality check for instantiations) [Ada] Implement AI12-0036 (a new legality check for instantiations) - - - - --- 2019-12-12 Pierre-Marie de Rodat New
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers) [Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement AI12-0077 Has_Same_Storage on objects of size zero [Ada] Implement AI12-0077 Has_Same_Storage on objects of size zero - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] Implement AI12-0086's rules for discriminants in aggregates [Ada] Implement AI12-0086's rules for discriminants in aggregates - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Implement AI12-0101 [Ada] Implement AI12-0101 - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Implement AI12-0109 (prohibit some "early" derivations) [Ada] Implement AI12-0109 (prohibit some "early" derivations) - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Implement AI12-0162 Memberships and Unchecked_Unions [Ada] Implement AI12-0162 Memberships and Unchecked_Unions - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Implement AI12-0175 Preelaborable packages with address clauses [Ada] Implement AI12-0175 Preelaborable packages with address clauses - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Implement AI12-0216 on restricting overlap errors in calls [Ada] Implement AI12-0216 on restricting overlap errors in calls - - - - --- 2020-06-16 Pierre-Marie de Rodat New
[Ada] Implement AI12-0269 No_Return for functions [Ada] Implement AI12-0269 No_Return for functions - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Implement AI12-0275 (Make subtype_mark optional in object renamings) [Ada] Implement AI12-0275 (Make subtype_mark optional in object renamings) - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Implement AI12-0280's interactions with container aggregates [Ada] Implement AI12-0280's interactions with container aggregates - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Implement AI12-0290 (Simple_Barriers restriction) [Ada] Implement AI12-0290 (Simple_Barriers restriction) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement AI12-0291 (Jorvik profile) [Ada] Implement AI12-0291 (Jorvik profile) - - - - --- 2020-06-08 Pierre-Marie de Rodat New
[Ada] Implement AI12-0351 Matching for actuals for formal derived types [Ada] Implement AI12-0351 Matching for actuals for formal derived types - - - - --- 2020-06-16 Pierre-Marie de Rodat New
[Ada] Implement AI12-0369 [Ada] Implement AI12-0369 - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Implement AI12-0398-1/03 [Ada] Implement AI12-0398-1/03 - - - - --- 2020-12-14 Pierre-Marie de Rodat New
[Ada] Implement AI95-0133 in Ada 95 (and Ada 83) mode - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Implement Ada 2012 AI-0177 Parametrized Expressions - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Implement Ada 2012 Assertion_Policy pragma - - - - --- 2013-04-12 Arnaud Charlet New
[Ada] Implement Ada 2012 attributes First_Valid and Last_Valid - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Implement Ada.Strings.UTF_Encoding - - - - --- 2010-06-23 Arnaud Charlet New
[Ada] Implement Atomic_Synchronization pragmas - - - - --- 2011-10-24 Arnaud Charlet New
[Ada] Implement Big_Integer.From_String fully [Ada] Implement Big_Integer.From_String fully - - - - --- 2020-11-24 Pierre-Marie de Rodat New
[Ada] Implement CUDA_Device [Ada] Implement CUDA_Device - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Implement Disable policy for Check/Debug_Policy - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Implement Ekind_In in compiler - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Implement GNAT.Graphs [Ada] Implement GNAT.Graphs - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Implement Ghost entities - - - - --- 2015-05-26 Arnaud Charlet New
[Ada] Implement Ghost entities - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Implement In Out and Out parameters for functions - - - - --- 2010-10-25 Eric Botcazou New
« 1 2 ... 572 573 574 … 1266 1267 »