Show patches with: Series = [COMMITTED] ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove       |   1 patch
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove [COMMITTED] ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove - - - -1- 2022-11-07 Marc Poulhiès Unresolved