Show patches with: Series = [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances       |    State = Action Required       |    Archived = No       |   30 patches
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED,30/30] ada: Add support for No_Implicit_Conditionals to nonbinary modular types [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,29/30] ada: Storage_Error in indirect call to function returning limited type [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,28/30] ada: Derived type with convention C must override convention C_Pass_By_Copy [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,27/30] ada: Minor code adjustment to "not Present" test [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,26/30] ada: For freezing, treat an extension or delta aggregate like a regular aggregate. [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,25/30] ada: Resolve compilation issues with container aggregates in draft ACATS B tests [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,24/30] ada: Missing style check for extra parentheses in operators [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,23/30] ada: Iterator filter ignored on formal loop [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,22/30] ada: Crash checking accessibility level on private type [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,21/30] ada: Unreferenced warning on abstract subprogram [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,20/30] ada: Further refine 'Super attribute [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,19/30] ada: Fix references to Ada RM in comments [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,18/30] ada: Tune code related to potentially unevaluated expressions [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,17/30] ada: Remove streaming facilities from generics for formal containers [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,16/30] ada: Fix usage of SetThreadAffinityMask [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,15/30] ada: Fix usage of SetThreadIdealProcessor [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,14/30] ada: Remove incorrect assertion in run-time [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,13/30] ada: Fix incorrect lower bound presumption in gnatlink [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,12/30] ada: Cleanup repeated code in expansion of stream attributes [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,11/30] ada: Adjust comments and doc about the new use of restriction No_Streams [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,10/30] ada: Skip processing of NUL character for attribute Type_Key [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,09/30] ada: Simplify check for type without stream operations [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,08/30] ada: Enable inlining for subprograms with multiple return statements [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,07/30] ada: Add switch to disable expansion of assertions in CodePeer mode [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,06/30] ada: Refactor common code for dynamic and static class-wide preconditions [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,05/30] ada: Cleanup building of error messages for class-wide contracts [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,04/30] ada: Fix handling of aspects CPU and Interrupt_Priority [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,03/30] ada: Remove unnecessary guard against empty list [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,02/30] ada: Refactor checks for Refined_Depends in generic instances [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New
[COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances [COMMITTED,01/30] ada: Refactor checks for Refined_Global in generic instances - - - - --- 2024-06-10 Marc Poulhiès New