swift-nav/plover

loop hoisting

Closed this issue · 0 comments

kovach commented

need to hoist simple loop invariant things