Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 292 293 294578 579 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Further work on predicates - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Further work on tags for warning messages - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] Further work on tags for warning messages - - - 0 0 0 2013-01-02 Arnaud Charlet New
[Ada] GNAT driver and externally built library project files - - - 0 0 0 2014-02-19 Arnaud Charlet New
[Ada] GNAT driver command line - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] GNAT driver with a project file and a single main - switches - - - 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] GNAT driver, ASIS tools and switch -files= - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] GNAT.Command_Line.Get_Argument does't expand correctly with custom parser - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] GNAT.Sockets.Null_Selector - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] General handling of potential renamings in SPARK - - - 0 0 0 2016-04-27 Arnaud Charlet New
[Ada] Generalized indexing in Ada2012 - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Generate Alfa cross-references for instantiations of generics - - - 0 0 0 2012-03-30 Arnaud Charlet New
[Ada] Generate Machine, Model and Rounding FP attributes in line - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Generate VC in GNATprove instead of error for empty range check - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Generate optimized code for protected subprograms if no exceptions. - - - 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Generate style warnings for spec - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Generated name of task that is a record component - - - 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Generated tag assignment after object declaration - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Generation of SCOs for aspects - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Generation of external and fully qualified names - - - 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Generation of routine _Postconditions - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Generic_Dispatching_Constructor and multiple interfaces. - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Get gnatls project path from Prj.Env - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Get rid of break_start - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Get rid of compilation warnings in raise-gcc.c - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Get rid of internal use of N_Return_Statement - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Get rid of superfluous access checks - - - 0 0 0 2011-11-20 Arnaud Charlet New
[Ada] Ghost entities - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Ghost legality rules and SPARK_Mode - - - 0 0 0 2014-11-07 Arnaud Charlet New
[Ada] Ghost types, objects and synchronization - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Give better msg for redundant ELSE in IF EXPRESSION - - - 0 0 0 2013-10-15 Arnaud Charlet New
[Ada] Give error if both -gnatR and -gnatc given - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Give error message if duplicate Linker_Section given - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Give full msg for finalize/adjust only if -gnateE. - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Give missing entity messages in -gnatc mode - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Gnatfind crash on references to unknown files - - - 0 0 0 2016-07-04 Arnaud Charlet New
[Ada] Guard against WITH clause on child unit that is an illegal instantiation - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Guard against cascaded error when processing deferred config pragmas - - - 0 0 0 2012-08-06 Arnaud Charlet New
[Ada] HP-UX build failure - PR ada/51307 - - - 0 0 0 2011-12-05 Arnaud Charlet New
[Ada] Handle =>+ notation for Depends pragma/aspect - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Handle First/Last/Range for predicated types - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Handle Soft_Hyphen as non-graphic in Ada 2005 mode - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Handle Str'Last = Positive'Last in Text_IO.Get routines - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Handle VMS RMS keys in file I/O - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Handle WHEN used in place of WITH nicely - - - 0 0 0 2015-02-05 Arnaud Charlet New
[Ada] Handle alignment for controlled objects - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Handle compilation unit specific restrictions for subunits - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Handle constraint error in vector when large index type - - - 0 0 0 2013-10-17 Arnaud Charlet New
[Ada] Handle delay of Pre/Post and inherited Pre'Class - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Handle inherited postconditions (AI05-0145) - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Handle initialization of array aggregate with <> component - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Handle limited line length for enumeration put (AI2012-R036) - - - 0 0 0 2011-10-24 Arnaud Charlet New
[Ada] Handle new inequality errors in Ada 2012 more completely - - - 0 0 0 2014-01-22 Arnaud Charlet New
[Ada] Handle non-default C++ constructor call of non-tagged type - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Handle others better for string aggregates - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Handle range check for float Pre/Succ attributes - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Handle some warning situations with Address aspect - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Handling of (illegal) null record unchecked union - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Handling of -vPx with incorrect x - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Handling of Default_Storage_Pool in generics and instantiations. - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Handling of Invariant aspect on type completions - - - 0 0 0 2012-10-05 Arnaud Charlet New
[Ada] Handling of SPARK aspects/pragmas on subprogram body stubs - - - 0 0 0 2014-02-25 Arnaud Charlet New
[Ada] Handling of all-digits host names - - - 0 0 0 2016-06-20 Arnaud Charlet New
[Ada] Handling of attribute definition clauses for ASIS with GNSA - - - 0 0 0 2016-05-02 Arnaud Charlet New
[Ada] Handling of child instances within a sibling - - - 0 0 0 2010-09-09 Arnaud Charlet New
[Ada] Handling of deferred references with nested prefixed calls - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Handling of function calls to predefined operators in ASIS - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Handling of generalized indexing in ASIS - - - 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Handling of implicit dereference in instantiations - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Handling of implicit dereferences in generic units. - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Handling of library unit renamings in with_clauses - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Handling of null refinements in aspect/pragma Refined_Global - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Handling of object declarations with aggregates and specified alignment. - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Handling of overloaded indexing functions - - - 0 0 0 2015-11-13 Arnaud Charlet New
[Ada] Handling of pragma Preelaborable_Initialization for generic types - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Handling of predicate type errors in generics - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Heap objects constrained by their initial value - - - 0 0 0 2010-06-14 Arnaud Charlet New
[Ada] Help the backend to identify safe-to-reevaluate variables - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Hidden state detection - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Housekeeping work in gigi - - - 0 0 0 2016-01-18 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - 0 0 0 2015-09-14 Eric Botcazou New
[Ada] Housekeeping work in gigi - - - 0 0 0 2015-06-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (29/n) - - - 0 0 0 2010-09-19 Eric Botcazou New
[Ada] Housekeeping work in gigi (30/n) - - - 0 0 0 2010-10-09 Eric Botcazou New
[Ada] Housekeeping work in gigi (31/n) - - - 0 0 0 2011-07-24 Eric Botcazou New
[Ada] Housekeeping work in gigi (32/n) - - - 0 0 0 2011-08-30 Eric Botcazou New
[Ada] Housekeeping work in gigi (33/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (34/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (35/n) - - - 0 0 0 2011-09-11 Eric Botcazou New
[Ada] Housekeeping work in gigi (36/n) - - - 0 0 0 2011-09-25 Eric Botcazou New
[Ada] Housekeeping work in gigi (37/n) - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (38/n) - - - 0 0 0 2011-09-26 Eric Botcazou New
[Ada] Housekeeping work in gigi (39/n) - - - 0 0 0 2011-10-12 Eric Botcazou New
[Ada] Housekeeping work in gigi (40/n) - - - 0 0 0 2011-10-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (41/n) - - - 0 0 0 2011-11-20 Eric Botcazou New
[Ada] Housekeeping work in gigi (bis) - - - 0 0 0 2016-01-18 Eric Botcazou New
[Ada] If-expressions and the capture of local values - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Ignore Optimize_Alignment (Space) for packed variable length record - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Ignore pragmas Inline/Inline_Always in GNATprove mode - - - 0 0 0 2014-10-23 Arnaud Charlet New
« 1 2 ... 292 293 294578 579 »