Show patches with: Series = [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library       |    State = Action Required       |    Archived = No       |   9 patches
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[COMMITTED,9/9] ada: Fix error in GNATprove inlining with array concatenation [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,8/9] ada: Implement type inference for generic parameters [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,7/9] ada: GNAT-LLVM compiler crash on container aggregates with iterators [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,6/9] ada: Spurious error on the default value of a derived scalar type [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,5/9] ada: Use fully qualified in more library files [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,4/9] ada: Assert failure in repinfo [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,3/9] ada: Use fully qualified in the runtime library [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,2/9] ada: Fix propagation of SPARK_Mode for renaming-as-body [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New
[COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library [COMMITTED,1/9] ada: Reject use-clause conflicts in the run-time library - - - - --- 2024-08-06 Marc Poulhiès New