Constrain vms*f to require vstart = 0
Rationale is similar to that for vmpopc/vmfirst, and avoids need for a constraint on `vd`.
parent
bed621ea
Please register or sign in to comment
Rationale is similar to that for vmpopc/vmfirst, and avoids need for a constraint on `vd`.