Patches

Show patches with: State = Action Required   
« 1 2 ... 274 275 276565 566 »
Patch A/R/T S/W/F Date Submitter Delegate State
[Ada] Ada 2012 anonymous access conversions and membership tests - - - 0 0 0 2011-08-30 Arnaud Charlet New
[Ada] Ada 2012 aspect Synchronization - - - 0 0 0 2012-01-23 Arnaud Charlet New
[Ada] Ada 2012 containers - - - 0 0 0 2011-12-22 Arnaud Charlet New
[Ada] Ada 2012 invariant checks on access values and components - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Ada 2012 invariant checks on subcomponents - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 legality checks on uses of names of protected procedures - - - 0 0 0 2012-10-01 Arnaud Charlet New
[Ada] Ada 2012 packages Ada.Wide_[Wide_]Characters.Handling - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Ada 2012 predicate checks on (in-) out parameters - - - 0 0 0 2013-04-22 Arnaud Charlet New
[Ada] Ada 2012 type invariants on type completions - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Ada 2012: AI05-0296, formal incomplete types. - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Ada 2012: Class-wide operations for formal subprograms - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Ada 2012: Derived types and partial views - - - 0 0 0 2011-12-02 Arnaud Charlet New
[Ada] Ada 2012: Rule on function writable actuals (AI05-0144-2) - - - 0 0 0 2013-01-29 Arnaud Charlet New
[Ada] Ada.Real_Time not properly initialized on Windows - - - 0 0 0 2010-06-23 Arnaud Charlet New
[Ada] Ada.Streams.Stream_IO is preelaborated - - - 0 0 0 2012-07-09 Arnaud Charlet New
[Ada] Ada.[Wide_]Wide_Characters.Handling should be Pure - - - 0 0 0 2012-01-06 Arnaud Charlet New
[Ada] Ada/C++ missing call to allocation of C++ object with defaults - - - 0 0 0 2012-10-03 Arnaud Charlet New
[Ada] Ada/C++ missing call to constructor with defaults - - - 0 0 0 2012-10-03 Arnaud Charlet New
[Ada] Ada/C++ missing call to constructor with defaults - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Ada2012 : incomplete types can be used in more contexts - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Ada2012 freeze rules for subprogram profiles - - - 0 0 0 2014-10-10 Arnaud Charlet New
[Ada] Ada2012 iterator forms - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Ada2012 iterators over containers given by a function call - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Ada2012-A111 specifying a pool on an allocator - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Ada2012-A162 incomplete type completed by partial view - - - 0 0 0 2010-10-18 Arnaud Charlet New
[Ada] Ada2012-A179 labels at end of a sequence_of_statements - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Ada2012: detecting dangerous order dependences - - - 0 0 0 2010-10-25 Arnaud Charlet New
[Ada] Adapt SPARK restriction to follow modification of SPARK LRM - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Add DragonFly support to System.OS_Constants template - - - 0 0 0 2015-07-06 John Marino New
[Ada] Add Float_Rep attribute for floating point entities - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Add For_Each and Sort_Table procedures to GNAT.Table - - - 0 0 0 2013-09-10 Arnaud Charlet New
[Ada] Add GNAT-specific Test_Case aspect and pragma for unit verification - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Add Generic_Sort operation to standard library - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Add Reason argument to pragma Warnings - - - 0 0 0 2013-04-25 Arnaud Charlet New
[Ada] Add To_Lower_Case function to Unicode packages - - - 0 0 0 2010-10-07 Arnaud Charlet New
[Ada] Add VMS qualifiers for -gnatn1/2 switches. - - - 0 0 0 2012-07-12 Arnaud Charlet New
[Ada] Add a link between body and spec scopes in ALFA section of ALI file - - - 0 0 0 2011-08-21 Gerald Pfeifer New
[Ada] Add a link between body and spec scopes in ALFA section of ALI file - - - 0 0 0 2011-08-03 Arnaud Charlet New
[Ada] Add a new pragma Assert_And_Cut for formal verification tools - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Add a pseudo-terminal based expect unit - - - 0 0 0 2011-11-23 Arnaud Charlet New
[Ada] Add additional Boolean fields to Name Table info - - - 0 0 0 2015-01-06 Arnaud Charlet New
[Ada] Add annotate aspect, add entity argument to pragma Annotate - - - 0 0 0 2014-07-17 Arnaud Charlet New
[Ada] Add anonymous subtypes to ALFA - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Add assertion - - - 0 0 0 2010-10-10 Eric Botcazou New
[Ada] Add assertion for context of subprograms - - - 0 0 0 2015-02-08 Eric Botcazou New
[Ada] Add binding for pthread_rwlock_t and pthread_rwlockattr_t - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Add case-insensitive string operations - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Add constants to g-sercom for slow bit rates - - - 0 0 0 2015-05-12 Arnaud Charlet New
[Ada] Add declaration for Itypes in Alfa mode - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Add documentation for aspect Invariant'Class - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Add dominance information to SCOs - - - 0 0 0 2011-12-05 Arnaud Charlet New
[Ada] Add extended overflow -gnato switch to usage - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Add extra entity fields - - - 0 0 0 2015-03-13 Arnaud Charlet New
[Ada] Add extra exception info for validity checks - - - 0 0 0 2010-10-22 Arnaud Charlet New
[Ada] Add flag Body_Is_In_ALFA on subprogram entities - - - 0 0 0 2011-08-02 Arnaud Charlet New
[Ada] Add flags for front-end (internal change only) - - - 0 0 0 2014-01-21 Arnaud Charlet New
[Ada] Add initial support for aspects - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Add internal abstraction for standard string test - - - 0 0 0 2014-08-04 Arnaud Charlet New
[Ada] Add missing Ravenscar restrictions - - - 0 0 0 2014-02-24 Arnaud Charlet New
[Ada] Add missing SPARK_Mode aspects/pragmas on formal containers - - - 0 0 0 2014-11-20 Arnaud Charlet New
[Ada] Add missing VMS run-time files - - - 0 0 0 2011-12-15 Arnaud Charlet New
[Ada] Add missing entities to Stand.Tree_Read and Stand.Tree_Write - - - 0 0 0 2014-05-21 Arnaud Charlet New
[Ada] Add missing functions to Ada.Characters.Handling - - - 0 0 0 2013-10-10 Arnaud Charlet New
[Ada] Add missing type conversions - - - 0 0 0 2015-11-30 Eric Botcazou New
[Ada] Add mode for ignoring failures to read ALI files for back-ends - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Add more vectorization (sub-)tests - - - 0 0 0 2011-12-13 Eric Botcazou New
[Ada] Add new Assign and Copy operations to unbounded containers - - - 0 0 0 2011-11-04 Arnaud Charlet New
[Ada] Add new attribute 'Elab_Subp_Body - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Add new attribute System_Allocator_Alignment - - - 0 0 0 2011-08-29 Arnaud Charlet New
[Ada] Add new debug procedure psloc - - - 0 0 0 2012-07-17 Arnaud Charlet New
[Ada] Add new flags and entities - - - 0 0 0 2010-10-11 Arnaud Charlet New
[Ada] Add new locking policy to support concurrent readers - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Add obvious assertion - - - 0 0 0 2012-12-08 Eric Botcazou New
[Ada] Add option for strict standard interpretation in Alfa mode - - - 0 0 0 2011-09-27 Arnaud Charlet New
[Ada] Add optional argument for tool name to pragma Warnings - - - 0 0 0 2015-02-05 Arnaud Charlet New
[Ada] Add overriding indicators - - - 0 0 0 2012-01-06 Arnaud Charlet New
[Ada] Add overriding indicators - - - 0 0 0 2011-12-22 Arnaud Charlet New
[Ada] Add postconditions to numeric functions - - - 0 0 0 2012-05-15 Arnaud Charlet New
[Ada] Add procedure to print out the predefined floating point types - - - 0 0 0 2011-08-01 Arnaud Charlet New
[Ada] Add query function to distinguish code of inlining from instances - - - 0 0 0 2014-07-30 Arnaud Charlet New
[Ada] Add queue containers to standard library - - - 0 0 0 2011-09-01 Arnaud Charlet New
[Ada] Add restrictions to the use of s-tposen - - - 0 0 0 2014-01-31 Arnaud Charlet New
[Ada] Add some defenses against junk code - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Add special case for "ALFA" in error message similar to "RM" - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Add statistics dumping function to Atree package - - - 0 0 0 2016-04-18 Arnaud Charlet New
[Ada] Add style check for NOT IN - - - 0 0 0 2012-10-02 Arnaud Charlet New
[Ada] Add support for --program-prefix - - - 0 0 0 2012-06-14 Arnaud Charlet New
[Ada] Add support for Ada.Execution_Time on linux - - - 0 0 0 2010-10-12 Arnaud Charlet New
[Ada] Add support for binder/linker in gnatmake in CodePeer mode - - - 0 0 0 2011-08-04 Arnaud Charlet New
[Ada] Add support for encoding in Create_Directory and Create_Path. - - - 0 0 0 2012-07-16 Arnaud Charlet New
[Ada] Add support for file attributes on VxWorks 6 - - - 0 0 0 2011-08-05 Arnaud Charlet New
[Ada] Add support for files > 2Gb on 32bit platforms. - - - 0 0 0 2014-07-31 Arnaud Charlet New
[Ada] Add support for fully standalone libraries - - - 0 0 0 2011-12-21 Arnaud Charlet New
[Ada] Add support for non-capturing parenthesis in GNAT.Regpat - - - 0 0 0 2014-08-01 Arnaud Charlet New
[Ada] Add support for not returning executable suffixes in executable names - - - 0 0 0 2010-09-10 Arnaud Charlet New
[Ada] Add support for pragma Loop_Optimize (Ivdep) - - - 0 0 0 2014-04-14 Eric Botcazou New
[Ada] Add support for pragma No_Inline - - - 0 0 0 2013-05-24 Eric Botcazou New
[Ada] Add support for project file Install package. - - - 0 0 0 2012-06-12 Arnaud Charlet New
[Ada] Add support for returning binary message digest - - - 0 0 0 2012-10-29 Arnaud Charlet New
[Ada] Add support for the CPU aspect - - - 0 0 0 2011-09-01 Arnaud Charlet New
« 1 2 ... 274 275 276565 566 »