Attach the Main-dependent Windows source capabilities to the same configuration, Main hooks, source host leaves, and live state. No completed Windows guest dispatch dictionaries enter this connector.

@[reducible, inline]

abbrev Miri.Input.EvalWindowsConnectedSourceAssembly.Other (Raw Listener TcpStream Error : Type) : Type

Equations

• Miri.Input.EvalWindowsConnectedSourceAssembly.Other Raw Listener TcpStream Error = Miri.Input.EvalWindowsCallDispatchConstruction.Other Raw Listener TcpStream Error

@[reducible, inline]

abbrev Miri.Input.EvalWindowsConnectedSourceAssembly.Host (Poll Instant System H D Raw Listener TcpStream Error Native Profiler : Type) : Type

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev Miri.Input.EvalWindowsConnectedSourceAssembly.State (Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error : Type) : Type

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev Miri.Input.EvalWindowsConnectedSourceAssembly.CoreState (Os R H D Aff B Poll Instant System Native Profiler Raw Listener TcpStream Error : Type) : Type

Equations

• One or more equations did not get rendered due to their size.

def Miri.Input.EvalWindowsConnectedSourceAssembly.connectFromSource {Os R H D B Poll Instant System Native Profiler C Raw Listener TcpStream Error ErrorHost Meta Path AddrIter Zone Timestamp : Type} [DecidableEq Os] [DecidableEq Memory.MiriMemoryKind] (p : CompilerProviders.Prepared) (options : EvalConfigurationCore.Options) (sourceLeaves : EvalConfigurationCore.SourceLeaves Os R EvalSyncPayload.Payload H D Interpreter.CpuAffinity.Mask B Poll Instant System Native Profiler Raw Listener TcpStream Error ErrorHost Meta Path MIR.Place C Instant Interpreter.CallInstance AddrIter) (main : Interpreter.MainMachine.Hooks (EvalWindowsFileConstruction.Payload Os R EvalSyncPayload.Payload H D (Other Raw Listener TcpStream Error) Interpreter.CpuAffinity.Mask B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler)) C (Other Raw Listener TcpStream Error) ABI.ExternAbi (ABI.FnAbi MIR.TyId) (ABI.ArgAbi MIR.TyId) Interpreter.CpuAffinity.Mask Interpreter.ProgramExitPoll) (callbacks : EvalWindowsCallbackAssembly.Product Os R H D Interpreter.CpuAffinity.Mask B Poll Instant System Native Profiler Raw Listener TcpStream Error C ABI.ExternAbi (ABI.FnAbi MIR.TyId) (ABI.ArgAbi MIR.TyId)) (pathToOs : Path → Os) (outerUnwind : Interpreter.Unwind.Hooks Memory.MiriMemoryKind (Interpreter.ThreadStacks.Storage (EvalWindowsFileConstruction.Payload Os R EvalSyncPayload.Payload H D (Other Raw Listener TcpStream Error) Interpreter.CpuAffinity.Mask B (Host Poll Instant System H D Raw Listener TcpStream Error Native Profiler))) C (Other Raw Listener TcpStream Error)) (context : EvalWindowsConfigurationCore.Context Os R H D B Poll Instant System Native Profiler C Raw Listener TcpStream Error Meta Path callbacks.Zone callbacks.Timestamp) (assembly : EvalWindowsConfigurationCore.Assembly Os R H D Interpreter.CpuAffinity.Mask B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path callbacks.Zone callbacks.Timestamp) : EStateM Interpreter.StepError (CoreState Os R H D Interpreter.CpuAffinity.Mask B Poll Instant System Native Profiler Raw Listener TcpStream Error) (EvalWindowsConfigurationCore.Assembly Os R H D Interpreter.CpuAffinity.Mask B Poll Instant System Native Profiler Raw Listener TcpStream Error C Meta Path callbacks.Zone callbacks.Timestamp)

Equations

• One or more equations did not get rendered due to their size.