Unlock releases m from writer mode. The mutex must currently be held in writer mode.

Lock acquires m in writer mode. This blocks all readers and writers.

ExtendHeap returns a new ValState that is like vs, but with heap object h bound to dynamic value val.

Get returns a pointer to some shard of v. Get may return the same pointer to multiple goroutines, so the caller is responsible for synchronizing conc

Contains returns true if set contains lock class lc.

Amb returns an "ambiguous" value in the range [0, n). If the current path cannot be continued (for example, it's reached a maximum depth), it returns

Run calls root repeatedly at different points in the ambiguous value space.

Done returns a channel that will be closed when the command exits and its output and status are ready.

Get returns the dynamic value of val, or nil if unknown. val may be a constant ssa.Value, in which case it will be resolved directly to a DynValue if

New returns a new Value. The constructor argument must be a function with type func(*T), where T determines the type that will be stored in each shard

Next terminates the current path. If there are no more paths to explore, Next returns false. A Strategy is not required to ever return false (for exam

Extend returns a new ValState that is like vs, but with bind bound to dynamic value val. If dyn is dynUnknown, Extend unbinds val. Extend is a no-op i

GetHeap returns the dynamic value of a heap object, or nil if unknown.

runnable returns whether commit c needs to be benchmarked at least one more time.

shade makes obj grey if it is white.

Reset resets the state of this Strategy to the point where no paths have been explored.

bad panics with a compileError for the given message.

flush saves the pool state.

lock locks and returns the pool configuration.

typ returns the type of this node's result as a string.

Extend returns a new StackFrame that extends sf with call. call is typically an *ssa.Call, but other instructions can invoke runtime function calls as

Id returns a small integer ID for this lock class that is unique within the LockClassAnalysis that returned this *LockClass.

Range calls each of its argument functions with pointers to all of the shards in v. Each argument must be a function with type func(*T), where T is th

indent returns s with each line indented by four spaces. If s is non-empty, the returned string is guaranteed to end in a "\n".

NewPathStateSet returns a new, empty PathStateSet.

bool returns n as a boolNode or panics with a type error.

git runs git with args and returns its output.

resolveName returns the path to the root of the named build and whether or not that path exists. It will log an error and exit if name is ambiguous. I

shellEscapeList escapes a list of shell tokens.

Exec executes o in state s and returns the new memory state and, if the operation is a load, the result of the operation (either 0 or 1).

ForEach applies f to each PathState in set.

HashKey returns a key such that set1.Equal(set2) implies set1.HashKey() == set2.HashKey().

Plus returns a LockSet that extends set with lock class lc, acquired at stack. If lc is already in set, it does not get re-added and Plus returns set.

Set sets the value associated with ps to val in psm.

comparableBinOp implements DynValue.BinOp for values that support only comparison operators.

count0124 returns the sum of vector x, where x contains 4 2-bit values where 0b00 => 0, 0b01 => 1, 0b10 => 2, 0b11 => 4.

git runs git subcommand subcmd and returns its stdout. If git fails, it prints the failure and exits.

hasPrefix returns whether the remaining text begins with s.

tryGit runs git with args and returns its output and a non-nil error if the command exits with a non-zero status.

withWriter creates path and calls f with the file.

Add adds PathState ps to set.