Versions in this module Expand all Collapse all v1 v1.0.0 Sep 22, 2022 Changes in this version + func BinOp(mem L.Memory, v1, v2 L.AbstractValue, ssaVal *ssa.BinOp) (result L.AbstractValue) + func Close(val L.AbstractValue) L.OpOutcomes + func CondWait(val L.AbstractValue) L.OpOutcomes + func CondWake(val L.AbstractValue) L.OpOutcomes + func FlatReceive(ZERO L.AbstractValue, commaOk bool) valueTransfer + func FlatSend(payload L.AbstractValue) valueTransfer + func IntervalReceive(ZERO L.AbstractValue, commaOk bool) valueTransfer + func IntervalSend(payload L.AbstractValue) valueTransfer + func Load(v L.AbstractValue, mem L.Memory) (res L.AbstractValue) + func Lock(val L.AbstractValue) L.OpOutcomes + func RLock(val L.AbstractValue) L.OpOutcomes + func RUnlock(val L.AbstractValue) L.OpOutcomes + func SwapWildcard(pt *pointer.Result, mem L.Memory, l loc.AddressableLocation) L.Memory + func Sync(commaOk bool) valueTransfer + func ToDeref(v L.AbstractValue) L.OpOutcomes + func TypeAdapter(from, to T.Type, v L.AbstractValue) L.AbstractValue + func UnOp(v L.AbstractValue, ssaVal *ssa.UnOp) (result L.AbstractValue) + func Unlock(val L.AbstractValue) L.OpOutcomes