Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 289 290 291573 574 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Forbid the use of aspect/pragma SPARK_Mode in generics - - - 0 0 0 2014-02-06 Arnaud Charlet New
[Ada] Force instantiation of subprogram body in SPARK mode - - - 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Free debug flags used for GNATprove mode - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Free memory used for computing checksum (gnatmake -m) - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Freeze node for nested generic instantiations - - - 0 0 0 2011-12-20 Arnaud Charlet New
[Ada] Freezing a subprogram does not always freeze its profile - - - 0 0 0 2016-04-21 Arnaud Charlet New
[Ada] Freezing actions for object renaming declarations - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Freezing and Ada2012 expression functions - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Freezing issues with expression functions - - - 0 0 0 2014-10-23 Arnaud Charlet New
[Ada] Freezing nodes placement fixed with quantified expression inside an expression function. - - - 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Freezing of contracts, Part_Of and current instance of a concurrent type - - - 0 0 0 2015-11-18 Arnaud Charlet New
[Ada] Freezing of nested generic instantiations - - - 0 0 0 2012-01-30 Arnaud Charlet New
[Ada] Freezing of non null subtypes of formal parameters - - - 0 0 0 2012-04-26 Arnaud Charlet New
[Ada] Freezing rules and expression functions - - - 0 0 0 2011-09-06 Arnaud Charlet New
[Ada] Freezing subprogram that returns a limited view - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Freezing the designated type of an access_to_subprogram_type - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Friendlier behavior for "=" and ":=" - - - 0 0 0 2015-10-20 Arnaud Charlet New
[Ada] Front-end inlining and predicates - - - 0 0 0 2015-10-26 Arnaud Charlet New
[Ada] Front-end inlining in GNATprove mode - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Front-end layout in a generic unit - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Front-end support for attribute Scalar_Storage_Order - - - 0 0 0 2012-03-09 Arnaud Charlet New
[Ada] Front-end support for per-instance coverage analysis - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Frontend cleanup - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Frontend cleanup: removal of attribute Is_Overriding_Operation - - - 0 0 0 2010-10-26 Arnaud Charlet New
[Ada] Full views of private subtypes with unknown discriminants. - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Fully implement general form static predicates - - - 0 0 0 2010-10-25 Arnaud Charlet New
[Ada] Fully initialized types - - - 0 0 0 2014-01-20 Arnaud Charlet New
[Ada] Funalization of controlled function results in conditional expression - - - 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Function calls in prefixed form in preconditions in generics - - - 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Function in RCI cannot have anonymous access result - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Functions returning dispatching results - - - 0 0 0 2010-10-04 Arnaud Charlet New
[Ada] Functions with access result are primitives - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Further fixes to MINIMIZED overflow checking mode - - - 0 0 0 2012-10-03 Arnaud Charlet New
[Ada] Further illegalities with operator call in functional notation - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Further preliminary work for [Component_]Default_Value - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Further refinement to Atomic_Synchronization handling - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Further tweak for PR ada/52123 - - - 0 0 0 2013-03-08 Eric Botcazou New
[Ada] Further work on atomic synchronization - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Further work on new overflow checking scheme - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Further work on pre/post aspects - - - 0 0 0 2010-10-12 Arnaud Charlet New
[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] 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
« 1 2 ... 289 290 291573 574 »