Show patches with: State = Action Required       |    Archived = No       |   126642 patches
« 1 2 ... 668 669 6701266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Tidy up freezing code for instantiations [Ada] Tidy up freezing code for instantiations - - - - --- 2021-12-01 Pierre-Marie de Rodat New
[Ada] The type of an in-out formal in a child instance - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] The progenitor of a type extension may be a subtype. - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] The environ macro is broken on vxworks7r2 SR0610 [Ada] The environ macro is broken on vxworks7r2 SR0610 - - - - --- 2019-07-10 Pierre-Marie de Rodat New
[Ada] The definition of constants in declare expressions is an interfering context [Ada] The definition of constants in declare expressions is an interfering context - - - - --- 2020-06-18 Pierre-Marie de Rodat New
[Ada] The actual type of a constant discriminated object - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] The Unix Epochalyse of 2038 - OS_Time comparison [Ada] The Unix Epochalyse of 2038 - OS_Time comparison - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The Unix Epochalyse of 2038 - OS_Time [Ada] The Unix Epochalyse of 2038 - OS_Time - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The Unix Epochalypse of 2038 - Use OS_Time [Ada] The Unix Epochalypse of 2038 - Use OS_Time - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The Unix Epochalypse of 2038 (Warn about time_t in the compiler) [Ada] The Unix Epochalypse of 2038 (Warn about time_t in the compiler) - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] The GNAT attribute 'Img can be renamed as a function. - - - - --- 2013-07-08 Arnaud Charlet New
[Ada] Test for recursive subprogram call via a derived subprogram - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Test for common parent before testing for sibling - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Test SPARK_Mode instead of GNATProve_Mode for warnings - - - - --- 2014-01-20 Arnaud Charlet New
[Ada] Temporary tweak new expansion of contracts [Ada] Temporary tweak new expansion of contracts - - - - --- 2022-09-12 Marc Poulhiès New
[Ada] Temporarily simplify legality checks for Inox case statements [Ada] Temporarily simplify legality checks for Inox case statements - - - - --- 2022-09-06 Marc Poulhiès New
[Ada] Temporarily disable Ada 2022 Image and Put_Image support for tagged types [Ada] Temporarily disable Ada 2022 Image and Put_Image support for tagged types - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Tech debt: Remove code duplication [Ada] Tech debt: Remove code duplication - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Tbuild cleanup [Ada] Tbuild cleanup - - - - --- 2021-07-06 Pierre-Marie de Rodat New
[Ada] Task declarations in entry bodies - - - - --- 2010-09-09 Arnaud Charlet New
[Ada] Task arrays trigger spurious unreferenced warnings [Ada] Task arrays trigger spurious unreferenced warnings - - - - --- 2022-01-10 Pierre-Marie de Rodat New
[Ada] Task arrays trigger spurious unreferenced warnings [Ada] Task arrays trigger spurious unreferenced warnings - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Target name is an object reference [Ada] Target name is an object reference - - - - --- 2020-07-15 Pierre-Marie de Rodat New
[Ada] Tan should never raise Constraint_Error - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Take null exclusion into account for statically compatible subtypes - - - - --- 2010-10-22 Arnaud Charlet New
[Ada] Take into account unresolved calls in Alfa mode - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Take into account alignment gap for component reordering [Ada] Take into account alignment gap for component reordering - - - - --- 2017-09-09 Eric Botcazou New
[Ada] Take into account GNSA_ROOT env var for prefix [Ada] Take into account GNSA_ROOT env var for prefix - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Take full view of private type [Ada] Take full view of private type - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Tagged "/=" operator in GNAT tree doesn't get fully resolved with -gnatc - - - - --- 2012-10-01 Arnaud Charlet New
[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
« 1 2 ... 668 669 6701266 1267 »