Show patches with: State = Action Required       |    Archived = No       |   126602 patches
« 1 2 ... 721 722 723 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Add support for pragma Loop_Optimize (Ivdep) - - - - --- 2014-04-14 Eric Botcazou New
[Ada] Add support for not returning executable suffixes in executable names - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Add support for non-capturing parenthesis in GNAT.Regpat - - - - --- 2014-08-01 Arnaud Charlet New
[Ada] Add support for noinline and noclone attributes - - - - --- 2016-06-06 Eric Botcazou New
[Ada] Add support for fully standalone libraries - - - - --- 2011-12-21 Arnaud Charlet New
[Ada] Add support for folding more and/or expressions [Ada] Add support for folding more and/or expressions - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Add support for files > 2Gb on 32bit platforms. - - - - --- 2014-07-31 Arnaud Charlet New
[Ada] Add support for file attributes on VxWorks 6 - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Add support for encoding in Create_Directory and Create_Path. - - - - --- 2012-07-16 Arnaud Charlet New
[Ada] Add support for defaulted Storage_Model_Type aspect and subaspects [Ada] Add support for defaulted Storage_Model_Type aspect and subaspects - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Add support for compile time evaluation of Shift_Right_Arithmetic [Ada] Add support for compile time evaluation of Shift_Right_Arithmetic - - - - --- 2020-10-15 Pierre-Marie de Rodat New
[Ada] Add support for binder/linker in gnatmake in CodePeer mode - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Add support for __builtin_prefetch [Ada] Add support for __builtin_prefetch - - - - --- 2019-05-28 Eric Botcazou New
[Ada] Add support for __builtin_expect and friends [Ada] Add support for __builtin_expect and friends - - - - --- 2019-05-27 Eric Botcazou New
[Ada] Add support for XDR streaming in the default runtime [Ada] Add support for XDR streaming in the default runtime - - - - --- 2020-07-07 Pierre-Marie de Rodat New
[Ada] Add support for Unreferenced aspect on formal parameters [Ada] Add support for Unreferenced aspect on formal parameters - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Add support for PE-COFF PIE to System.Dwarf_Line [Ada] Add support for PE-COFF PIE to System.Dwarf_Line - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Add support for Define_Switch with a callback in GNAT.Command_Line [Ada] Add support for Define_Switch with a callback in GNAT.Command_Line - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Add support for Ada.Execution_Time on linux - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Add support for 128-bit integer types to GNAT.Random_Numbers [Ada] Add support for 128-bit integer types to GNAT.Random_Numbers - - - - --- 2020-11-25 Pierre-Marie de Rodat New
[Ada] Add support for --program-prefix - - - - --- 2012-06-14 Arnaud Charlet New
[Ada] Add style check for NOT IN - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Add stream-oriented attributes support for 128-bit integer types [Ada] Add stream-oriented attributes support for 128-bit integer types - - - - --- 2020-11-30 Pierre-Marie de Rodat New
[Ada] Add statistics dumping function to Atree package - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] Add special case for "ALFA" in error message similar to "RM" - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Add special bypass for obsolete code pattern [Ada] Add special bypass for obsolete code pattern - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Add source file name to gnat bug box [Ada] Add source file name to gnat bug box - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add some defenses against junk code - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Add some comments in init.c about the lynx178 signal handler [Ada] Add some comments in init.c about the lynx178 signal handler - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Add some OS constants to control serial port [Ada] Add some OS constants to control serial port - - - - --- 2020-12-16 Pierre-Marie de Rodat New
[Ada] Add some OS constants to control keepalive on TCP connections [Ada] Add some OS constants to control keepalive on TCP connections - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Add socket options to control keepalive on TCP connection [Ada] Add socket options to control keepalive on TCP connection - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Add small sanity check for package freezing [Ada] Add small sanity check for package freezing - - - - --- 2017-12-13 Eric Botcazou New
[Ada] Add second warning for convention C_Variadic_n [Ada] Add second warning for convention C_Variadic_n - - - - --- 2020-06-18 Pierre-Marie de Rodat New
[Ada] Add restrictions to the use of s-tposen - - - - --- 2014-01-31 Arnaud Charlet New
[Ada] Add reference counting in functional containers [Ada] Add reference counting in functional containers - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Add range check for GNATprove on 'Pos to Long_Integer conversion [Ada] Add range check for GNATprove on 'Pos to Long_Integer conversion - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Add queue containers to standard library - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Add query function to distinguish code of inlining from instances - - - - --- 2014-07-30 Arnaud Charlet New
[Ada] Add query for extended precision floating-point types [Ada] Add query for extended precision floating-point types - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Add push/pop capability in Output [Ada] Add push/pop capability in Output - - - - --- 2020-07-23 Arnaud Charlet New
[Ada] Add procedure to print out the predefined floating point types - - - - --- 2011-08-01 Arnaud Charlet New
[Ada] Add preliminary support for 128-bit integer types [Ada] Add preliminary support for 128-bit integer types - - - - --- 2020-09-12 Eric Botcazou New
[Ada] Add precise subprogram identification to -fdiagnostics-format=json [Ada] Add precise subprogram identification to -fdiagnostics-format=json - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type [Ada] Add pragma Preelaborable_Initialization to Stream_IO.File_Type - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] Add pragma Annotate for CodePeer analysis [Ada] Add pragma Annotate for CodePeer analysis - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Add postconditions to numeric functions - - - - --- 2012-05-15 Arnaud Charlet New
[Ada] Add paragraph about representation changes and Scalar_Storage_Order [Ada] Add paragraph about representation changes and Scalar_Storage_Order - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add overriding indicators - - - - --- 2011-12-22 Arnaud Charlet New
[Ada] Add overriding indicators - - - - --- 2012-01-06 Arnaud Charlet New
[Ada] Add optional argument for tool name to pragma Warnings - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Add option for strict standard interpretation in Alfa mode - - - - --- 2011-09-27 Arnaud Charlet New
[Ada] Add one more leading underscore to couple of exported symbols [Ada] Add one more leading underscore to couple of exported symbols - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Add obvious assertion - - - - --- 2012-12-08 Eric Botcazou New
[Ada] Add note about gnatcov reliance on thunk names [Ada] Add note about gnatcov reliance on thunk names - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add new locking policy to support concurrent readers - - - - --- 2011-09-27 Arnaud Charlet New
[Ada] Add new flags and entities - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Add new debug switch -gnatd.8 [Ada] Add new debug switch -gnatd.8 - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Add new debug procedure psloc - - - - --- 2012-07-17 Arnaud Charlet New
[Ada] Add new attribute System_Allocator_Alignment - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Add new attribute 'Elab_Subp_Body - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Add new Assign and Copy operations to unbounded containers - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Add more vectorization (sub-)tests - - - - --- 2011-12-13 Eric Botcazou New
[Ada] Add more node unions [Ada] Add more node unions - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Add more initialization of Stored_Constraint [Ada] Add more initialization of Stored_Constraint - - - - --- 2021-06-15 Pierre-Marie de Rodat New
[Ada] Add more dummy names in Sem_Warn.Has_Junk_Name [Ada] Add more dummy names in Sem_Warn.Has_Junk_Name - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Add mode for ignoring failures to read ALI files for back-ends - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Add missing type conversions - - - - --- 2015-11-30 Eric Botcazou New
[Ada] Add missing stride entry in debug info [Ada] Add missing stride entry in debug info - - - - --- 2020-09-11 Eric Botcazou New
[Ada] Add missing regular expression syntax error check [Ada] Add missing regular expression syntax error check - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Add missing guard for TYPE_CANONICAL [Ada] Add missing guard for TYPE_CANONICAL - - - - --- 2019-06-29 Eric Botcazou New
[Ada] Add missing guard before call to Interface_Present_In_Ancestor [Ada] Add missing guard before call to Interface_Present_In_Ancestor - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Add missing functions to Wide_Wide_Characters Handling [Ada] Add missing functions to Wide_Wide_Characters Handling - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Add missing functions to Ada.Characters.Handling - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Add missing entities to Stand.Tree_Read and Stand.Tree_Write - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Add missing end location information [Ada] Add missing end location information - - - - --- 2020-09-28 Eric Botcazou New
[Ada] Add missing conversion in call to Finalize primitive [Ada] Add missing conversion in call to Finalize primitive - - - - --- 2020-06-04 Pierre-Marie de Rodat New
[Ada] Add missing VMS run-time files - - - - --- 2011-12-15 Arnaud Charlet New
[Ada] Add missing Sloc on new explicit dereferences [Ada] Add missing Sloc on new explicit dereferences - - - - --- 2020-06-10 Pierre-Marie de Rodat New
[Ada] Add missing SPARK_Mode aspects/pragmas on formal containers - - - - --- 2014-11-20 Arnaud Charlet New
[Ada] Add missing Ravenscar restrictions - - - - --- 2014-02-24 Arnaud Charlet New
[Ada] Add missing Global contract to Ada.Containers.Functional_Vectors [Ada] Add missing Global contract to Ada.Containers.Functional_Vectors - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Add missed OS constant values [Ada] Add missed OS constant values - - - - --- 2021-07-09 Pierre-Marie de Rodat New
[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps [Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps - - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Add leap seconds for 2015 and 2016 [Ada] Add leap seconds for 2015 and 2016 - - - - --- 2018-12-03 Pierre-Marie de Rodat New
[Ada] Add internal abstraction for standard string test - - - - --- 2014-08-04 Arnaud Charlet New
[Ada] Add insertion character to Ineffective_Inline_Warnings messages [Ada] Add insertion character to Ineffective_Inline_Warnings messages - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Add insertion character for overlay modification warnings [Ada] Add insertion character for overlay modification warnings - - - - --- 2022-05-30 Pierre-Marie de Rodat New
[Ada] Add inline documentation for Is_{Parenthesis,Enum_Array}_Aggregate [Ada] Add inline documentation for Is_{Parenthesis,Enum_Array}_Aggregate - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Add initial support for aspects - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Add guard for making only legal labels unreachable [Ada] Add guard for making only legal labels unreachable - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries [Ada] Add global contracts to Ada.Numerics.Big_Numbers libraries - - - - --- 2020-07-10 Pierre-Marie de Rodat New
[Ada] Add ghost code to facilitate proof with SPARK [Ada] Add ghost code to facilitate proof with SPARK - - - - --- 2022-05-12 Pierre-Marie de Rodat New
[Ada] Add formal verification dependencies to libgnat [Ada] Add formal verification dependencies to libgnat - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Add formal function parameter equality to SPARK containers [Ada] Add formal function parameter equality to SPARK containers - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Add flags for front-end (internal change only) - - - - --- 2014-01-21 Arnaud Charlet New
[Ada] Add flag Body_Is_In_ALFA on subprogram entities - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Add extra exception info for validity checks - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Add extra entity fields - - - - --- 2015-03-13 Arnaud Charlet New
[Ada] Add extended overflow -gnato switch to usage - - - - --- 2012-10-02 Arnaud Charlet New
« 1 2 ... 721 722 723 … 1266 1267 »