Show patches with: Series = [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns       |    State = Action Required       |    Archived = No       |   25 patches
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED,26/26] ada: Fix handling of SPARK_Mode on standalone child subprogram [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,25/26] ada: Fix handling of iterated component associations with sub-aggregates [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,24/26] ada: Remove unused null branch [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,23/26] ada: Simplify manipulation of the list with loop actions [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,22/26] ada: Refactor negated conjuncts [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,21/26] ada: Simplify code by reusing Choice_List [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,20/26] ada: Errors on legal container aggregates with iterated_element_associations [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,19/26] ada: Plug loophole in handling of No_Raise pragma [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,18/26] ada: Tweak container aggregate expansion code [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,17/26] ada: Add contracts to Ada.Strings.Unbounded and adapt implementation [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,16/26] ada: Ensure variable is initialized before use [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,15/26] ada: Remove unreferenced procedure [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,14/26] ada: Clean up handling of inlining of finalizer procedures [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,13/26] ada: Add leap second support to conversion of Unix_Time [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,12/26] ada: Update doc of Style_Checks pragma [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,11/26] ada: Reject ambiguous function calls in interpolated string expressions [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,10/26] ada: Compiler accepts illegal assignment to reference type target. [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,09/26] ada: Finish up support for relaxed finalization [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,08/26] ada: Fix handling reference warnings with slices [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,07/26] ada: Reject illegal uses of type/subtype current instance [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,06/26] ada: Type conversion in instance incorrectly rejected. [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,05/26] ada: Implement No_Raise aspect & pragma on subprograms [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,04/26] ada: Improve documenation about security of PRGNs [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,03/26] ada: Fix layout of GNAT reference manual section [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New
[COMMITTED,01/26] ada: Fix detection of suspicious loop patterns [COMMITTED,01/26] ada: Fix detection of suspicious loop patterns - - - - --- 2024-08-02 Marc Poulhiès New