Show patches with: Archived = No       |   126687 patches
« 1 2 ... 706 707 708 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Fix -fdump-ada-spec issue with array field [Ada] Fix -fdump-ada-spec issue with array field - - - - --- 2019-11-13 Eric Botcazou New
[Ada] Fix --enable-build-with-cxx build - - - - --- 2011-07-11 Eric Botcazou New
[Ada] Fix --enable-build-with-cxx build - - - - --- 2011-07-12 Eric Botcazou New
[Ada] Fix --enable-build-with-cxx build - - - - --- 2011-07-21 Eric Botcazou New
[Ada] Fix 'noreturn' for reraise of exception - - - - --- 2012-05-06 Eric Botcazou New
[Ada] Fix 'char' compatibility with C - - - - --- 2016-01-20 Eric Botcazou New
[Ada] Fix 'Last_Bit attribute applied to zero-sized type - - - - --- 2013-05-26 Eric Botcazou New
[Ada] Fix "S p e c" and "B o d y" file headers [Ada] Fix "S p e c" and "B o d y" file headers - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Finer grained secondary stack management - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Finding proper scope when inside entry body [Ada] Finding proper scope when inside entry body - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Find an interpretation for membership test with a singleton value [Ada] Find an interpretation for membership test with a singleton value - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Finalization of uninitialized object with build in place call [Ada] Finalization of uninitialized object with build in place call - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Finalization of temporary controlled function results - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Finalization of controlled object in instance - - - - --- 2012-04-26 Arnaud Charlet New
[Ada] Finalization of components when Initialize fails - - - - --- 2014-07-18 Arnaud Charlet New
[Ada] Finalization for b-i-p that raises exception [Ada] Finalization for b-i-p that raises exception - - - - --- 2017-09-07 Arnaud Charlet New
[Ada] Finalization actions in instances within generic units - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Finalization actions during abort - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Finalization actions during abort - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Finalizable iterators for Ada 2012 containers - - - - --- 2011-11-23 Arnaud Charlet New
[Ada] Final implementation of Default[_Component]_Value aspects - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Final fix to inheriting of Pre'Class preconditions - - - - --- 2010-10-12 Arnaud Charlet New
[Ada] Filter out read reference to operator in Alfa xrefs - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Filter out -Winline messages for compiler-generated code - - - - --- 2011-04-22 Eric Botcazou New
[Ada] Filter constants from effect information in ALI files - - - - --- 2011-09-05 Arnaud Charlet New
[Ada] File not found for unit in multi-unit source - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] File descriptors leaking - - - - --- 2016-04-18 Arnaud Charlet New
[Ada] File descriptor leak in GNAT.Expect - - - - --- 2012-04-02 Arnaud Charlet New
[Ada] Fields _CPU, _Priority and _Dispatching_Domain - - - - --- 2012-06-26 Arnaud Charlet New
[Ada] Faulty ignored Ghost code removal [Ada] Faulty ignored Ghost code removal - - - - --- 2018-07-17 Pierre-Marie de Rodat New
[Ada] Fatal error if linker options appear in predefined generics - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Fall-back termination handlers does not apply to Self - - - - --- 2013-04-24 Arnaud Charlet New
[Ada] Failure to unlock shared passive protected - - - - --- 2014-07-17 Arnaud Charlet New
[Ada] Failure to detect trivial infinite recursion [Ada] Failure to detect trivial infinite recursion - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Failure to detect trivial infinite recursion [Ada] Failure to detect trivial infinite recursion - - - - --- 2019-07-05 Pierre-Marie de Rodat New
[Ada] Failure to detect redeclaration of constant with initial aggregate value - - - - --- 2014-01-24 Arnaud Charlet New
[Ada] Failure to detect illegal pragma No_Return - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Failure to detect illegal parens in static predicate - - - - --- 2014-07-18 Arnaud Charlet New
[Ada] Failure to allocate on storage subpool [Ada] Failure to allocate on storage subpool - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Failure compiling "for ... of" loop over a slice [Ada] Failure compiling "for ... of" loop over a slice - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Factorize code in raise-gcc.c - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Factoring duplicated code - - - - --- 2011-10-13 Arnaud Charlet New
[Ada] Factor out worker procedure for -gnatR [Ada] Factor out worker procedure for -gnatR - - - - --- 2018-05-29 Pierre-Marie de Rodat New
[Ada] Factor out the "size for& too small..." error message [Ada] Factor out the "size for& too small..." error message - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Factor out many fields in entities [Ada] Factor out many fields in entities - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Factor out machine rounding operations [Ada] Factor out machine rounding operations - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Factor out code for deciding statically known Constrained attributes [Ada] Factor out code for deciding statically known Constrained attributes - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Factor duplicated code in expansion of record assignments - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Facilitate proof of Overwrite in bounded strings library [Ada] Facilitate proof of Overwrite in bounded strings library - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Extraction of components/discriminants of concurrent types - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Extra semantic rules for aspect Abstract_State and aspect Global - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Extra precision in the evaluation of non-static expressions - - - - --- 2016-07-06 Arnaud Charlet New
[Ada] Extensions of constrained discriminated with other progenitors - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Extension of 'Image in Ada2020. [Ada] Extension of 'Image in Ada2020. - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Extension of 'Image in Ada2020 [Ada] Extension of 'Image in Ada2020 - - - - --- 2017-09-06 Arnaud Charlet New
[Ada] Extension aggregate with ancestor that is a constrained private extension - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Extending project does not inherit Linker_Options - - - - --- 2010-06-17 Arnaud Charlet New
[Ada] Extending library projects with no sources does not build - - - - --- 2011-08-04 Arnaud Charlet New
[Ada] Extended traversal subprograms for GNATprove [Ada] Extended traversal subprograms for GNATprove - - - - --- 2019-08-12 Pierre-Marie de Rodat New
[Ada] Extended syntax for Check_Policy - - - - --- 2013-04-12 Arnaud Charlet New
[Ada] Extended return statements require static compatibility - - - - --- 2010-10-08 Arnaud Charlet New
[Ada] Extend the applicability of Thread_Local_Storage to composite types [Ada] Extend the applicability of Thread_Local_Storage to composite types - - - - --- 2018-05-30 Pierre-Marie de Rodat New
[Ada] Extend support for limited_width clause - - - - --- 2015-06-01 Eric Botcazou New
[Ada] Extend pragma Implicit_Packing to byte-packed array types - - - - --- 2016-05-16 Eric Botcazou New
[Ada] Extend pragma Implicit_Packing for records to composite components - - - - --- 2016-05-16 Eric Botcazou New
[Ada] Extend optimized equality of 2-element arrays [Ada] Extend optimized equality of 2-element arrays - - - - --- 2021-11-10 Pierre-Marie de Rodat New
[Ada] Extend optimization to True/False prefixed with Standard [Ada] Extend optimization to True/False prefixed with Standard - - - - --- 2020-07-08 Pierre-Marie de Rodat New
[Ada] Extend legality of Scalar_Storage_Order to formal types [Ada] Extend legality of Scalar_Storage_Order to formal types - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Extend hardcfr testing (documentation) [Ada] Extend hardcfr testing (documentation) - - - - --- 2022-05-13 Pierre-Marie de Rodat New
[Ada] Extend efficient array reset to all elementary types [Ada] Extend efficient array reset to all elementary types - - - - --- 2017-09-08 Arnaud Charlet New
[Ada] Extend compile-time evaluation in case statements to all objects [Ada] Extend compile-time evaluation in case statements to all objects - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Extend atomic synchronization handling to selections - - - - --- 2011-11-04 Arnaud Charlet New
[Ada] Extend No_Dependence restriction to code generation [Ada] Extend No_Dependence restriction to code generation - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Extend No_Dependence restriction to code generation [Ada] Extend No_Dependence restriction to code generation - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Extend Find_Related_Context to deal with child instances [Ada] Extend Find_Related_Context to deal with child instances - - - - --- 2021-04-29 Pierre-Marie de Rodat New
[Ada] Extend ALFA marks to more types of nodes - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Extend -gnatw.z warning to array types [Ada] Extend -gnatw.z warning to array types - - - - --- 2019-07-03 Pierre-Marie de Rodat New
[Ada] Expression_With_Actions and finalization - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] Expression of static predicate should be static - - - - --- 2013-04-25 Arnaud Charlet New
[Ada] Expression functions, internal bodies and freezing of contracts - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Expression functions need not trigger loading of package body - - - - --- 2016-04-27 Arnaud Charlet New
[Ada] Expression functions do not freeze - - - - --- 2011-09-19 Arnaud Charlet New
[Ada] Expression functions as fully private protected operations - - - - --- 2014-01-22 Arnaud Charlet New
[Ada] Expression functions as completions and private types - - - - --- 2017-01-13 Arnaud Charlet New
[Ada] Expression functions and protected definitions - - - - --- 2013-01-29 Arnaud Charlet New
[Ada] Expr. func. with private formal rejected in nested Ghost package [Ada] Expr. func. with private formal rejected in nested Ghost package - - - - --- 2019-07-04 Pierre-Marie de Rodat New
[Ada] Expose symmetry between Known_ and Unknown_ query routines [Ada] Expose symmetry between Known_ and Unknown_ query routines - - - - --- 2021-06-30 Pierre-Marie de Rodat New
[Ada] Expose part of ownership checking for use in GNATprove [Ada] Expose part of ownership checking for use in GNATprove - - - - --- 2019-08-14 Pierre-Marie de Rodat New
[Ada] Export the Ada version through the C interface [Ada] Export the Ada version through the C interface - - - - --- 2019-12-16 Pierre-Marie de Rodat New
[Ada] Export Make_Independent from GNAT.Threads [Ada] Export Make_Independent from GNAT.Threads - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Exponentiation works with extended overflow checks - - - - --- 2012-10-01 Arnaud Charlet New
[Ada] Explicitly pass exception occurrence to notifiers - - - - --- 2012-07-16 Arnaud Charlet New
[Ada] Expansion of selected components that denote discriminants - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Expansion of renamings of unconstrained objects - - - - --- 2012-11-06 Arnaud Charlet New
[Ada] Expansion of indexed referenced to packed arrays when prefix is a call - - - - --- 2011-08-31 Arnaud Charlet New
[Ada] Expansion of discrete choices [Ada] Expansion of discrete choices - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Expansion of case expressions - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Expansion of Ada2012 predicate checks for type conversions - - - - --- 2011-08-05 Arnaud Charlet New
[Ada] Expansion of "of" iterator loop over multidimensional arrays - - - - --- 2012-03-09 Arnaud Charlet New
[Ada] Expansion in _postconditions confusing CodePeer [Ada] Expansion in _postconditions confusing CodePeer - - - - --- 2021-05-03 Pierre-Marie de Rodat New
« 1 2 ... 706 707 708 … 1266 1267 »