Patches

Show patches with: State = Action Required       |    Archived = No   
« 1 2 ... 275 276 277565 566 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Adjust PC only for SS$_HPARITH on Alpha/VMS - - - 0 0 0 2010-10-19 Arnaud Charlet New
[Ada] Adjust a couple of testcases - - - 0 0 0 2010-11-28 Eric Botcazou New
[Ada] Adjust description of -gnatn switch in usage information - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Adjust documentation of Pragma Optimize_Alignment - - - 0 0 0 2014-02-06 Arnaud Charlet New
[Ada] Adjust internal flags for Do_Discrminant_Check - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Adjust location info on array comparison expressions - - - 0 0 0 2010-11-10 Eric Botcazou New
[Ada] Adjust on limited controlled types - - - 0 0 0 2011-09-02 Arnaud Charlet New
[Ada] Adjust path names in debug info - - - 0 0 0 2013-10-19 Eric Botcazou New
[Ada] Adjust rest_of_record_type_compilation to sizetype change - - - 0 0 0 2012-10-22 Eric Botcazou New
[Ada] Adjust rules for selected files in Makefiles - - - 0 0 0 2011-04-21 Eric Botcazou New
[Ada] Adjust slots assignment of tagged type primitives - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Adjust source location on boolean inversions - - - 0 0 0 2010-10-10 Eric Botcazou New
[Ada] Adjust to change in handling of local types with -g - - - 0 0 0 2012-07-03 Eric Botcazou New
[Ada] Adjustments to Alfa mode for types and packing - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Adjustments to setting alignment when size is set - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Aggregate for records with components of an anonymous access type - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Aliased view of a type in various Ada dialects - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Aliasing and objects in extended return statements - - - 0 0 0 2011-10-14 Arnaud Charlet New
[Ada] All assignments to abstract target objects must be disallowed - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] All duplicate units in a project now reported - - - 0 0 0 2010-10-08 Arnaud Charlet New
[Ada] Allocation from empty storage pool is error, not warning - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Allocation of coextensions - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Allocation of controlled private type with unknown discriminants - - - 0 0 0 2012-02-17 Arnaud Charlet New
[Ada] Allocation of unconstrained limited type - - - 0 0 0 2012-03-19 Arnaud Charlet New
[Ada] Allow ! and !! insertions anywhere in compiler message - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Allow 'Mod attribute in Ada 95 mode - - - 0 0 0 2010-06-22 Arnaud Charlet New
[Ada] Allow Ada 2012 aspects on renaming declarations - - - 0 0 0 2013-01-29 Arnaud Charlet New
[Ada] Allow Linker_Section for types - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Allow Object_Size that is a multiple of the alignment - - - 0 0 0 2014-02-20 Arnaud Charlet New
[Ada] Allow System.Multiprocessors[.Dispatching_Domains] in Ada 95 - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Allow constants in SPARK contracts - - - 0 0 0 2015-05-21 Arnaud Charlet New
[Ada] Allow defaulted discriminants on tagged types for Ada 2012 - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Allow foreign exceptions - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Allow full range of static address values for To_Address - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Allow generic iteration on formal lists - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Allow gnatmake switch -j0 - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Allow new restriction pragmas in package System - - - 0 0 0 2015-05-26 Arnaud Charlet New
[Ada] Allow pragma Import and pragma Interface - - - 0 0 0 2010-06-18 Arnaud Charlet New
[Ada] Allow pragma Inline_Always to overrule -fno-inline - - - 0 0 0 2015-02-20 Arnaud Charlet New
[Ada] Allow pragma Partition_Elaboration_Policy in system.ads - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Allow pragma Restrictions (No_Dependence => unit) in system.ads - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Allow raise expression in return statement - - - 0 0 0 2014-01-24 Arnaud Charlet New
[Ada] Allow run-time to be compiled with Normalize_Scalars - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Allow shared libraries to import any projects for some tools - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Allow static string expression as name of Test_Case pragma/aspect - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Allow the same library project in different project tree - - - 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] Allow to extend a project imported only by extended projects - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Allow use of GNU ld on AIX - - - 0 0 0 2011-10-16 Arnaud Charlet New
[Ada] Allow warning tag in pragma Warnings (Off, string) - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Allow wild cards in Switches (<file>) in project files - - - 0 0 0 2010-10-05 Arnaud Charlet New
[Ada] Allows Wide_String output on Windows console - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Alternate output modes for GNAT.Memory_Dump - - - 0 0 0 2014-07-18 Arnaud Charlet New
[Ada] Always analyze loop body during semantic analysis in Alfa mode - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Always freeze slice itype - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Always get an existing declared object/exec directory - - - 0 0 0 2011-12-12 Arnaud Charlet New
[Ada] Always prefer Pure/Preelab units in binder elab order - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Always require an elaboration counter when preserving control flow - - - 0 0 0 2016-04-19 Arnaud Charlet New
[Ada] Always set Do_Discriminant_Check flag during semantic analysis - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Ambiguities with class-wide operations on synchronized types - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Ambiguities with prefixed views of synchronized primitives - - - 0 0 0 2011-08-31 Arnaud Charlet New
[Ada] Ambiguity on "=" inherited from untagged private with tagged full type - - - 0 0 0 2010-06-17 Arnaud Charlet New
[Ada] Ambiguous universal arithmetic expressions in conversions - - - 0 0 0 2010-06-21 Arnaud Charlet New
[Ada] An actual for a formal type that is an extesion of a limited interface - - - 0 0 0 2012-02-22 Arnaud Charlet New
[Ada] Analysis of delayed SPARK aspects and use of SPARK_Mode - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Analysis of delayed SPARK aspects and use of SPARK_Mode - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Analysis of delayed aspects for components in record types - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Analysis of disabled SPARK features - - - 0 0 0 2014-06-13 Arnaud Charlet New
[Ada] Analyze contracts of subprogram body stubs - - - 0 0 0 2014-06-11 Arnaud Charlet New
[Ada] Analyze instance with SPARK_Mode at point of instantiation - - - 0 0 0 2014-01-29 Arnaud Charlet New
[Ada] Analyze pre/post expression for correctness in formal verification mode - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Anonymous access components that denote tasks - - - 0 0 0 2013-04-24 Arnaud Charlet New
[Ada] Anonymous access types in type declarations in child units - - - 0 0 0 2011-09-05 Arnaud Charlet New
[Ada] Apply proper predicate tests to OUT and IN OUT parameters - - - 0 0 0 2014-07-29 Arnaud Charlet New
[Ada] Apply special expansion in GNATprove mode also for pre-analysis - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Argument of pragma Depends has wrong source location - - - 0 0 0 2015-03-02 Arnaud Charlet New
[Ada] Array components of discriminated records with packed parent types - - - 0 0 0 2013-04-23 Arnaud Charlet New
[Ada] As we use the default behavior, no need to allocate a cond attribute - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] As we use the default behavior, no need to allocate a mutex attribute - - - 0 0 0 2011-11-21 Arnaud Charlet New
[Ada] Aspect / pragma Contract_Cases - - - 0 0 0 2012-12-05 Arnaud Charlet New
[Ada] Aspect / pragma SPARK_Mode - - - 0 0 0 2013-07-08 Arnaud Charlet New
[Ada] Aspect / pragma SPARK_Mode - - - 0 0 0 2013-07-05 Arnaud Charlet New
[Ada] Aspect Abstract_State - - - 0 0 0 2013-01-03 Arnaud Charlet New
[Ada] Aspect Abstract_State and nested packages - - - 0 0 0 2013-04-12 Arnaud Charlet New
[Ada] Aspect Default_Storage_Pool - - - 0 0 0 2014-10-31 Arnaud Charlet New
[Ada] Aspect Depends - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Aspect Global - - - 0 0 0 2013-01-04 Arnaud Charlet New
[Ada] Aspect Import with a value of False - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Aspect Initial_Condition - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Aspect Initializes - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Aspect Refined_Depends - - - 0 0 0 2013-10-14 Arnaud Charlet New
[Ada] Aspect Refined_Global - - - 0 0 0 2013-10-13 Arnaud Charlet New
[Ada] Aspect Refined_Post - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Aspect specifications and incomplete views - - - 0 0 0 2014-10-20 Arnaud Charlet New
[Ada] Aspect specifications can appear on subprogram body stubs - - - 0 0 0 2013-04-11 Arnaud Charlet New
[Ada] Aspect specifications in subprogram bodies - - - 0 0 0 2012-07-23 Arnaud Charlet New
[Ada] Aspect specifications initial preparation - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Aspect specifications on subprogram renaming declarations - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Aspect/pragma Contract_Cases and library level subprograms - - - 0 0 0 2013-04-22 Arnaud Charlet New
[Ada] Aspect/pragma Default_Initial_Condition - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Aspect/pragma Extensions_Visible - - - 0 0 0 2014-10-30 Arnaud Charlet New
« 1 2 ... 275 276 277565 566 »