Show patches with: State = Action Required       |    Archived = No       |   126645 patches
« 1 2 ... 588 589 590 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Remove Unknown_ functions [Ada] Remove Unknown_ functions - - - - --- 2021-07-08 Pierre-Marie de Rodat New
[Ada] Remove VMS handling in most tools - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Remove VMS specific files - - - - --- 2014-07-31 Arnaud Charlet New
[Ada] Remove VMS specific routine that is no longer referenced [Ada] Remove VMS specific routine that is no longer referenced - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Remove Valop from the Repinfo unit [Ada] Remove Valop from the Repinfo unit - - - - --- 2018-05-28 Pierre-Marie de Rodat New
[Ada] Remove a SPARK rule about implicit Global [Ada] Remove a SPARK rule about implicit Global - - - - --- 2019-07-01 Pierre-Marie de Rodat New
[Ada] Remove a dubious optimization for Object Specific Data dispatching [Ada] Remove a dubious optimization for Object Specific Data dispatching - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Remove a locally handled exception [Ada] Remove a locally handled exception - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove a no-longer-correct comment [Ada] Remove a no-longer-correct comment - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Remove a special case for forking-for-expect from ordinary spawn [Ada] Remove a special case for forking-for-expect from ordinary spawn - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Remove all ^L characters [Ada] Remove all ^L characters - - - - --- 2020-11-30 Pierre-Marie de Rodat New
[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK [Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Remove an unnecessary local constant [Ada] Remove an unnecessary local constant - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Remove arbitrary and redundant qualification with Sinfo [Ada] Remove arbitrary and redundant qualification with Sinfo - - - - --- 2021-05-04 Pierre-Marie de Rodat New
[Ada] Remove bypass for instance bodies from Is_Visible_Component [Ada] Remove bypass for instance bodies from Is_Visible_Component - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Remove call to expand_decl - - - - --- 2012-05-21 Michael Matz New
[Ada] Remove call to unshare_expr from gigi - - - - --- 2012-03-07 Eric Botcazou New
[Ada] Remove code duplication in Scn and Sinput.P - - - - --- 2012-02-08 Arnaud Charlet New
[Ada] Remove code to emulate RM D.2.3(5/2) semantics on Windows - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Remove comment about a long gone formal verification mode [Ada] Remove comment about a long gone formal verification mode - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove commented code [Ada] Remove commented code - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Remove confusing warning on type export [Ada] Remove confusing warning on type export - - - - --- 2021-05-03 Pierre-Marie de Rodat New
[Ada] Remove const qualifier on a couple of pointed-to types [Ada] Remove const qualifier on a couple of pointed-to types - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Remove contract duplication in formal doubly linked lists [Ada] Remove contract duplication in formal doubly linked lists - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Remove couple of left-overs in build machinery - - - - --- 2013-01-10 Eric Botcazou New
[Ada] Remove couple of recently added dead tests [Ada] Remove couple of recently added dead tests - - - - --- 2018-11-14 Pierre-Marie de Rodat New
[Ada] Remove dead and duplicated diagnostics for generic access types [Ada] Remove dead and duplicated diagnostics for generic access types - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Remove dead check in collecting SPARK cross-references [Ada] Remove dead check in collecting SPARK cross-references - - - - --- 2017-11-08 Pierre-Marie de Rodat New
[Ada] Remove dead code for detecting hidden package state [Ada] Remove dead code for detecting hidden package state - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Remove dead code for overlapping actuals and prefix notation [Ada] Remove dead code for overlapping actuals and prefix notation - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Remove dead code for overlapping actuals in prefix notation [Ada] Remove dead code for overlapping actuals in prefix notation - - - - --- 2021-06-18 Pierre-Marie de Rodat New
[Ada] Remove dead code for scope entity having E_Subprogram_Body kind [Ada] Remove dead code for scope entity having E_Subprogram_Body kind - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Remove dead code from Enclosing_Package_Or_Subprogram routine [Ada] Remove dead code from Enclosing_Package_Or_Subprogram routine - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Remove dead code in elaborate_entity - - - - --- 2013-01-07 Eric Botcazou New
[Ada] Remove dead code in elaborate_entity - - - - --- 2013-01-06 Eric Botcazou New
[Ada] Remove deferred freezing of subprograms in Freeze_Entity - - - - --- 2016-06-06 Eric Botcazou New
[Ada] Remove degenerate Treat_Fixed_As_Integer mechanism [Ada] Remove degenerate Treat_Fixed_As_Integer mechanism - - - - --- 2020-06-02 Pierre-Marie de Rodat New
[Ada] Remove dependency on To_C/To_Ada [Ada] Remove dependency on To_C/To_Ada - - - - --- 2019-09-26 Arnaud Charlet New
[Ada] Remove dependency on Win32 GDI (Graphical Interface) [Ada] Remove dependency on Win32 GDI (Graphical Interface) - - - - --- 2019-07-08 Pierre-Marie de Rodat New
[Ada] Remove detection of entities in the ALFA subset for formal verification - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Remove disabled code [Ada] Remove disabled code - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Remove doc for language version switches [Ada] Remove doc for language version switches - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Remove double initialization of interpretation tables [Ada] Remove double initialization of interpretation tables - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Remove double initialization of the known value cache [Ada] Remove double initialization of the known value cache - - - - --- 2020-12-14 Pierre-Marie de Rodat New
[Ada] Remove doubly-negated tests for empty lists [Ada] Remove doubly-negated tests for empty lists - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove dubious wrapper of a recursive function [Ada] Remove dubious wrapper of a recursive function - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Remove duplicate in Makefile.in - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Remove duplicated Has_Null_Abstract_State routines [Ada] Remove duplicated Has_Null_Abstract_State routines - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Remove duplicated calls to Set_Entity [Ada] Remove duplicated calls to Set_Entity - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Remove duplicated code for detecting enabled pragmas [Ada] Remove duplicated code for detecting enabled pragmas - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Remove duplicated condition in warnings about read-before-write [Ada] Remove duplicated condition in warnings about read-before-write - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Remove duplicated detection of user-defined equality [Ada] Remove duplicated detection of user-defined equality - - - - --- 2022-05-16 Pierre-Marie de Rodat New
[Ada] Remove duplicated routines for getting homonym number [Ada] Remove duplicated routines for getting homonym number - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Remove duplicated units - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Remove duplicates of empty strings [Ada] Remove duplicates of empty strings - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Remove exception propagation during bootstrap [Ada] Remove exception propagation during bootstrap - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove excessive conditions in iterations across components [Ada] Remove excessive conditions in iterations across components - - - - --- 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove excessive defensive calls to Is_Type [Ada] Remove excessive defensive calls to Is_Type - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Remove excessive guard in detection of access-to-variable objects [Ada] Remove excessive guard in detection of access-to-variable objects - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Remove excessive guards against inserting empty lists of actions [Ada] Remove excessive guards against inserting empty lists of actions - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Remove excessive guards in building predicate functions [Ada] Remove excessive guards in building predicate functions - - - - --- 2020-10-19 Pierre-Marie de Rodat New
[Ada] Remove excessive validity checks on in-parameters [Ada] Remove excessive validity checks on in-parameters - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Remove explicit "in" in internal parameter association [Ada] Remove explicit "in" in internal parameter association - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove explicit call to Make_Unchecked_Type_Conversion [Ada] Remove explicit call to Make_Unchecked_Type_Conversion - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Remove explicit expansion of block with general case statement [Ada] Remove explicit expansion of block with general case statement - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove extra checks for non-static context from resolving 'Update [Ada] Remove extra checks for non-static context from resolving 'Update - - - - --- 2020-07-07 Pierre-Marie de Rodat New
[Ada] Remove extra space after assignment symbol [Ada] Remove extra space after assignment symbol - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Remove extra space around binary operators [Ada] Remove extra space around binary operators - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Remove extra space before THEN keywords [Ada] Remove extra space before THEN keywords - - - - --- 2022-01-07 Pierre-Marie de Rodat New
[Ada] Remove extra space in parameter associations [Ada] Remove extra space in parameter associations - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove extra space in single object declarations [Ada] Remove extra space in single object declarations - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove extra validity check in case statement [Ada] Remove extra validity check in case statement - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Remove extra whitespace in declarations and parameters lists [Ada] Remove extra whitespace in declarations and parameters lists - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Remove false positive for infinite loop warning - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded [Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded - - - - --- 2021-09-23 Pierre-Marie de Rodat New
[Ada] Remove global variable Root_Environment from Project Manager - - - - --- 2014-06-13 Arnaud Charlet New
[Ada] Remove gnatfind and gnatxref [Ada] Remove gnatfind and gnatxref - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Remove hack for Win95 which is not needed anymore - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Remove hard-coded clock ids - - - - --- 2011-11-23 Arnaud Charlet New
[Ada] Remove hardcoded magic constants in tasking-related expansion - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Remove hardcoded pragma Warnings from the formal vectors library [Ada] Remove hardcoded pragma Warnings from the formal vectors library - - - - --- 2021-05-06 Pierre-Marie de Rodat New
[Ada] Remove high level optimizer framework - - - - --- 2012-03-19 Arnaud Charlet New
[Ada] Remove if_expression [Ada] Remove if_expression - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Remove inappropriate test from Is_By_Reference_Type [Ada] Remove inappropriate test from Is_By_Reference_Type - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Remove inconsistent colons in messages for Ada 83 violations [Ada] Remove inconsistent colons in messages for Ada 83 violations - - - - --- 2020-12-16 Pierre-Marie de Rodat New
[Ada] Remove internal debug flags -gnatd.X/-gnatd.Y - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Remove junk overflow check on MOD/REM/unary "+" - - - - --- 2012-12-05 Arnaud Charlet New
[Ada] Remove kludge for AI05-0087 [Ada] Remove kludge for AI05-0087 - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Remove kludge for validity checks on Long_Float type [Ada] Remove kludge for validity checks on Long_Float type - - - - --- 2022-07-05 Pierre-Marie de Rodat New
[Ada] Remove leading and trailing spaces in error messages [Ada] Remove leading and trailing spaces in error messages - - - - --- 2021-05-03 Pierre-Marie de Rodat New
[Ada] Remove left-overs of Unaligned_Valid attribute [Ada] Remove left-overs of Unaligned_Valid attribute - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Remove linear search in Pragma_to_gnu - - - - --- 2015-10-02 Eric Botcazou New
[Ada] Remove misleading warning/suggestion in membership test [Ada] Remove misleading warning/suggestion in membership test - - - - --- 2019-07-22 Pierre-Marie de Rodat New
[Ada] Remove more cases of empty loops [Ada] Remove more cases of empty loops - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Remove more redundant checks in loops - - - - --- 2015-11-18 Eric Botcazou New
[Ada] Remove name constant used by GNATprove but not by GNAT [Ada] Remove name constant used by GNATprove but not by GNAT - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Remove new problematic condition for LLVM [Ada] Remove new problematic condition for LLVM - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Remove new strict-alignment check added by AI12-0001 [Ada] Remove new strict-alignment check added by AI12-0001 - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Remove no longer referenced GNATprove utility routine for itypes [Ada] Remove no longer referenced GNATprove utility routine for itypes - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Remove non-ASCII character [Ada] Remove non-ASCII character - - - - --- 2020-10-16 Pierre-Marie de Rodat New
« 1 2 ... 588 589 590 … 1266 1267 »