unlock unlocks rw for writing.

There's also "check", which is mapped to "comment" plus posting the proposal details.

upstreamOf returns the full upstream ref name of the given ref, or "".

walkBlock visits a block and all blocks reachable from it, starting from the path state enterPathState. When walkBlock reaches the return point of the

writePointer implements obj[slot] = val.

xdgCacheDir returns the XDG Base Directory Specification cache directory.

xdgCacheDir returns the XDG Base Directory Specification cache directory.

AddIssueComment is equivalent to [github.Client.AddIssueComment], but returns the URL of the new comment.

AllPaths finds all dashboard log paths matching q and passes them to fn. Paths are returned in descending order by date (most recent first).

Amb returns a value in the range [0, n). Amb may panic with PathTerminated to indicate an execution path is being forcibly terminated by the Strategy

CloseIssue is equivalent to [github.Client.CloseIssue], but closes issue with the provided reason.

ComputeStats updates the derived statistics in s from the raw samples in s.Values.

Contains returns whether set contains ps and the number of PathStates that differ only in value state and lock stacks.

CurrentUser returns the user name of the current user.

Equal returns whether set and set2 contain the same locks acquired at the same stacks.

Equal returns whether ps and ps2 have represent the same program state.

Get returns the LockClass of the given ssa.Value, which must be a pointer to a global or a field address expression. If Get cannot resolve the lock cl

HashKey returns a key such that ps1.Equal(ps2) implies ps1.HashKey() == ps2.HashKey().