Show patches with: Archived = No       |   126832 patches
« 1 2 ... 681 682 683 … 1268 1269 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[Ada] Re-enable -feliminate-unused-debug-types by default - - - - --- 2011-04-02 Gerald Pfeifer New
[Ada] Ravenscar simple barriers and validity checks [Ada] Ravenscar simple barriers and validity checks - - - - --- 2017-09-18 Pierre-Marie de Rodat New
[Ada] Raise_Expression in membership test causes test to fail - - - - --- 2013-04-11 Arnaud Charlet New
[Ada] Raise expressions and unconstrained components [Ada] Raise expressions and unconstrained components - - - - --- 2021-06-16 Pierre-Marie de Rodat 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 exception if Current_Directory does not exist - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Raise Program_Error on default initialization of references - - - - --- 2015-05-22 Arnaud Charlet 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 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 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 Capacity_Error on formal vector insertion [Ada] Raise Capacity_Error on formal vector insertion - - - - --- 2020-10-21 Pierre-Marie de Rodat New
[Ada] Race condition in allocator with finalization - - - - --- 2016-05-02 Arnaud Charlet New
[Ada] Race condition in Make_Independent - - - - --- 2011-08-29 Arnaud Charlet 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] RTEMS: use default stack checking emulation package [Ada] RTEMS: use default stack checking emulation package - - - - --- 2021-10-11 Pierre-Marie de Rodat New
[Ada] RISC-V: Initial riscv linux Ada port. [Ada] RISC-V: Initial riscv linux Ada port. - - - - --- 2018-07-05 Jim Wilson New
[Ada] RFA: Add some "missing" integer_one_node conversions - - - - --- 2014-05-10 Richard Sandiford New
[Ada] Quantified expressions in pre/postconditions and other contexts - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] Quantified expressions and functions with side effects - - - - --- 2012-03-30 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] Qualified expressions and Code statements in Ada 2012 - - - - --- 2011-10-13 Arnaud Charlet 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] Quadratic compile time with tagged types [Ada] Quadratic compile time with tagged types - - - - --- 2018-05-24 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] 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] 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 improvements for strings [Ada] Put_Image improvements for strings - - - - --- 2020-06-15 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute - - - - --- 2020-06-05 Pierre-Marie de Rodat New
[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-11 Pierre-Marie de Rodat New
[Ada] Put_Image attribute [Ada] Put_Image attribute - - - - --- 2020-06-12 Pierre-Marie de Rodat New
[Ada] Put imported spec in ALI file when body is not found - - - - --- 2011-08-03 Arnaud Charlet New
[Ada] Push -shared-libgcc where needed. [Ada] Push -shared-libgcc where needed. - - - - --- 2019-06-30 Iain Sandoe New
[Ada] Provide new function Uintp.UI_To_Unsigned_64 [Ada] Provide new function Uintp.UI_To_Unsigned_64 - - - - --- 2021-06-17 Pierre-Marie de Rodat New
[Ada] Provide library for functional containers - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Provide extended contracts for formal vectors - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Provide extended contracts for formal doubly linked lists - - - - --- 2017-04-27 Arnaud Charlet New
[Ada] Provide dummy body for big integers library used in reduced runtimes [Ada] Provide dummy body for big integers library used in reduced runtimes - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Provide allocation subtype for allocators of a Designated_Storage_Model type [Ada] Provide allocation subtype for allocators of a Designated_Storage_Model type - - - - --- 2022-05-17 Pierre-Marie de Rodat New
[Ada] Protected objects with interrupt handlers are legal in nested scopes - - - - --- 2012-08-06 Arnaud Charlet New
[Ada] Protected extension as full type for limited private rejected - - - - --- 2011-09-06 Arnaud Charlet New
[Ada] Protected and task units in SPARK - - - - --- 2015-10-26 Arnaud Charlet New
[Ada] Protect generation of Alfa sections in ALI files against empty node - - - - --- 2012-03-30 Arnaud Charlet New
[Ada] Protect against potentially uninitialized source information - - - - --- 2014-01-24 Arnaud Charlet New
[Ada] Properly set TYPE_SIZES_GIMPLIFIED [Ada] Properly set TYPE_SIZES_GIMPLIFIED - - - - --- 2019-06-29 Eric Botcazou New
[Ada] Properly reject unsupported address specifications [Ada] Properly reject unsupported address specifications - - - - --- 2022-05-11 Pierre-Marie de Rodat New
[Ada] Properly recognize NEL as end of line in UTF-8 encoding mode - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Properly initialize value of global variable Unit_Casing before use - - - - --- 2013-04-24 Arnaud Charlet New
[Ada] Properly initialize aggregated projects to compute dependencies - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Properly handle unprefixed references to components [Ada] Properly handle unprefixed references to components - - - - --- 2022-05-09 Pierre-Marie de Rodat New
[Ada] Properly detect passing volatile A.B to non-volatile formal - - - - --- 2011-11-21 Arnaud Charlet New
[Ada] Properly delay Address aspect - - - - --- 2010-10-11 Arnaud Charlet New
[Ada] Properly check violations of machine scalar rules - - - - --- 2010-10-26 Arnaud Charlet New
[Ada] Proper resolution of Initializes and Initial_Condition [Ada] Proper resolution of Initializes and Initial_Condition - - - - --- 2017-10-14 Pierre-Marie de Rodat New
[Ada] Proper qualification of concurrent discriminants [Ada] Proper qualification of concurrent discriminants - - - - --- 2017-09-25 Pierre-Marie de Rodat New
[Ada] Proper placement and analysis of aspects/pragmas Depends and Global - - - - --- 2013-04-23 Arnaud Charlet New
[Ada] Proper matching of attribute 'Result in Refined_Depends - - - - --- 2017-01-23 Arnaud Charlet New
[Ada] Proper implementation of interfacing aspects. - - - - --- 2012-06-12 Arnaud Charlet New
[Ada] Proper handling of packed array of small record with reverse SSO - - - - --- 2014-05-21 Arnaud Charlet New
[Ada] Proper handling of meaningless size clauses - - - - --- 2012-07-09 Arnaud Charlet New
[Ada] Proper handling of dimension information in a type conversion. [Ada] Proper handling of dimension information in a type conversion. - - - - --- 2017-09-07 Arnaud Charlet New
[Ada] Proper handling of aspects on a compilation unit package instance - - - - --- 2013-09-10 Arnaud Charlet New
[Ada] Proper handling of Raise_Expression nodes in Ada 2012 - - - - --- 2014-02-20 Arnaud Charlet New
[Ada] Proper handling of Has_Element in user-defined iterators - - - - --- 2011-12-21 Arnaud Charlet New
[Ada] Proper freezing for dispatching expression functions. [Ada] Proper freezing for dispatching expression functions. - - - - --- 2022-07-12 Pierre-Marie de Rodat New
[Ada] Proper detection of errors in variant choices - - - - --- 2013-10-10 Arnaud Charlet New
[Ada] Proper aspect placement for package declaratios/instantiations - - - - --- 2011-08-02 Arnaud Charlet New
[Ada] Propagate predicate function to a full view of a private subtype [Ada] Propagate predicate function to a full view of a private subtype - - - - --- 2020-10-20 Pierre-Marie de Rodat New
[Ada] Propagate null-exclusion to anonymous access types [Ada] Propagate null-exclusion to anonymous access types - - - - --- 2022-06-01 Pierre-Marie de Rodat New
[Ada] Propagate load addresses for traceback cache on Linux [Ada] Propagate load addresses for traceback cache on Linux - - - - --- 2018-05-21 Pierre-Marie de Rodat New
[Ada] Propagate TREE_THIS_NOTRAP flag - - - - --- 2011-06-06 Eric Botcazou New
[Ada] Propagate SLOC in iteration over array [Ada] Propagate SLOC in iteration over array - - - - --- 2017-12-05 Pierre-Marie de Rodat New
[Ada] Propagate Has_Inherit{able,ed}_Invariants to base types [Ada] Propagate Has_Inherit{able,ed}_Invariants to base types - - - - --- 2022-06-02 Pierre-Marie de Rodat New
[Ada] Propagate Ghost status from parent to derived subprograms [Ada] Propagate Ghost status from parent to derived subprograms - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Propagate DIC, Invariant and Predicate attributes to views [Ada] Propagate DIC, Invariant and Predicate attributes to views - - - - --- 2020-06-09 Pierre-Marie de Rodat New
[Ada] Proof of unit System.Case_Util [Ada] Proof of unit System.Case_Util - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Proof of the runtime support for attribute 'Width [Ada] Proof of the runtime support for attribute 'Width - - - - --- 2021-10-20 Pierre-Marie de Rodat New
[Ada] Proof of support units for 'Width on signed integers [Ada] Proof of support units for 'Width on signed integers - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for integer exponentiation (checks on) [Ada] Proof of runtime units for integer exponentiation (checks on) - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for integer exponentiation (checks off) [Ada] Proof of runtime units for integer exponentiation (checks off) - - - - --- 2022-01-05 Pierre-Marie de Rodat New
[Ada] Proof of runtime units for binary modular exponentiation [Ada] Proof of runtime units for binary modular exponentiation - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Proof of runtime unit for non-binary modular exponentiation [Ada] Proof of runtime unit for non-binary modular exponentiation - - - - --- 2022-01-06 Pierre-Marie de Rodat New
[Ada] Proof of System.Vectors.Boolean_Operations [Ada] Proof of System.Vectors.Boolean_Operations - - - - --- 2022-01-11 Pierre-Marie de Rodat New
[Ada] Proof of System.Val_Util utilities for 'Value support [Ada] Proof of System.Val_Util utilities for 'Value support - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of System.Arith_32 for double arithmetic on 32bits [Ada] Proof of System.Arith_32 for double arithmetic on 32bits - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of Boolean'Image and Boolean'Value [Ada] Proof of Boolean'Image and Boolean'Value - - - - --- 2021-12-02 Pierre-Marie de Rodat New
[Ada] Proof of Ada.Strings.Maps [Ada] Proof of Ada.Strings.Maps - - - - --- 2021-10-05 Pierre-Marie de Rodat New
[Ada] Project_Dir should not modify the case of its path name - - - - --- 2012-10-04 Arnaud Charlet New
[Ada] Project manager should accept Ada 05 reserved words as identifiers - - - - --- 2011-08-29 Arnaud Charlet New
[Ada] Project in limited withed chain reported as duplicate - - - - --- 2012-10-02 Arnaud Charlet New
[Ada] Prohibit output dependency items on functions [Ada] Prohibit output dependency items on functions - - - - --- 2018-05-22 Pierre-Marie de Rodat New
[Ada] Prohibit concurrent types in Ghost regions [Ada] Prohibit concurrent types in Ghost regions - - - - --- 2018-01-11 Pierre-Marie de Rodat New
[Ada] Program_Unit pragmas in generic units are inherited by instances - - - - --- 2011-09-02 Arnaud Charlet New
[Ada] Process type extensions for -gnatw.h [Ada] Process type extensions for -gnatw.h - - - - --- 2019-08-19 Pierre-Marie de Rodat New
[Ada] Process entry, protected and task bodies in ASIS mode. - - - - --- 2015-11-24 Eric Botcazou New
[Ada] Process argument of pragma Compile_Time_{Error|Warning} in gigi [Ada] Process argument of pragma Compile_Time_{Error|Warning} in gigi - - - - --- 2019-09-23 Eric Botcazou New
[Ada] Process Truncation just like other floating point attributes [Ada] Process Truncation just like other floating point attributes - - - - --- 2020-12-14 Pierre-Marie de Rodat New
[Ada] Problems with type invariant aspects - - - - --- 2014-10-17 Arnaud Charlet New
[Ada] Problem with boundary case of XOR operation and unnesting [Ada] Problem with boundary case of XOR operation and unnesting - - - - --- 2018-11-14 Pierre-Marie de Rodat New
[Ada] Private with-clauses in the context of generic package declarations - - - - --- 2012-05-15 Arnaud Charlet New
« 1 2 ... 681 682 683 … 1268 1269 »