Show patches with: Archived = No       |   127076 patches
« 1 2 ... 724 725 726 … 1270 1271 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Add warning for explicit by-reference mechanism [Ada] Add warning for explicit by-reference mechanism - - - - --- 2019-08-30 Eric Botcazou New
[Ada] Add warning for Suppress (Elaboration_Check) in SPARK - - - - --- 2015-01-06 Arnaud Charlet New
[Ada] Add version of Find_Token with From parameter - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Add utility to preanalyze assert expression without forcing its type [Ada] Add utility to preanalyze assert expression without forcing its type - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Add usage line for gnatmake switch -d - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Add unit file name for subunits in Alfa section of ALI file - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Add the default search dirs after the Builder switches - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Add system-vxworks7 variants of system.ads files for Vx7 [Ada] Add system-vxworks7 variants of system.ads files for Vx7 - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Add sys/time.h #include for QNX [Ada] Add sys/time.h #include for QNX - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Add switch to output reason why spec requires body - - - - --- 2013-10-17 Arnaud Charlet New
[Ada] Add support to load references of imported entities - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Add support to detect conflicting overriding primitive - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Add support for use of Annotate pragmas as configuration pragmas - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Add support for the CPU aspect - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Add support for selected generic function attributes in Ada [Ada] Add support for selected generic function attributes in Ada - - - - --- 2019-05-28 Eric Botcazou New
[Ada] Add support for returning binary message digest - - - - --- 2012-10-29 Arnaud Charlet New
[Ada] Add support for project file Install package. - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Add support for pragma No_Inline - - - - --- 2013-05-24 Eric Botcazou New
[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
« 1 2 ... 724 725 726 … 1270 1271 »