Patchwork GNU Compiler Collection

login
register
mail settings

Incoming patches

« Previous 1 2 ... 240 241 242 243 244 245 246 247 248 ... 263 264 Next »
Filters: State = Action Required remove filter
Patch Date Submitter Delegate State
[Ada] Add support for use of Annotate pragmas as configuration pragmas 2011-09-19 Arnaud Charlet New
[Ada] Immutably limited types 2010-10-08 Arnaud Charlet New
[Ada] New entity flag defines which entities are in ALFA subset 2011-08-02 Arnaud Charlet New
[Ada] Remote types packages can depend on preelaborated packages 2010-10-08 Arnaud Charlet New
[Ada] Change SIGADAABRT to SIGABRT on Darwin 2011-09-19 Arnaud Charlet New
[Ada] Implementation of Ada 2012 AI05-0030: Requeue on synchronized interfaces 2010-10-08 Arnaud Charlet New
[Ada] Help the backend to identify safe-to-reevaluate variables 2011-08-02 Arnaud Charlet New
[Ada] Refactor handling of project path 2010-10-05 Arnaud Charlet New
[Ada] Expand set membership test in Alfa mode 2011-09-19 Arnaud Charlet New
[Ada] Private type as actual in generic RCI 2010-09-10 Arnaud Charlet New
[Ada] No adainit/adafinal procedures in Stand-Alone Libraries 2011-08-01 Arnaud Charlet New
[Ada] Handling of child instances within a sibling 2010-09-09 Arnaud Charlet New
[Ada] Ignore references to renamed Standard constants in Alfa mode 2011-09-19 Arnaud Charlet New
[Ada] Implement AI05-0086-1 (consider null exclusion for static matching) 2010-10-19 Arnaud Charlet New
[Ada] Delay all aspects 2011-08-01 Arnaud Charlet New
[Ada] exception messages now correctly identify kind of tampering 2010-09-09 Arnaud Charlet New
[Ada] DSA code generation reorganization 2011-09-19 Arnaud Charlet New
[Ada] Conversion of arithmetic expression to wider type flagged as redundant 2010-09-09 Arnaud Charlet New
[Ada] Add support for file attributes on VxWorks 6 2011-08-05 Arnaud Charlet New
[Ada] Constant-folding and discriminants 2010-09-09 Arnaud Charlet New
[Ada] Crash on use of 'Old 2011-08-29 Arnaud Charlet New
[Ada] Allow gnatmake switch -j0 2010-10-12 Arnaud Charlet New
[Ada] update gnatmake usage 2011-08-05 Arnaud Charlet New
[Ada] Implement restriction No_Allocators_After_Elaboration 2010-10-08 Arnaud Charlet New
[Ada] Optimization of assignments to bit-packed components with rep. clauses 2011-08-29 Arnaud Charlet New
[Ada] Adjust description of -gnatn switch in usage information 2010-10-12 Arnaud Charlet New
[Ada] Set special options for ALFA mode (formal verification) 2011-08-05 Arnaud Charlet New
[Ada] Complete implementation of AI05-0183-1 (aspect specifications) 2010-10-12 Arnaud Charlet New
[Ada] Error on call to function with limited result and unknown discriminants 2011-09-01 Arnaud Charlet New
[Ada] Null procedures as actuals in instances 2010-10-12 Arnaud Charlet New
[Ada] Inherited subprograms may be both abstract and need overriding 2011-08-05 Arnaud Charlet New
[Ada] Implement non-classwide Pre/Post aspects 2010-10-12 Arnaud Charlet New
[Ada] Suppress false alarm "postcondition refers only to pre-state" 2011-09-02 Arnaud Charlet New
[Ada] Add support for Ada.Execution_Time on linux 2010-10-12 Arnaud Charlet New
[Ada] Expansion of Ada2012 predicate checks for type conversions 2011-08-05 Arnaud Charlet New
[Ada] Split PRE/POST expressions into AND THEN sections 2010-10-12 Arnaud Charlet New
[Ada] Ada2012-A111 specifying a pool on an allocator 2011-08-29 Arnaud Charlet New
[Ada] String literals in nested subprograms in generic units 2010-10-12 Arnaud Charlet New
[Ada] Visibility error in formal package with no associations 2011-08-05 Arnaud Charlet New
[Ada] Handle inherited postconditions (AI05-0145) 2010-10-12 Arnaud Charlet New
[Ada] Crash processing nested aggregate in constant declaration 2011-08-29 Arnaud Charlet New
[Ada] Further work on pre/post aspects 2010-10-12 Arnaud Charlet New
[Ada] Implementation of AI05-0212 : implicit dereference types 2011-08-05 Arnaud Charlet New
[Ada] Aggregate for records with components of an anonymous access type 2010-10-07 Arnaud Charlet New
[Ada] Naming exceptions inherited in extending projects 2011-09-01 Arnaud Charlet New
[Ada] Final fix to inheriting of Pre'Class preconditions 2010-10-12 Arnaud Charlet New
[Ada] SCO generation for pragma Debug 2011-08-05 Arnaud Charlet New
[Ada] Add warning for record holes (gaps) 2010-09-10 Arnaud Charlet New
[Ada] Invariants must only apply to public subprograms 2011-11-21 Arnaud Charlet New
[Ada] Improve DG output of subprograms 2010-10-05 Arnaud Charlet New
[Ada] Equality testing against null in an instance 2011-08-05 Arnaud Charlet New
[Ada] Warning on redundant conversion 2010-09-10 Arnaud Charlet New
[Ada] Implement conventions Ada_Pass_By_Copy and Ada_Pass_By_Reference 2011-12-21 Arnaud Charlet New
[Ada] Actual for a formal derived non-limited type 2010-10-07 Arnaud Charlet New
[Ada] Generalized indexing in Ada2012 2011-08-05 Arnaud Charlet New
[Ada] Intermediate build-in-place result not finalized 2010-09-10 Arnaud Charlet New
[Ada] Some is reserved in Ada 2012 2011-08-29 Arnaud Charlet New
[Ada] No ALI generated when compiler fails on a spec that needs a body 2010-10-12 Arnaud Charlet New
[Ada] Do not use specific stream routines for strings when not available 2011-08-02 Arnaud Charlet New
[Ada] Optimization of array aggregates 2010-10-07 Arnaud Charlet New
[Ada] Project_Dir should not modify the case of its path name 2012-10-04 Arnaud Charlet New
[Ada] Register source directories even if they do not exist 2010-09-10 Arnaud Charlet New
[Ada] Improve flag positioning for missing quote when comma present 2011-08-05 Arnaud Charlet New
[Ada] Add version of Find_Token with From parameter 2010-10-08 Arnaud Charlet New
[Ada] Fix handling of position attributes in Ada 2005 mode 2011-11-21 Arnaud Charlet New
[Ada] Package extensions in project files 2010-09-10 Arnaud Charlet New
[Ada] Correct ALFA xrefs for separates and pre/post 2011-08-05 Arnaud Charlet New
[Ada] Null-exclusion must match for parameters for full conformance 2010-10-08 Arnaud Charlet New
[Ada] Remove GCC_ZCX_Support in system-*.ads 2011-08-29 Arnaud Charlet New
[Ada] Abstrct null extensions 2010-10-08 Arnaud Charlet New
[Ada] Add_To_Result routine (internal cleanup) 2011-08-02 Arnaud Charlet New
[Ada] All duplicate units in a project now reported 2010-10-08 Arnaud Charlet New
[Ada] clean ups in Makefiles 2011-09-06 Arnaud Charlet New
[Ada] No change of working directory in Remove_Dir implementation 2010-10-08 Arnaud Charlet New
[Ada] Implement -gnatyC for one space after -- in comments 2011-08-05 Arnaud Charlet New
[Ada] Allow shared libraries to import any projects for some tools 2010-10-11 Arnaud Charlet New
[Ada] Remove N_Cleanups_To_Trigger in GNAT_GCC_Exception. 2011-08-29 Arnaud Charlet New
[Ada] Interface operations that are renamings 2010-09-10 Arnaud Charlet New
[Ada] added bounded multiway trees to standard container library 2011-08-05 Arnaud Charlet New
[Ada] No_Relative_Delay forbids Set_Handler calls 2010-10-07 Arnaud Charlet New
[Ada] Implement task barriers in Ada 2011-08-29 Arnaud Charlet New
[Ada] Do not perform a null_exclusion check on 'out' parameters 2010-09-10 Arnaud Charlet New
[Ada] Spurious errors with complex slice expression 2011-08-02 Arnaud Charlet New
[Ada] The type of an in-out formal in a child instance 2010-10-07 Arnaud Charlet New
[Ada] Improve xref speed for many tagged types 2011-09-02 Arnaud Charlet New
[Ada] Disallow Interrupt_Handler and Attach_Handler in generics 2010-10-08 Arnaud Charlet New
[Ada] Implement Disable policy for Check/Debug_Policy 2011-08-05 Arnaud Charlet New
[Ada] Pass -shared-libgcc when building Ada shared libraries on Windows 2010-10-05 Arnaud Charlet New
[Ada] Check that rtsfind entities are not overloaded 2011-09-05 Arnaud Charlet New
[Ada] DSA helpers for tagged types 2010-10-05 Arnaud Charlet New
[Ada] Correct unique name of entities for formal verification 2011-08-05 Arnaud Charlet New
[Ada] Add warning for overridden sizes 2010-09-10 Arnaud Charlet New
[Ada] Renaming of unconstrained limited function calls 2011-08-29 Arnaud Charlet New
[Ada] Ada 2012: AI05-0296, formal incomplete types. 2012-06-12 Arnaud Charlet New
[Ada] No style checking in instances 2011-08-02 Arnaud Charlet New
[Ada] Fixed incorrect comment about conditional insertion 2011-12-21 Arnaud Charlet New
[Ada] Dereference correct hash table for a given node array index 2011-08-31 Arnaud Charlet New
[Ada] Accidental overlodading in an instance 2012-06-12 Arnaud Charlet New
[Ada] Incorrect assignment when deleting node 2011-08-01 Arnaud Charlet New
[Ada] Dimensionnality Checking 2011-12-15 Arnaud Charlet New
« Previous 1 2 ... 240 241 242 243 244 245 246 247 248 ... 263 264 Next »