Show patches with: Submitter = Arnaud Charlet       |    State = Action Required       |    Archived = No       |   2468 patches
« 1 2 ... 21 22 23 … 24 25 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Visibility problem in private derivation with interfaces - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Improve __gnat_stat() on windows - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Fully implement general form static predicates - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Implement more general predicates - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Ada2012: detecting dangerous order dependences - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] New unit Ada.Containers.Bounded_Vectors - - - - --- 2010-10-25 Arnaud Charlet New
[Ada] Loops through types with static predicates - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Handling of predicate type errors in generics - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Implement static predicates and case statements - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Take null exclusion into account for statically compatible subtypes - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Handle First/Last/Range for predicated types - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Allow defaulted discriminants on tagged types for Ada 2012 - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Add Float_Rep attribute for floating point entities - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Error message for illegal pragma where first subtype required - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Further work on predicates - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Ada2012 iterator forms - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Minor code reorganization, move Is_Generic_Formal - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Handling of pragma Preelaborable_Initialization for generic types - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Remove ttypf.ads and compute floating point attributes instead - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Implement inheritance for predicates - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Parent_Unit_Names and unit renaming declarations - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Check bad use of predicates - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Add extra exception info for validity checks - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Work on inherited predicates (interim step) - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Illegal tagged completion of private type with discriminant and default - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Next step in implementation of predicates - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Next stage in implementing predicate aspect - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Prepare for implementation of Predicate aspect - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Enforce new no dependence restrictions with Ravenscar - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Warnings about declarations that hide outer homographs - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Optimization of array aggregates - - - - --- 2010-10-21 Arnaud Charlet New
[Ada] Implementation of quantified expressions - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] More detailed exception messages - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Implement AI05-0086-1 (consider null exclusion for static matching) - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Implement Invariant aspect and pragma - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Functions with access result are primitives - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Implement pragma Default_Storage_Pool - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Clean up in Pop_Scope - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Instantiation of a renaming of an implicit child unit - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Adjust PC only for SS$_HPARITH on Alpha/VMS - - - - --- 2010-10-19 Arnaud Charlet New
[Ada] Switches for truncated file name on VMS - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implement pragma Default_Storage_Pool - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Ada2012-A162 incomplete type completed by partial view - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implement No_Default_Stream_Attributes restriction (AI05-0161-1/02) - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implementation of pragma CPU - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implementation of pre/postconditions for entries - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implement stack limitation on VMS - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] New project attribute Ignore_Source_Sub_Dirs - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Cache value returned by Is_Compilable - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Cleanup: simplify use of Primitive_Operations attribute - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Use Freeze_Before in lieu of more verbose sequence - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Fix bad warning for unmodified pragma and unbounded string - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Implement Input/Output/Read/Write aspects - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Use clauses and use_type clauses - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Handle delay of Pre/Post and inherited Pre'Class - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] No ALI generated when compiler fails on a spec that needs a body - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Allow gnatmake switch -j0 - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Final fix to inheriting of Pre'Class preconditions - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Further work on pre/post aspects - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Handle inherited postconditions (AI05-0145) - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] String literals in nested subprograms in generic units - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Split PRE/POST expressions into AND THEN sections - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Add support for Ada.Execution_Time on linux - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Implement non-classwide Pre/Post aspects - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Improve recovery for misordered PRIVATE/ABSTRACT/TAGGED keywords - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Null procedures as actuals in instances - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Adjust description of -gnatn switch in usage information - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Complete implementation of AI05-0183-1 (aspect specifications) - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Properly delay Address aspect - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Implement delay of aspects to freeze point - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] New iterator form for GNAT.HTable.Simple_HTable - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Next stage in implementation of Ada 2012 aspects - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Allow shared libraries to import any projects for some tools - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Implementation of AI05-0151: additional uses for incomplete types - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Wrong warning when instantiating Container in generic unit - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Fix oversight in new handling of -Oxxx switches - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Use Ada_2012 instead of Ada_12 - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Add initial support for aspects - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Aspect specifications initial preparation - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Visibility of selected components in instantiations - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Better warnings on Ada95/Ada05 incompatibility with limited types - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] New Ada 2012 language-defined System.Multiprocessors - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Add new flags and entities - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Immutably limited types - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Add version of Find_Token with From parameter - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Disallow Interrupt_Handler and Attach_Handler in generics - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Remote types packages can depend on preelaborated packages - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Implement restriction No_Allocators_After_Elaboration - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Handle Soft_Hyphen as non-graphic in Ada 2005 mode - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Avoid silly long compilation for Wide_Wide_Character'Width - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Pragma Independent and Independent_Components - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] All duplicate units in a project now reported - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Extended return statements require static compatibility - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Clean up handling of pack, component size, aliased/atomic components - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Static aggregates of a limited type - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] String list external references in project files - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Defaults that raise constraint_error - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Deriving from formal limited types - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Abstrct null extensions - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] No change of working directory in Remove_Dir implementation - - - - --- 2010-10-08 Arnaud Charlet New
« 1 2 ... 21 22 23 … 24 25 »