Show patches with: State = Action Required       |    Archived = No       |   126617 patches
« 1 2 ... 649 650 651 … 1266 1267 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Fix various typos in node and entity description comments [COMMITTED] ada: Fix various typos in node and entity description comments - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Fix visibility error with DIC or Type_Invariant aspect on generic type [COMMITTED] ada: Fix visibility error with DIC or Type_Invariant aspect on generic type - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix wrong access for qualified aggregate with storage model [COMMITTED] ada: Fix wrong access for qualified aggregate with storage model - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix wrong code for ACATS cd1c03i on Morello target [COMMITTED] ada: Fix wrong code for ACATS cd1c03i on Morello target - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Fix wrong expansion of array aggregate with noncontiguous choices [COMMITTED] ada: Fix wrong expansion of array aggregate with noncontiguous choices - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Fix wrong expansion of limited extension aggregate [COMMITTED] ada: Fix wrong expansion of limited extension aggregate - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Fix wrong finalization for call to BIP function in conditional expression [COMMITTED] ada: Fix wrong finalization for call to BIP function in conditional expression - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix wrong finalization for case expression in expression function [COMMITTED] ada: Fix wrong finalization for case expression in expression function - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix wrong finalization for double subtype of bounded vector [COMMITTED] ada: Fix wrong finalization for double subtype of bounded vector - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Fix wrong finalization for loop on indexed container [COMMITTED] ada: Fix wrong finalization for loop on indexed container - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix wrong finalization for qualified aggregate of limited type in allocator [COMMITTED] ada: Fix wrong finalization for qualified aggregate of limited type in allocator - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Fix wrong optimization of extended return for discriminated record type [COMMITTED] ada: Fix wrong optimization of extended return for discriminated record type - - - - --- 2023-09-15 Marc Poulhiès New
[COMMITTED] ada: Fix wrong resolution for hidden discriminant in predicate [COMMITTED] ada: Fix wrong resolution for hidden discriminant in predicate - - - - --- 2023-07-11 Marc Poulhiès New
[COMMITTED] ada: Fix wrong result for membership test of null in null-excluding access type [COMMITTED] ada: Fix wrong result for membership test of null in null-excluding access type - - - - --- 2023-05-29 Marc Poulhiès New
[COMMITTED] ada: Fix wrong size value output with -gnatR -gnatc [COMMITTED] ada: Fix wrong size value output with -gnatR -gnatc - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Fixed elaboration of CUDA programs. [COMMITTED] ada: Fixed elaboration of CUDA programs. - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Flag renaming-as-spec as a body to inline [COMMITTED] ada: Flag renaming-as-spec as a body to inline - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Flag unsupported dispatching constructor calls [COMMITTED] ada: Flag unsupported dispatching constructor calls - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Flag unsupported dispatching constructor calls [COMMITTED] ada: Flag unsupported dispatching constructor calls - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Flip warning suppression routine to positive meaning [COMMITTED] ada: Flip warning suppression routine to positive meaning - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Follow-up fix for compilation issue with recent MinGW-w64 versions [COMMITTED] ada: Follow-up fix for compilation issue with recent MinGW-w64 versions - - - - --- 2023-07-10 Marc Poulhiès New
[COMMITTED] ada: Follow-up improvement to implementation of storage models [COMMITTED] ada: Follow-up improvement to implementation of storage models - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Further adjust freezing for expansion of contracts [COMMITTED] ada: Further adjust freezing for expansion of contracts - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Further adjustments to User's Guide for PIE default [COMMITTED] ada: Further adjustments to User's Guide for PIE default - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Further cleanup in finalization machinery [COMMITTED] ada: Further cleanup in finalization machinery - - - - --- 2023-11-21 Marc Poulhiès New
[COMMITTED] ada: Further fixes to GNATprove and CodePeer expression pretty-printer [COMMITTED] ada: Further fixes to GNATprove and CodePeer expression pretty-printer - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Further fixes to handling of private views in instances [COMMITTED] ada: Further fixes to handling of private views in instances - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Further optimize interface objects initialized with function calls [COMMITTED] ada: Further optimize interface objects initialized with function calls - - - - --- 2023-01-16 Marc Poulhiès New
[COMMITTED] ada: GNAT UGN: Add section documenting PIE being enabled by default on Linux [COMMITTED] ada: GNAT UGN: Add section documenting PIE being enabled by default on Linux - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: GNAT UGN: Adjust wording in "Platform-specific Information" chapter [COMMITTED] ada: GNAT UGN: Adjust wording in "Platform-specific Information" chapter - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Generate host-side CUDA_Register_Function calls for device's adainit/adafinal [COMMITTED] ada: Generate host-side CUDA_Register_Function calls for device's adainit/adafinal - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Generate missing object decls for adainit/adafinal registration calls [COMMITTED] ada: Generate missing object decls for adainit/adafinal registration calls - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Generate runtime restrictions list when the standard library is suppressed [COMMITTED] ada: Generate runtime restrictions list when the standard library is suppressed - - - - --- 2023-09-15 Marc Poulhiès New
[COMMITTED] ada: Get name from entity if that's what's passed to Subprogram_Name [COMMITTED] ada: Get name from entity if that's what's passed to Subprogram_Name - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Handle GNATcheck violations [COMMITTED] ada: Handle GNATcheck violations - - - - --- 2023-09-05 Marc Poulhiès New
[COMMITTED] ada: Handle controlling access parameters in DTWs [COMMITTED] ada: Handle controlling access parameters in DTWs - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Handle new Controlling_Tag format when converting to SCIL [COMMITTED] ada: Handle new Controlling_Tag format when converting to SCIL - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Handle unchecked conversion in bound [COMMITTED] ada: Handle unchecked conversion in bound - - - - --- 2023-11-28 Marc Poulhiès New
[COMMITTED] ada: ICE on BIP call in class-wide function return within instance [COMMITTED] ada: ICE on BIP call in class-wide function return within instance - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: INOX: prototype RFC on String Interpolation [COMMITTED] ada: INOX: prototype RFC on String Interpolation - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: INOX: prototype RFC on String Interpolation [COMMITTED] ada: INOX: prototype RFC on String Interpolation - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Ignore accessibility actuals in expression pretty-printer [COMMITTED] ada: Ignore accessibility actuals in expression pretty-printer - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Ignore defered compile time errors without backend [COMMITTED] ada: Ignore defered compile time errors without backend - - - - --- 2023-11-30 Marc Poulhiès New
[COMMITTED] ada: Ignore unconstrained components as inputs for Depends [COMMITTED] ada: Ignore unconstrained components as inputs for Depends - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Illegal instance of Generic_1.Generic_2 incorrectly accepted [COMMITTED] ada: Illegal instance of Generic_1.Generic_2 incorrectly accepted - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Implement Aspects as fields under nodes [COMMITTED] ada: Implement Aspects as fields under nodes - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule [COMMITTED] ada: Implement RM 4.5.7(10/3) name resolution rule - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Implement change to SPARK RM rule on state refinement [COMMITTED] ada: Implement change to SPARK RM rule on state refinement - - - - --- 2022-11-28 Marc Poulhiès New
[COMMITTED] ada: Implement conversions from Big_Integer to large types [COMMITTED] ada: Implement conversions from Big_Integer to large types - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Implement inheritance of user-defined literal aspects for untagged types [COMMITTED] ada: Implement inheritance of user-defined literal aspects for untagged types - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Implement new aspect Always_Terminates for SPARK [COMMITTED] ada: Implement new aspect Always_Terminates for SPARK - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Improve -gnatyx style check [COMMITTED] ada: Improve -gnatyx style check - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Improve check of attribute reference [COMMITTED] ada: Improve check of attribute reference - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Improve comment on First_Entity [COMMITTED] ada: Improve comment on First_Entity - - - - --- 2023-05-15 Marc Poulhiès New
[COMMITTED] ada: Improve defense against illegal code in check for infinite loops [COMMITTED] ada: Improve defense against illegal code in check for infinite loops - - - - --- 2023-07-28 Marc Poulhiès New
[COMMITTED] ada: Improve detection of deactivated code for warnings with -gnatwt [COMMITTED] ada: Improve detection of deactivated code for warnings with -gnatwt - - - - --- 2023-09-14 Marc Poulhiès New
[COMMITTED] ada: Improve documentation for -gnatw.h warnings [COMMITTED] ada: Improve documentation for -gnatw.h warnings - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Improve efficiency of scope stack restoration [COMMITTED] ada: Improve efficiency of scope stack restoration - - - - --- 2022-11-04 Marc Poulhiès New
[COMMITTED] ada: Improve error message for ambiguous subprogram call [COMMITTED] ada: Improve error message for ambiguous subprogram call - - - - --- 2023-07-18 Marc Poulhiès New
[COMMITTED] ada: Improve error message on violation of SPARK_Mode rules [COMMITTED] ada: Improve error message on violation of SPARK_Mode rules - - - - --- 2023-07-06 Marc Poulhiès New
[COMMITTED] ada: Improve handling of declare expressions in deferred-freezing contexts [COMMITTED] ada: Improve handling of declare expressions in deferred-freezing contexts - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Improve location of error messages in instantiations [COMMITTED] ada: Improve location of error messages in instantiations - - - - --- 2022-11-14 Marc Poulhiès New
[COMMITTED] ada: Incorrect constant folding in postcondition involving 'Old [COMMITTED] ada: Incorrect constant folding in postcondition involving 'Old - - - - --- 2023-05-22 Marc Poulhiès New
[COMMITTED] ada: Incorrect optimization for unconstrained limited record component type [COMMITTED] ada: Incorrect optimization for unconstrained limited record component type - - - - --- 2023-08-01 Marc Poulhiès New
[COMMITTED] ada: Inline composite node kind AST queries [COMMITTED] ada: Inline composite node kind AST queries - - - - --- 2022-11-07 Marc Poulhiès New
[COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy [COMMITTED] ada: Internal compiler error for Sequential Partition_Elaboration_Policy - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64 [COMMITTED] ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64 - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Introduce Cannot_Be_Superflat flag on N_Range nodes [COMMITTED] ada: Introduce Cannot_Be_Superflat flag on N_Range nodes - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Leave detection of missing return in functions to GNATprove [COMMITTED] ada: Leave detection of missing return in functions to GNATprove - - - - --- 2023-07-28 Marc Poulhiès New
[COMMITTED] ada: Lift restriction on optimization of aliased objects [COMMITTED] ada: Lift restriction on optimization of aliased objects - - - - --- 2023-01-16 Marc Poulhiès New
[COMMITTED] ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust [COMMITTED] ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Make Sem_Util.Is_Aliased_View predicate more robust [COMMITTED] ada: Make Sem_Util.Is_Aliased_View predicate more robust - - - - --- 2023-01-03 Marc Poulhiès New
[COMMITTED] ada: Make internal_error_function more robust [COMMITTED] ada: Make internal_error_function more robust - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Make minor corrections to CUDA-related comments [COMMITTED] ada: Make minor corrections to CUDA-related comments - - - - --- 2023-09-26 Marc Poulhiès New
[COMMITTED] ada: Make minor improvements to user's guide [COMMITTED] ada: Make minor improvements to user's guide - - - - --- 2023-06-15 Marc Poulhiès New
[COMMITTED] ada: Make string interpolation part of the core extensions [COMMITTED] ada: Make string interpolation part of the core extensions - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Make the identification of case expressions more robust [COMMITTED] ada: Make the identification of case expressions more robust - - - - --- 2023-06-27 Marc Poulhiès New
[COMMITTED] ada: Make use of Cannot_Be_Superflat flag on N_Range nodes [COMMITTED] ada: Make use of Cannot_Be_Superflat flag on N_Range nodes - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Mark attribute Initialized as ghost code [COMMITTED] ada: Mark attribute Initialized as ghost code - - - - --- 2023-06-13 Marc Poulhiès New
[COMMITTED] ada: Maximize use of existing constant [COMMITTED] ada: Maximize use of existing constant - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Minor adjustments to Standard_Address [COMMITTED] ada: Minor adjustments to Standard_Address - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests [COMMITTED] ada: Minor change replacing "not Present" tests with "No" tests - - - - --- 2024-01-09 Marc Poulhiès New
[COMMITTED] ada: Minor consistency tweaks in Sem_Ch4 [COMMITTED] ada: Minor consistency tweaks in Sem_Ch4 - - - - --- 2022-11-08 Marc Poulhiès New
[COMMITTED] ada: Minor doc clarification [COMMITTED] ada: Minor doc clarification - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Minor fix typo in comment [COMMITTED] ada: Minor fix typo in comment - - - - --- 2023-05-23 Marc Poulhiès New
[COMMITTED] ada: Minor fixes in description of scope depth [COMMITTED] ada: Minor fixes in description of scope depth - - - - --- 2023-05-25 Marc Poulhiès New
[COMMITTED] ada: Minor generic tweaks left and and right [COMMITTED] ada: Minor generic tweaks left and and right - - - - --- 2023-05-30 Marc Poulhiès New
[COMMITTED] ada: Minor tweak in assertion [COMMITTED] ada: Minor tweak in assertion - - - - --- 2022-11-21 Marc Poulhiès New
[COMMITTED] ada: Minor tweak in condition [COMMITTED] ada: Minor tweak in condition - - - - --- 2023-05-26 Marc Poulhiès New
[COMMITTED] ada: Minor tweak to test added in previous change [COMMITTED] ada: Minor tweak to test added in previous change - - - - --- 2023-01-05 Marc Poulhiès New
[COMMITTED] ada: Minor tweaks [COMMITTED] ada: Minor tweaks - - - - --- 2023-06-20 Marc Poulhiès New
[COMMITTED] ada: Minor tweaks for comparison operators [COMMITTED] ada: Minor tweaks for comparison operators - - - - --- 2023-11-07 Marc Poulhiès New
[COMMITTED] ada: Minor updates to gnat/doc configuration [COMMITTED] ada: Minor updates to gnat/doc configuration - - - - --- 2022-12-01 Marc Poulhiès New
[COMMITTED] ada: Missing dependency with -gnatc [COMMITTED] ada: Missing dependency with -gnatc - - - - --- 2023-05-16 Marc Poulhiès New
[COMMITTED] ada: Missing error on positional container aggregates for types with Add_Named [COMMITTED] ada: Missing error on positional container aggregates for types with Add_Named - - - - --- 2023-12-19 Marc Poulhiès New
[COMMITTED] ada: Missing master of task causing assertion failure [COMMITTED] ada: Missing master of task causing assertion failure - - - - --- 2022-11-08 Marc Poulhiès New
« 1 2 ... 649 650 651 … 1266 1267 »