Show patches with: Submitter = Arnaud Charlet       |    State = Action Required       |    Archived = No       |   2468 patches
« 1 2 3 424 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
-fdump-ada-spec: misc small fixes - - - - --- 2012-08-23 Arnaud Charlet New
Add extra location information - PR43486 - - - - --- 2012-09-18 Arnaud Charlet New
Add extra location information - PR43486 - - - - --- 2012-09-18 Arnaud Charlet New
Fix -fdump-ada-spec - - - - --- 2012-10-04 Arnaud Charlet New
Fix cygwin ada install [was Re: Yet another issue with gcc current trunk with ada on cygwin] - - - - --- 2012-05-02 Arnaud Charlet New
PATCH: fix -fdump-ada-spec after PR debug/51410 - - - - --- 2012-01-06 Arnaud Charlet New
PR ada/54040: [x32] Incorrect timeval and timespec - - - - --- 2013-11-18 Arnaud Charlet New
PR ada/54040: [x32] Incorrect timeval and timespec - - - - --- 2013-11-15 Arnaud Charlet New
PR ada/54845 - - - - --- 2012-10-10 Arnaud Charlet New
RFC: [build, ada] Centralize PICFLAG configuration - - - - --- 2011-08-16 Arnaud Charlet New
[Ada] 'Switches (others) not recognized as a valid attribute reference - - - - --- 2010-08-10 Arnaud Charlet New
[Ada] 'Type_Key on subtypes and derived types - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] 'Version and 'Body_Version in Stand-Alone Libraries - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] 'use all type' syntax error - - - - --- 2014-01-20 Arnaud Charlet New
[Ada] --RTS= specified several times for same runtime directory - - - - --- 2015-02-20 Arnaud Charlet New
[Ada] --version and --help in usage of GNAT tools - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] -gnatwA should suppress mod warning - - - - --- 2012-02-08 Arnaud Charlet New
[Ada] 2012 rule on aliasing - - - - --- 2013-01-03 Arnaud Charlet New
[Ada] 2012 rule on aliasing - - - - --- 2013-01-03 Arnaud Charlet New
[Ada] : Remove __gl_zero_cost_exceptions in the binder generated file - - - - --- 2012-10-04 Arnaud Charlet New
[Ada] <exception> will be raised at run time, not "at run-time" - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] A dispatching call cannot have a stdcall calling convention - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] A prefixed view of a subprogram has convention Intrinsic - - - - --- 2013-01-02 Arnaud Charlet New
[Ada] A static predicate can be specified by a Case expression. - - - - --- 2014-07-16 Arnaud Charlet New
[Ada] AI05-0020 : universal operators of fixed point and access types - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] AI05-0069 : Holder container - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] AI05-0115: aggregates with invisible components. - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] AI05-0197: Dispatching with multiple inherited operations - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] ALI format and internal tables for ALFA information - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] ALI lines for with'ed units should be complete in Alfa mode - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Ability to build the GNAT runtime with project files [Ada] Ability to build the GNAT runtime with project files - - - - --- 2020-05-30 Arnaud Charlet New
[Ada] Ability to compute range of floating-point expression for analyzers - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Abort in front end client due to locked scope table - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Abort while processing "of" container loop - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Abstract view of a package - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Abstract views of states and variables - - - - --- 2014-01-20 Arnaud Charlet New
[Ada] Abstrct null extensions - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Accept a constituent in a null dependency clause - - - - --- 2014-02-19 Arnaud Charlet New
[Ada] Access all type not considered access-to-object in generic - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Access subprogram definitions as return types of access to subprograms - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Access to protected subprograms in generic bodies - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Access types that designate limited views of types with tasks. - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Accessibility checks and profile Ravenscar - - - - --- 2013-07-08 Arnaud Charlet New
[Ada] Accessibility violated when selecting access component from function call - - - - --- 2010-06-18 Arnaud Charlet New
[Ada] Accidental overlodading in an instance - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Action callback gets the project with sources - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Actual for a formal derived non-limited type - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Actuals that are function calls returning unconstrained limited types - - - - --- 2011-09-02 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] Ada 2012 AI05-0163-1/01 Pragmas in place of null - - - - --- 2010-10-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 AIo5-014: no null exclusion on allocator with subtype indication - - - - --- 2012-12-05 Arnaud Charlet New
[Ada] Ada 2012 Legality check on requeue statements - - - - --- 2012-10-01 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 accessibility of anonymous access stand-alone objects - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Ada 2012 anonymous access conversions and membership tests - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Ada 2012 aspect Synchronization - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Ada 2012 containers - - - - --- 2011-12-22 Arnaud Charlet New
[Ada] Ada 2012 invariant checks on access values and components - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Ada 2012 invariant checks on subcomponents - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 legality checks on uses of names of protected procedures - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 packages Ada.Wide_[Wide_]Characters.Handling - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Ada 2012 predicate checks on (in-) out parameters - - - - --- 2013-04-22 Arnaud Charlet New
[Ada] Ada 2012 type invariants on type completions - - - - --- 2011-12-21 Arnaud Charlet New
[Ada] Ada 2012: AI05-0296, formal incomplete types. - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Ada 2012: Class-wide operations for formal subprograms - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Ada 2012: Derived types and partial views - - - - --- 2011-12-02 Arnaud Charlet New
[Ada] Ada 2012: Rule on function writable actuals (AI05-0144-2) - - - - --- 2013-01-29 Arnaud Charlet New
[Ada] Ada.Real_Time not properly initialized on Windows - - - - --- 2010-06-23 Arnaud Charlet New
[Ada] Ada.Streams.Stream_IO is preelaborated - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Ada.[Wide_]Wide_Characters.Handling should be Pure - - - - --- 2012-01-06 Arnaud Charlet New
[Ada] Ada/C++ missing call to allocation of C++ object with defaults - - - - --- 2012-10-03 Arnaud Charlet New
[Ada] Ada/C++ missing call to constructor with defaults - - - - --- 2012-10-03 Arnaud Charlet New
[Ada] Ada/C++ missing call to constructor with defaults - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Ada2012 : incomplete types can be used in more contexts - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Ada2012 freeze rules for subprogram profiles - - - - --- 2014-10-10 Arnaud Charlet New
[Ada] Ada2012 iterator forms - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Ada2012 iterators over containers given by a function call - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Ada2012-A111 specifying a pool on an allocator - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Ada2012-A162 incomplete type completed by partial view - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Ada2012-A179 labels at end of a sequence_of_statements - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Ada2012: detecting dangerous order dependences - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Ada2020 feature: partial aggregate notation (Delta aggregates). - - - - --- 2017-01-23 Arnaud Charlet 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] Adapt SPARK restriction to follow modification of SPARK LRM - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Adapt detection of errors to gnat2why changes of Warning_Mode - - - - --- 2017-01-12 Arnaud Charlet New
[Ada] Adapt treatment of inherited classwide pre/post to GNATprove - - - - --- 2016-06-20 Arnaud Charlet New
[Ada] Add Float_Rep attribute for floating point entities - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Add Flush to Sequential_IO and Direct_IO. - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Add For_Each and Sort_Table procedures to GNAT.Table - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Add GNAT-specific Test_Case aspect and pragma for unit verification - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Add GNAT_Ravenscar_EDF profile - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Add Generic_Sort operation to standard library - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Add Reason argument to pragma Warnings - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Add To_Lower_Case function to Unicode packages - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Add VMS qualifiers for -gnatn1/2 switches. - - - - --- 2012-07-12 Arnaud Charlet New
[Ada] Add a link between body and spec scopes in ALFA section of ALI file - - - - --- 2011-08-03 Arnaud Charlet New
« 1 2 3 424 25 »