Show patches with: Archived = No       |   126795 patches
« 1 2 ... 587 588 589 … 1267 1268 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Put_Image attribute [Ada] Put_Image attribute - - - - --- 2020-06-11 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[Ada] Put_Image improvements for strings [Ada] Put_Image improvements for strings - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] Put_Image: Enable for access-to-subprogram types [Ada] Put_Image: Enable for access-to-subprogram types - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] Put_Image: Implement for private types with full real type [Ada] Put_Image: Implement for private types with full real type - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] QNX shared libraries - arm-qnx build gnatlib .so's [Ada] QNX shared libraries - arm-qnx build gnatlib .so's - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Quadratic compile time with tagged types [Ada] Quadratic compile time with tagged types - - - - --- 2018-05-24 Pierre-Marie de Rodat New
[Ada] Quadratic explosion caused by freezing of contracts [Ada] Quadratic explosion caused by freezing of contracts - - - - --- 2017-11-09 Pierre-Marie de Rodat New
[Ada] Qualified expressions and Code statements in Ada 2012 - - - - --- 2011-10-13 Arnaud Charlet New
[Ada] Qualify internal access-to-subprogram types as not null [Ada] Qualify internal access-to-subprogram types as not null - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Quantified expressions and functions with side effects - - - - --- 2012-03-30 Arnaud Charlet New
[Ada] Quantified expressions in pre/postconditions and other contexts - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] RFA: Add some "missing" integer_one_node conversions - - - - --- 2014-05-10 Richard Sandiford New
[Ada] RISC-V: Initial riscv linux Ada port. [Ada] RISC-V: Initial riscv linux Ada port. - - - - --- 2018-07-05 Jim Wilson New
[Ada] RTEMS: use default stack checking emulation package [Ada] RTEMS: use default stack checking emulation package - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] RTEMS: use regular RTEMS API for minimum stack size calculation [Ada] RTEMS: use regular RTEMS API for minimum stack size calculation - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] Race condition in Make_Independent - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Race condition in allocator with finalization - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Raise Capacity_Error on formal vector insertion [Ada] Raise Capacity_Error on formal vector insertion - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Raise Constraint_Error for Compose and Scaling if Machine_Overflows [Ada] Raise Constraint_Error for Compose and Scaling if Machine_Overflows - - - - --- 2021-05-07 Pierre-Marie de Rodat New
[Ada] Raise Constraint_Error in overflow case involving rounding [Ada] Raise Constraint_Error in overflow case involving rounding - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Raise Constraint_Error when converting negative values to Char_Code [Ada] Raise Constraint_Error when converting negative values to Char_Code - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Raise Program_Error on default initialization of references - - - - --- 2015-05-22 Arnaud Charlet New
[Ada] Raise exception if Current_Directory does not exist - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Raise exception on call to Expect for a dead process [Ada] Raise exception on call to Expect for a dead process - - - - --- 2019-09-18 Pierre-Marie de Rodat New
[Ada] Raise expressions and unconstrained components [Ada] Raise expressions and unconstrained components - - - - --- 2021-06-16 Pierre-Marie de Rodat New
[Ada] Raise_Expression in membership test causes test to fail - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Ravenscar simple barriers and validity checks [Ada] Ravenscar simple barriers and validity checks - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Re-enable -feliminate-unused-debug-types by default - - - - --- 2011-04-02 Gerald Pfeifer New
[Ada] Re-enable -feliminate-unused-debug-types by default - - - - --- 2011-04-02 Eric Botcazou New
[Ada] Re-implement classwide invariants to evaluate statically - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Read references in ali files for out-mode parameters - - - - --- 2013-02-06 Arnaud Charlet New
[Ada] Recognize HIDE directive in SPARK as special comment - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Recognize delta and extension aggregates as objects [Ada] Recognize delta and extension aggregates as objects - - - - --- 2020-11-24 Pierre-Marie de Rodat New
[Ada] Recompile if ALI file newer than object file - - - - --- 2010-10-04 Arnaud Charlet New
[Ada] Recompile when a dependency has been replaced with another file name - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Record components do not appear in the Global contract [Ada] Record components do not appear in the Global contract - - - - --- 2018-11-14 Pierre-Marie de Rodat New
[Ada] Record fatal errors in tree even in -gnatq/Q mode - - - - --- 2015-02-05 Arnaud Charlet New
[Ada] Record original expression associated with actual subtypes - - - - --- 2010-06-22 Arnaud Charlet New
[Ada] Recover from significant slowdown in the front-end - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Recover proof of Ada.Strings.Fixed with assertions [Ada] Recover proof of Ada.Strings.Fixed with assertions - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Recover proof of Scaled_Divide in System.Arith_64 [Ada] Recover proof of Scaled_Divide in System.Arith_64 - - - - --- 2022-09-02 Marc Poulhiès New
[Ada] Redefine FD_SETSIZE before including system headers - - - - --- 2011-12-12 Arnaud Charlet New
[Ada] Redefine IOV_MAX on Tru64 and VMS - - - - --- 2010-06-14 Arnaud Charlet New
[Ada] Rederivation of interface primitives - - - - --- 2010-06-21 Arnaud Charlet New
[Ada] Redesigned support for SCIL nodes - - - - --- 2010-06-23 Arnaud Charlet New
[Ada] Reduce -Wstack-usage false positives on variant records [Ada] Reduce -Wstack-usage false positives on variant records - - - - --- 2018-07-07 Eric Botcazou New
[Ada] Reduce compilation time - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Reduce compilation time at -O0 (1/n) - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Reduce compilation time at -O0 (2/n) - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Reduce compilation time at -O0 (3/n) - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Reduce compilation time at -O0 (4/n) - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Reduce compilation time at -O0 (5/n) - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Reduce rounding overhead in sin/cos/tan functions on x86 - - - - --- 2017-04-25 Arnaud Charlet New
[Ada] Reduce runtime dependencies on stage1 [Ada] Reduce runtime dependencies on stage1 - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Reduce scope of declare block in analysis of allocators [Ada] Reduce scope of declare block in analysis of allocators - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Reduce scope of local variables [Ada] Reduce scope of local variables - - - - --- 2021-07-07 Pierre-Marie de Rodat New
[Ada] Reduce scope of local variables for detecting extra WITH clauses [Ada] Reduce scope of local variables for detecting extra WITH clauses - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Reduce use of N_Reference nodes in generated code - - - - --- 2014-02-18 Arnaud Charlet New
[Ada] Reduce use of primary stack on string concatenation [Ada] Reduce use of primary stack on string concatenation - - - - --- 2020-10-16 Pierre-Marie de Rodat New
[Ada] Redundant apostrophes in error messages - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Redundant comparison to True - - - - --- 2013-04-24 Arnaud Charlet New
[Ada] Redundant elaboration checks - - - - --- 2010-10-07 Arnaud Charlet New
[Ada] Redundant finalization of controlled function result - - - - --- 2012-08-06 Arnaud Charlet New
[Ada] Refactor appending to possibly empty lists [Ada] Refactor appending to possibly empty lists - - - - --- 2020-10-22 Pierre-Marie de Rodat New
[Ada] Refactor duplicate code for pretty-printing GNAT AST [Ada] Refactor duplicate code for pretty-printing GNAT AST - - - - --- 2021-10-04 Pierre-Marie de Rodat New
[Ada] Refactor duplicated resolution of Count and Index attributes [Ada] Refactor duplicated resolution of Count and Index attributes - - - - --- 2022-07-04 Pierre-Marie de Rodat New
[Ada] Refactor handling of project path - - - - --- 2010-10-05 Arnaud Charlet New
[Ada] Refactor nested loops in warning on unassigned out parameter [Ada] Refactor nested loops in warning on unassigned out parameter - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Refactor pragma argument getters [Ada] Refactor pragma argument getters - - - - --- 2020-07-27 Pierre-Marie de Rodat New
[Ada] Refactor repeated call to Next when pretty-printing if-expressions [Ada] Refactor repeated call to Next when pretty-printing if-expressions - - - - --- 2021-05-05 Pierre-Marie de Rodat New
[Ada] Refactor repeated checks for the expression of aspect Static [Ada] Refactor repeated checks for the expression of aspect Static - - - - --- 2021-04-28 Pierre-Marie de Rodat New
[Ada] Refactor repeated code for Value attributes [Ada] Refactor repeated code for Value attributes - - - - --- 2020-12-15 Pierre-Marie de Rodat New
[Ada] Refactor repeated complains about missing -gnat2005 switch [Ada] Refactor repeated complains about missing -gnat2005 switch - - - - --- 2020-12-15 Pierre-Marie de Rodat New
[Ada] Refactor repeated implicit conversion from Char_Code to Uint [Ada] Refactor repeated implicit conversion from Char_Code to Uint - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Refactor scan_backend_switch to share logic across backends [Ada] Refactor scan_backend_switch to share logic across backends - - - - --- 2021-09-20 Pierre-Marie de Rodat New
[Ada] Refactoring of Ada.Text_IO.Put - - - - --- 2012-01-23 Arnaud Charlet New
[Ada] Refactoring related to Returns_By_Ref [Ada] Refactoring related to Returns_By_Ref - - - - --- 2021-07-05 Pierre-Marie de Rodat New
[Ada] Reference before declaration on C392015 [Ada] Reference before declaration on C392015 - - - - --- 2020-11-27 Pierre-Marie de Rodat New
[Ada] Reference in Unbounded_String is almost never null [Ada] Reference in Unbounded_String is almost never null - - - - --- 2021-11-09 Pierre-Marie de Rodat New
[Ada] Reference in Unbounded_String is almost never null [Ada] Reference in Unbounded_String is almost never null - - - - --- 2021-10-25 Pierre-Marie de Rodat New
[Ada] Referenced enumeration literals in attributes. - - - - --- 2011-10-13 Arnaud Charlet New
[Ada] References to formals of access_to_subprogram types - - - - --- 2013-07-05 Arnaud Charlet New
[Ada] References to task and protected types in aspects/pragmas - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] References to the formals of a subprogram stub - - - - --- 2011-09-01 Arnaud Charlet New
[Ada] References to the formals of child subprograms without specs - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Refine change for bit-packed slices [Ada] Refine change for bit-packed slices - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Refine conditions for calling Copy_Bitfield [Ada] Refine conditions for calling Copy_Bitfield - - - - --- 2019-09-17 Pierre-Marie de Rodat New
[Ada] Refine description of SPARK with static Boolean expressions [Ada] Refine description of SPARK with static Boolean expressions - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Refine diagnostics on size or position mistakes in component rep clause - - - - --- 2013-01-06 Eric Botcazou New
[Ada] Refine error messages for illegal placement of [Type_]Invariant aspect - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Refine expansion in Alfa mode - - - - --- 2011-08-30 Arnaud Charlet New
[Ada] Refine heuristics for unreachable-code warnings [Ada] Refine heuristics for unreachable-code warnings - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Refine implementation of AI05-0149 missing conversion checks [Ada] Refine implementation of AI05-0149 missing conversion checks - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Refine iteration from entities to formals [Ada] Refine iteration from entities to formals - - - - --- 2022-05-10 Pierre-Marie de Rodat New
[Ada] Refine patch for spurious link error involving discriminated types [Ada] Refine patch for spurious link error involving discriminated types - - - - --- 2021-09-21 Pierre-Marie de Rodat New
[Ada] Refine previous changes on making symbols public/private [Ada] Refine previous changes on making symbols public/private - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Refine result type of Get_Accessibility [Ada] Refine result type of Get_Accessibility - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Refine type for checking number of pragma arguments [Ada] Refine type for checking number of pragma arguments - - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Refine type for sorting case-choices tables [Ada] Refine type for sorting case-choices tables - - - - --- 2020-06-11 Pierre-Marie de Rodat New
« 1 2 ... 587 588 589 … 1267 1268 »