Complete source call dictionary reassociation for actual outer thread stacks. No call, return copy, retag scope or failure state is replaced.
def
Miri.Interpreter.ExecutionCallTransport.calls
{P K U C E O X F A : Type}
(h : CallHooks P (MachineHooks.State K (ExecutionStateTransport.Inner U)) C E O X F A)
:
CallHooks P (MachineHooks.State K (ExecutionStateTransport.Outer U)) C E O X F A
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Interpreter.ExecutionCallTransport.functions
{P K U C E O X F A : Type}
(h : FunctionCalls.Hooks P (MachineHooks.State K (ExecutionStateTransport.Inner U)) C E O X F A)
:
FunctionCalls.Hooks P (MachineHooks.State K (ExecutionStateTransport.Outer U)) C E O X F A
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Interpreter.ExecutionCallTransport.pointers
{K U O : Type}
(h : FunctionPointers.Hooks K (ExecutionStateTransport.Inner U) O)
:
Equations
- One or more equations did not get rendered due to their size.