You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
nilcheckelim2 cleans up by copying b.Values in a loop, omitting OpUnknowns. However, the common case is that there are no OpUnknowns, in which case we can skip a lot of work. This is a reminder issue to track whether there are any OpUnknowns and if so, skip the copying entirely.
The text was updated successfully, but these errors were encountered:
nilcheckelim2 cleans up by copying b.Values in a loop, omitting OpUnknowns. However, the common case is that there are no OpUnknowns, in which case we can skip a lot of work. This is a reminder issue to track whether there are any OpUnknowns and if so, skip the copying entirely.
The text was updated successfully, but these errors were encountered: