Show patches with: Archived = No       |   126820 patches
« 1 2 ... 669 670 671 … 1268 1269 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Tag-indeterminate calls - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Tag restriction warning messages - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Tag initialization in object declarations - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Taft-amendment types and Ada 2012 type invariants - - - - --- 2011-11-23 Arnaud Charlet New
[Ada] T'Size in pragma Compile_Time_Error [Ada] T'Size in pragma Compile_Time_Error - - - - --- 2019-10-10 Pierre-Marie de Rodat New
[Ada] T'Image calls T'Put_Image [Ada] T'Image calls T'Put_Image - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] T'Class'Input reading corrupted data [Ada] T'Class'Input reading corrupted data - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] System.Strings.Stream_Ops: do not depend on Stream_IO [Ada] System.Strings.Stream_Ops: do not depend on Stream_IO - - - - --- 2019-07-10 Pierre-Marie de Rodat New
[Ada] System'To_Address not always static [Ada] System'To_Address not always static - - - - --- 2018-11-14 Pierre-Marie de Rodat New
[Ada] Syntax error on "not null procedure" [Ada] Syntax error on "not null procedure" - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Syntax error in Ada 2022 array aggregate causes bug box [Ada] Syntax error in Ada 2022 array aggregate causes bug box - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Syntax error detection on Ghost abstract states - - - - --- 2015-03-04 Arnaud Charlet New
[Ada] Syntax checks when SPARK_Mode is Off - - - - --- 2014-02-24 Arnaud Charlet New
[Ada] Syntactic error recovery for case expressions - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Synchronized object definition in SPARK updated [Ada] Synchronized object definition in SPARK updated - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Synchronization of run time support for controlled objects - - - - --- 2011-10-24 Arnaud Charlet New
[Ada] Synchronization of SPARK implementation against reference manual - - - - --- 2014-01-27 Arnaud Charlet New
[Ada] Synchronization issues in Set_Finalize_Address - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] Sync wide Ada.String hashing units [Ada] Sync wide Ada.String hashing units - - - - --- 2020-11-26 Pierre-Marie de Rodat New
[Ada] Sync whitespace between variants of Indefinite_Holders unit [Ada] Sync whitespace between variants of Indefinite_Holders unit - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] Sync documentation of junk names with code [Ada] Sync documentation of junk names with code - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Sync doc and code for pragma Assertion_Policy [Ada] Sync doc and code for pragma Assertion_Policy - - - - --- 2020-11-27 Pierre-Marie de Rodat New
[Ada] Sync code for external properties with SPARK RM [Ada] Sync code for external properties with SPARK RM - - - - --- 2020-10-23 Pierre-Marie de Rodat New
[Ada] Switches for truncated file name on VMS - - - - --- 2010-10-18 Arnaud Charlet New
[Ada] Switch to control maximum number of instantiations - - - - --- 2012-03-15 Arnaud Charlet New
[Ada] Switch to ZCX on AIX - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Switch to SR0660 [Ada] Switch to SR0660 - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Switch from __sync to __atomic builtins for atomic counters [Ada] Switch from __sync to __atomic builtins for atomic counters - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Switch from __sync to __atomic builtins for Lock_Free_Try_Write [Ada] Switch from __sync to __atomic builtins for Lock_Free_Try_Write - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Switch Ada_Version_Runtime to Ada 2020 [Ada] Switch Ada_Version_Runtime to Ada 2020 - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Switch -gnatp should have no effect in GNATprove mode - - - - --- 2014-10-31 Arnaud Charlet New
[Ada] Swapped inputs and outputs in UG Inline Assembler section - - - - --- 2012-03-07 Arnaud Charlet New
[Ada] Suspension and elaboration warnings/checks [Ada] Suspension and elaboration warnings/checks - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppression of elaboration-related warnings [Ada] Suppression of elaboration-related warnings - - - - --- 2018-05-23 Pierre-Marie de Rodat New
[Ada] Suppress_Initialization not respected for private subtypes [Ada] Suppress_Initialization not respected for private subtypes - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Suppress warnings on unreferenced parameters of dispatching ops [Ada] Suppress warnings on unreferenced parameters of dispatching ops - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Suppress warnings on membership test of ranges [Ada] Suppress warnings on membership test of ranges - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Suppress warnings in trivial subprograms with finalization [Ada] Suppress warnings in trivial subprograms with finalization - - - - --- 2022-09-05 Marc Poulhiès New
[Ada] Suppress warnings in generic instantiations with pragma Warnings [Ada] Suppress warnings in generic instantiations with pragma Warnings - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Suppress warning in g-socthi__vxworks.adb [Ada] Suppress warning in g-socthi__vxworks.adb - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Suppress warning for Interfaces.C with -fdump-ada-spec [Ada] Suppress warning for Interfaces.C with -fdump-ada-spec - - - - --- 2020-05-12 Eric Botcazou New
[Ada] Suppress unused warnings in the presence of errors [Ada] Suppress unused warnings in the presence of errors - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Suppress the expansion of ignored assertion pragmas [Ada] Suppress the expansion of ignored assertion pragmas - - - - --- 2018-06-11 Pierre-Marie de Rodat New
[Ada] Suppress spurious CodePeer check on generic actual subprogram [Ada] Suppress spurious CodePeer check on generic actual subprogram - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Suppress generation of ABE checks in GNATprove mode [Ada] Suppress generation of ABE checks in GNATprove mode - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Suppress false elaboration warnings -- indirect Elaborate_All - - - - --- 2012-07-16 Arnaud Charlet New
[Ada] Suppress false alarm "postcondition refers only to pre-state" - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Suppress expansion related to tasking and tagged types in Alfa mode - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Suppress checks within finalizers [Ada] Suppress checks within finalizers - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Suppress call to Initial_Condition when the annotation is ignored [Ada] Suppress call to Initial_Condition when the annotation is ignored - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Suppress Initialize_Scalars for Persistent_BSS [Ada] Suppress Initialize_Scalars for Persistent_BSS - - - - --- 2019-08-20 Pierre-Marie de Rodat New
[Ada] Suppress Import-In-Pure-Unit warning if Pure_Function given - - - - --- 2015-01-30 Arnaud Charlet New
[Ada] Suppress GNAT FE up-level reference transformation for GNAT-LLVM [Ada] Suppress GNAT FE up-level reference transformation for GNAT-LLVM - - - - --- 2019-09-19 Pierre-Marie de Rodat New
[Ada] Suppress Base_Address call on init of activation record components [Ada] Suppress Base_Address call on init of activation record components - - - - --- 2019-12-13 Pierre-Marie de Rodat New
[Ada] Support target with both VAX and IEEE float - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Support pragma Allow_Integer_Address on 64-bit targets [Ada] Support pragma Allow_Integer_Address on 64-bit targets - - - - --- 2020-06-03 Pierre-Marie de Rodat New
[Ada] Support gmem.out longer than 2G on 32 bit platforms [Ada] Support gmem.out longer than 2G on 32 bit platforms - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Support ghost generic formal parameters [Ada] Support ghost generic formal parameters - - - - --- 2022-07-06 Pierre-Marie de Rodat New
[Ada] Support for user-defined storage pools in limited function returns - - - - --- 2011-10-13 Arnaud Charlet New
[Ada] Support for reverse iteration on formal containers [Ada] Support for reverse iteration on formal containers - - - - --- 2017-10-09 Pierre-Marie de Rodat New
[Ada] Support for renamings in aspects Depends and Global - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Support for recording bind time environment info - - - - --- 2015-10-20 Arnaud Charlet New
[Ada] Support for new socket options - - - - --- 2017-01-06 Arnaud Charlet New
[Ada] Support for locking policies in Linux - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for local unix sockets in GNAT.Sockets API [Ada] Support for local unix sockets in GNAT.Sockets API - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Support for hash based message authentication codes - - - - --- 2014-08-04 Arnaud Charlet New
[Ada] Support for discriminants in pragma Default_Initial_Condition - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for discriminants in pragma Default_Initial_Condition - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for discriminants in pragma Default_Initial_Condition - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Support for coverage analysis of ACCEPT alternatives in SELECT statement - - - - --- 2012-07-23 Arnaud Charlet New
[Ada] Support for controlled objects allocated on the heap for .NET/JVM - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Support for aspect Refined_State - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Support for Priority aspect - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Support for Ghost type extensions, major Ghost entity clean up - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Support for CLOCK_MONOTONIC on AIX 5.3 - - - - --- 2013-10-13 Arnaud Charlet New
[Ada] Support for C99 and C++ standard boolean types [Ada] Support for C99 and C++ standard boolean types - - - - --- 2018-05-25 Pierre-Marie de Rodat New
[Ada] Support chained calls to traversal functions in SPARK [Ada] Support chained calls to traversal functions in SPARK - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Support both concurrent and sequential partition elaboration policies - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Support aspect Relaxed_Initialization on private types and constants [Ada] Support aspect Relaxed_Initialization on private types and constants - - - - --- 2020-06-17 Pierre-Marie de Rodat New
[Ada] Support access types in GNATprove [Ada] Support access types in GNATprove - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Support Ada 2022 null array aggregates [Ada] Support Ada 2022 null array aggregates - - - - --- 2022-05-19 Pierre-Marie de Rodat New
[Ada] Support 'Reduce under -gnatX [Ada] Support 'Reduce under -gnatX - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Superfluous restriction on aspect Dimension applied to integer type [Ada] Superfluous restriction on aspect Dimension applied to integer type - - - - --- 2017-10-20 Pierre-Marie de Rodat New
[Ada] Suggest use of First_Valid/Last_Valid on type with static predicate [Ada] Suggest use of First_Valid/Last_Valid on type with static predicate - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Subtype indications inherit predicates [Ada] Subtype indications inherit predicates - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Subprograms should not be treated as Pure if limited arguments - - - - --- 2010-09-10 Arnaud Charlet New
[Ada] Subprogram_Variant in ignored ghost code [Ada] Subprogram_Variant in ignored ghost code - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Subprogram renaming fails to hide homograph [Ada] Subprogram renaming fails to hide homograph - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Subprogram renaming and private overriding - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Subprogram contracts on generics - - - - --- 2015-03-02 Arnaud Charlet New
[Ada] Style checks on subprogram instantiations - - - - --- 2012-04-02 Arnaud Charlet New
[Ada] Style checks on invalid UTF character cause crash [Ada] Style checks on invalid UTF character cause crash - - - - --- 2020-06-19 Pierre-Marie de Rodat New
[Ada] Style check for mixed-case identifiers [Ada] Style check for mixed-case identifiers - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Stubs that complete generic subprogram do have a "prior declaration" [Ada] Stubs that complete generic subprogram do have a "prior declaration" - - - - --- 2018-12-11 Pierre-Marie de Rodat New
[Ada] Stub CUDA_Execute and CUDA_Global pragmas [Ada] Stub CUDA_Execute and CUDA_Global pragmas - - - - --- 2020-07-23 Arnaud Charlet New
[Ada] Stub CUDA_Device aspect [Ada] Stub CUDA_Device aspect - - - - --- 2021-10-01 Pierre-Marie de Rodat New
[Ada] Stronger assertion about flag for checking static expressions [Ada] Stronger assertion about flag for checking static expressions - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Strip Switch.C of most of its dependencies - - - - --- 2011-08-02 Arnaud Charlet New
« 1 2 ... 669 670 671 … 1268 1269 »