Show patches with: Series = [COMMITTED] ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATprove       |   1 patch
Patch Series A/R/T S/W/F Date Submitter Delegate State
[COMMITTED] ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATprove [COMMITTED] ada: Disable inlining of subprograms with Skip(_Flow_And)_Proof in GNATprove - - - 1-- 2023-08-01 Marc Poulhiès Accepted